Measuring incoherence in description logic-based ontologies

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

Volumn 4825 LNCS, Issue , 2007, Pages 381-394

  Qi, Guilin ^a   Hunter, Anthony ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; INFORMATION THEORY; ONTOLOGY; SEMANTICS;

APPLICATIONS.; DESCRIPTION LOGIC; EMPIRICAL RESULTS;

SEMANTIC WEB;

EID: 49949095780     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76298-0_28     Document Type: Conference Paper

References (17)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, Cambridge (2003)
2. de la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, pp. 32-43. ACM Press, New York (2003)
3. Deng, X., Haarslev, V., Shiri, N.: Measuring inconsistency in ontologies. In: Proc. of ESWC 2007 (to appear, 2007)
4. Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proc. of AAAI 2006, pp. 1295-1300. AAAI Press, Stanford, California, USA (2006)
5. Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Proc. of AAAI 2002, pp. 68-73. AAAI Press, Stanford, California, USA (2002)
6. Hunter, A.: Logical comparison of inconsistent perspectives using scoring functions. Knowledge and Information Systems 6(5), 528-543 (2004)
7. Hunter, A., Konieczny, S.: Shapley inconsistency values. In: Proc. of KR 2006, pp. 249-259 (2006)
8. 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)
9. Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantics 3(4), 268-293 (2005)
10. Knight, K.M.: Measuring inconsistency. Journal of Philosophical Logic 31, 77-98 (2001)
11. Konieczny, S., Lang, J., Marquis, P.: Quantifying information and contradiction in propositional logic through epistemic tests. In: Proc. of IJCAI 2003, pp. 106-111 (2003)
12. Ma, Y., Qi, G., Hitzler, P., Lin, Z.: Measuring inconsistency for description logics based on paraconsistent semantics. In: Proc. of DL 2007 (2007)
13. Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proc. of AAAI 2005, pp. 645-650. AAAI Press, Stanford, California, USA (2005)
14. Qi, G., Liu, W., Bell, D.A.: A revision-based algorithm for handling inconsistency in description logics. In: Proc. of NMR 2006, pp. 124-132 (2006)
15. Qi, G., Pan, J.Z., Ji, Q.: A possibilistic extension of description logics. In: Proc. of DL 2007 (to appear, 2007)
16. Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI 2005, pp. 670-675. AAAI Press, Stanford, California, USA (2005)
17. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003, pp. 355-362 (2003)