Paraconsistent reasoning for expressive and tractable description logics

CEUR Workshop Proceedings

Volumn 353, Issue , 2008, Pages

  Ma, Yue ^a   Hitzler, Pascal ^b   Lin, Zuoquan ^a  

^a PEKING UNIVERSITY   (China)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL SEMANTICS; DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; KNOWLEDGE BASIS; PARACONSISTENT REASONING;

FORMAL LANGUAGES; SEMANTICS;

DATA DESCRIPTION;

EID: 84872896376     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. N. D. Belnap. How a computer should think. Comtemporary Aspects of Philosophy: Proceedings of the Oxford International Symposium, pages 30-56, 1977.
2. N. D. Belnap. A useful four-valued logic. Modern uses of multiple-valued logics, pages 7-73, 1977.
3. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The l-lite family. J. Autom. Reasoning, 39(3):385-429, 2007.
4. Peter Haase, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, and York Sure. A framework for handling inconsistency in changing ontologies. In Yolanda Gil, Enrico Motta, V. Richard Benjamins, and Mark A. Musen, editors, International SemanticWeb Conference, volume 3729 of Lecture Notes in Computer Science, pages 353-367. Springer, 2005.
5. Zhisheng Huang, Frank van Harmelen, and Annette ten Teije. Reasoning with inconsistent ontologies. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI, pages 454- 459. Professional Book Center, 2005.
6. Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Data Complexity of Reasoning in Very Expressive Description Logics. In Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005), pages 466-471, Edinburgh, UK, July 30 - August 5 2005. Morgan Kaufmann Publishers.
7. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Complexity boundaries for Horn description logics. In AAAI, pages 452-457. AAAI Press, 2007.
8. Yue Ma, Pascal Hitzler, and Zuoquan Lin. Algorithms for paraconsistent reasoning with owl. In Enrico Franconi, Michael Kifer, andWolfgang May, editors, ESWC, volume 4519 of Lecture Notes in Computer Science, pages 399-413. Springer, 2007.
9. Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Lin. Measuring inconsistency for description logics based on paraconsistent semantics. In Khaled Mellouli, editor, ECSQARU, volume 4724 of Lecture Notes in Computer Science, pages 30-41. Springer, 2007.
10. Boris Motik. Reasoning in description logics using resolution and deductive databases. PhD theis, University Karlsruhe, Germany, 2006.
11. Peter F. Patel-Schneider. A four-valued semantics for terminological logics. Artificial Intelligence, 38:319-351, 1989.
12. Peter F. Patel-Schneider and Horrocks Ian. OWL web ontology language semantics and abstract syntax. W3C Recommendation, 10 February, 2004.
13. Peter F. Patel-Schneider and Horrocks Ian. OWL 1.1 web ontology language overview. W3C Member Submssion, 19 December, 2006.
14. Stefan Schlobach and Ronald Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Georg Gottlob and Toby Walsh, editors, IJCAI, pages 355-362. Morgan Kaufmann, 2003.
15. Umberto Straccia. A sequent calculus for reasoning in four-valued description logics. In Didier Galmiche, editor, TABLEAUX, volume 1227 of Lecture Notes in Computer Science, pages 343-357. Springer, 1997.