Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Readings in nonmonotonic reasoning
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Quantification in autoepistemic logic
Fundamenta Informaticae - Special issue: logics for artificial intelligence
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Minimal belief and negation as failure
Artificial Intelligence
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An epistemic operator for description logics
Artificial Intelligence
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
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
The Description Logic Handbook
The Description Logic Handbook
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Guarded open answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Guarded hybrid knowledge bases12
Theory and Practice of Logic Programming
Rules and Ontologies for the Semantic Web
Reasoning Web
Ranking Services Using Fuzzy HEX Programs
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Quantified equilibrium logic and hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
ALCPu: an integration of description logic and general rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Answer set programming for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Integrating rules and description logics with circumscription for the semantic web
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
dRDF: entailment for domain-restricted RDF
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |
In the context of current efforts around Semantic-Web languages, the combination of classical theories in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention. Existing approaches such as SWRL, dl-programs, and DL+log, differ significantly in the way ontologies interact with (nonmonotonic) rules bases. In this paper, we identify fundamental representational issues which need to be addressed by such combinations and formulate a number of formal principles which help to characterize and classify existing and possible future approaches to the combination of rules and classical theories. We use the formal principles to explicate the underlying assumptions of current approaches. Finally, we propose a number of settings, based on our analysis of the representational issues and the fundamental principles underlying current approaches.