Approaches to inconsistency handling in description-logic based ontologies

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

Volumn 4806 LNCS, Issue PART 2, 2007, Pages 1303-1311

  Bell, David ^a   Qi, Guilin ^b   Liu, Weiru ^a  

^a QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA HANDLING; ONTOLOGY;

DESCRIPTION LOGICS; INCONSISTENCY HANDLING; INCONSISTENT ONTOLOGY;

LOGIC PROGRAMMING;

EID: 38349032947     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76890-6_58     Document Type: Conference Paper

References (25)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)
2. Benferhat, S., Kaci, S., Le Berre, D., Williams, M.-A.: Weakening conflicting information for iterated revision and knowledge integration. Artif. Intell. 153(1-2), 339-371 (2004)
3. Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proc. of AAAI 2006 (2006)
4. Friedrich, G., Shchekotykhin, K.M.: A general diagnosis method for ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 232-246. Springer, Heidelberg (2005)
5. Haarslev, V, Möller, R.: RACER system description. In: Gore, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701-706. Springer, Heidelberg (2001)
6. Haase, P., Stojanovic, L.: Consistent evolution of owl ontologies. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 182-197. Springer, Heidelberg (2005)
7. Horrocks, I.: The fact system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307-312. Springer, Heidelberg (1998)
8. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of 19th International Joint Conference on Artificial Intelligence(IJCAI 2005), pp. 254-259. Morgan Kaufmann, San Francisco (2005)
9. Kalyanpur, A., Parsia, B., Grau, B.C., Sirin, E.: Justifications for entailments in expressive description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS) (2006)
10. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in owl ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170-184. Springer, Heidelberg (2006)
11. Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263-294 (1992)
12. Lam, J., Pan, J.Z., Seeman, D., Vasconcelos, W.: A fine-grained approach to resolving unsatisfiable ontologies. In: Proc. of WI 2006 (2006)
13. Ma, Y., Hitzler, P., Lin, Z.: Algorithms for Paraconsistent Reasoning with OWL. In: Proceedings of ESWC2007 (to appear, 2007)
14. Ma, Y., Lin, Z., Lin, Z.: Inferring with inconsistent OWL DL ontology: A multi-valued logic approach. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 535-553. Springer, Heidelberg (2006)
15. Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 645-650. AAAI Press (2005)
16. Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic alc. In: Proc. of AAAI 2006 (2006)
17. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW 2005, pp. 633-640 (2005)
18. Patel-Schneider, RE: A four-valued semantics for terminological logics. Artificial Intelligence 38, 319-351 (1989)
19. Qi, G., Hunter, A.: Measuring incoherence in description logic-based ontologies. In: Proc. of ISWC 2006. Springer Verlag (to appear, 2007)
20. Qi, G., Liu, W., Bell, D.A.: Knowledge base revision in description logics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 386-398. Springer, Heidelberg (2006)
21. Qi, G., Liu, W., Bell, D.A.: A revision-based algorithm for handling inconsistency in description logics. In: Proc. of NMR 2006 (2006)
22. Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI 2005, pp. 670-675 (2005)
23. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI 2003, pp. 355-362 (2003)
24. Schlobach, S., Huang, Z., Cornet, R.: Inconsistent ontology diagnosis: Evaluation. Technical report, Department of Artificial Intelligence, Vrije University Amsterdam; SEKT Deliverable D3.6.2 (2006)
25. Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol. 1227, pp. 343-357. Springer, Heidelberg (1997)