Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
CSL '92 Selected Papers from the Workshop on Computer Science Logic
A New Clausal Class Decidable by Hyperresolution
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Elimination of Equality via Transformation with Ordering Constraints
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Vampire 1.1 (System Description)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Hyperresolution for guarded formulae
Journal of Symbolic Computation - Special issue: First order theorem proving
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
System description: E-KRHyper 1.4: extensions for unique names and description logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |
Formal ontologies play an increasingly important role in demanding knowledge representation applications like the Semantic Web. Regarding automated reasoning support, the mainstream of research focusses on ontology languages that are also Description Logics, such as OWL-DL. However, many existing ontologies go beyond Description Logics and use full first-order logic. We propose a novel transformation technique that allows to apply existing model computation systems in such situations. We describe the transformation and some variants, its properties and intended applications to ontological reasoning.