Towards a logic programming methodology based on higher-order predicates
New Generation Computing
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
On Reducing Relationships to Property Ascriptions
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Logical knowledge representation of regulatory relations in biomedical pathways
ITBAM'10 Proceedings of the First international conference on Information technology in bio- and medical informatics
Ontological constitutions for classes and properties
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
A semantics-based approach to retrieving biomedical information
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
A semantics-based approach to retrieving biomedical information
FQAS'11 Proceedings of the 9th international conference on Flexible Query Answering Systems
Hi-index | 0.00 |
We introduce a class relationship logic for stating various forms of logical relationships between classes. This logic is intended for ontologies and knowledge bases and combinations thereof. Reasoning and querying is conducted in the Datalog logical language, which serves as an embracing decidable and tractable metalogic.