Local closed world reasoning with description logics under the well-founded semantics-Reference-Cited by-同舟云学术

Local closed world reasoning with description logics under the well-founded semantics

Published:2011-06 Issue:9-10 Volume:175 Page:1528-1554
ISSN:0004-3702
Container-title:Artificial Intelligence
language:en
Short-container-title:Artificial Intelligence

Author:

Knorr Matthias,Alferes José Júlio,Hitzler Pascal

Publisher

Elsevier BV

Subject

Artificial Intelligence,Linguistics and Language,Language and Linguistics

Reference62 articles.

1. Queries to hybrid MKNF knowledge bases through oracular tabling;Alferes,2009

2. F. Baader, S. Brandt, C. Lutz, Pushing the EL envelope further, in: K. Clark, P.F. Patel-Schneider (Eds.), Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.

3. The Description Logic Handbook: Theory, Implementation, and Applications,2007

4. Embedding defaults into terminological representation systems;Baader;J. Automat. Reason.,1995

5. Expressive non-monotonic description logics based on circumscription;Bonatti,2006

Cited by 69 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12

2. An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols;Electronic Proceedings in Theoretical Computer Science;2022-08-04

3. A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases;Electronic Proceedings in Theoretical Computer Science;2022-08-04

4. Towards Provenance in Heterogeneous Knowledge Bases;Logic Programming and Nonmonotonic Reasoning;2022

5. On Combining Ontologies and Rules;Reasoning Web. Declarative Artificial Intelligence;2022