A preferential tableaux calculus for circumscriptive ALCO

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5837 LNCS, Issue , 2009, Pages 40-54

  Grimm, Stephan ^a   Hitzler, Pascal ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY RESULTS; DECISION PROCEDURE; DESCRIPTION LOGIC; DOMAIN MODEL; KNOWLEDGE BASIS; MINIMALITY; NONMONOTONIC; SATISFIABILITY;

CALCULATIONS; COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION; SEMANTICS;

SEMANTIC WEB;

EID: 71549165789     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05082-4_4     Document Type: Conference Paper

References (18)

1. Baader, F., Hollunder, B.: Embedding Defaults into Terminological Knowledge Representation Formalisms. Journal of Automated Reasoning 14(1), 149-180 (1995)
2. Bonatti, P., Lutz, C., Wolter, F.: Expressive Non-Monotonic Description Logics Based on Circumscription. In: Proc. of the Tenth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 400-410 (2006)
3. Buchheit, M., Donini, F.M., Schaerf, A.: Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res (JAIR) 1, 109-138 (1993)
4. de Kleer, J., Konolige, K.: Eliminating the Fixed Predicates from a Circumscription. Artif. Intell. 39(3), 391-398 (1989)
5. Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An Epistemic Operator for Description Logics. Artificial Intelligence 100(1-2), 225-274 (1998)
6. Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Trans. on Computational Logic 3(2), 177-225 (2002)
7. Grimm, S.: Semantic Matchmaking with Nonmonotonic Description Logics. IOS Press, Amsterdam (2008)
8. Grimm, S., Hitzler, P.: Defeasible Inference with OWL Ontologies. In: Proceedings of the ESWC 2007 Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008 (June 2008)
9. Grimm, S., Hitzler, P.: Semantic Matchmaking of Resources with Local Closed-World Reasoning. Int. Journal of eCommerce (IJEC) 12(2), 89-126 (2008)
10. Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)
11. Horrocks, I., Sattler, U.: Ontology Reasoning in the SHOQ(D) Description Logic. In: Proc. IJCAI 2001, pp. 199-204 (2001)
12. Knorr, M., Alferes, J.J., Hitzler, P.: A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. In: Proceedings of the 18th European Conference on Artificial Intelligence, ECAI 2008, pp. 99-103. IOS Press, Amsterdam (2008)
13. McCarthy, J.: Circumscription - A Form of Non-Monotonic Reasoning. Artificial Intelligence 13(1-2), 27-39 (1980)
14. Motik, B., Rosati, R.: A Faithful Integration of Description Logics with Logic Programming. In: Proc. of the 20th Intern. Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, January 2007, pp. 477-482. AAAI Press, Stanford (2007)
15. Niemelä, I.: Implementing Circumscription Using a Tableau Method. In: Proc. of the 12th Europ. Conf. on Artificial Intelligence (ECAI 1996). J. Wiley & Sons, Chichester (1996)
16. Schaerf, A.: Reasoning with Individuals in Concept Languages. Data Knowl. Eng. 13(2), 141-176 (1994)
17. Schmidt-Schauß, M., Smolka, G.: Attributive Concept Descriptions with Complements. Artif. Intell. 48(1), 1-26 (1991)
18. W3C OWLWorking Group. OWL 2Web Ontology Language: Document Overview (2009), http://www.w3.org/TR/owl2-overview/