Foundations of logic programming
Foundations of logic programming
Modal resolution in clausal form
Theoretical Computer Science
A general framework for sorted deduction: fundamental results on hybrid reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Attributive concept descriptions with complements
Artificial Intelligence
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
An order-sorted logic for knowledge representation systems
Artificial Intelligence
A resolution principle for constrained logics
Artificial Intelligence
Reasoning in description logics
Principles of knowledge representation
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
From Logic to Logic Programming
From Logic to Logic Programming
An Order-Sorted Resolution with Implicitly Negative Sorts
Proceedings of the 17th International Conference on Logic Programming
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems
GWAI '90 Proceedings of the 14th German Workshop on Artificial Intelligence
A Terminological Interpretation of (Abductive) Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Integrating Ontology Languages and Answer Set Programming
DEXA '03 Proceedings of the 14th International Workshop on Database and Expert Systems Applications
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
The completeness of logic programming with sort predicates
Systems and Computers in Japan
| Hi-index | 0.00 |
Description Logics (DLs) theoretically explore knowledge representation and reasoning in concept languages. However, since they are conceptually oriented, they are not equipped with rule-based reasoning mechanisms for assertional knowledge bases - specifically, rules and facts in Logic Programming (LP), or the interaction of rules and facts with terminological knowledge. To combine rule-based reasoning with terminological knowledge, this paper presents a hybrid reasoning system for DL knowledge bases (TBox and ABox) and first-order clause sets. The primary result of this study involves the design of a sound and complete resolution method for the composed knowledge bases, and this method possesses features of an effective deduction procedure such as Robinson's Resolution Principle.