Semantical considerations on nonmonotonic logic
Artificial Intelligence
Quantification in autoepistemic logic
Fundamenta Informaticae - Special issue: logics for artificial intelligence
Extended logic programs as autoepistemic theories
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Reflexive autoepistemic logic and logic programming
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Minimal knowledge + negation as failure = only knowing (sometimes)
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The logic of knowledge bases
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Guarded open answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Guarded hybrid knowledge bases12
Theory and Practice of Logic Programming
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Rules and Ontologies for the Semantic Web
Reasoning Web
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Reconciling description logics and rules
Journal of the ACM (JACM)
Quantified equilibrium logic and hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A semantic framework for language layering in WSML
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Towards tractable local closed world reasoning for the semantic web
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
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
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Loop formulas for description logic programs
Theory and Practice of Logic Programming
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
The loop formula based semantics of description logic programs
Theoretical Computer Science
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
RDL: enhancing description logic with rules
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been proposed. They either cast rules into classical logic or limit the interaction between rules and ontologies. Autoepistemic logic (AEL) is an attractive formalismwhich allows to overcome these limitations, by serving as a uniform host language to embed ontologies and nonmonotonic logic programs into it. For the latter, so far only the propositional setting has been considered. In this paper, we present several embeddings of normal and disjunctive non-ground logic programs under the stable-model semantics into first-order AEL, and compare them in combination with classical theories, with respect to stable expansions and autoepistemic consequences. Our results reveal differences and correspondences of the embeddings and provide a useful guidance in the choice of a particular embedding for knowledge combination.