Measuring inconsistencies in ontologies

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

Volumn 4519 LNCS, Issue , 2007, Pages 326-340

  Deng, Xi ^a   Haarslev, Volker ^a   Shiri, Nematollaah ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; FORMAL LANGUAGES; GAME THEORY; OPTIMIZATION; PROBLEM SOLVING;

AXIOMS; ONTOLOGY LANGUAGES; REASONING SYSTEMS; SHAPLEY VALUES;

ONTOLOGY;

EID: 34548057626     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72667-8_24     Document Type: Conference Paper

References (17)

1. Deng, X., Haarslev, V., Shiri, N.: A framework for explaining reasoning in description logics. In: Proceedings of the AAAI Fall Symposium on Explanation-aware Computing, Washington, DC, USA, AAAI Press (2005) 189-204
2. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging owl ontologies. In: Proceedings of the 14th International World Wide Web Conference (WWW 2005), Chiba, Japan, ACM Press (2005) 633-640
3. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03), Acapulco, Mexico, Morgan Kaufmann (2003) 355-362
4. Hunter, A., Konieczny, S.: Shapley inconsistency values. In: Proceedings of the International Conference on Knowledge Representation (KR'06), Windermere, UK, AAAI Press (2006) 249-259
5. Conitzer, V., Sandholm, T.: Computing shapley values, manipulating value division schemes, and checking core membership in multi-issue domains. In McGuinness, D.L., Ferguson, G., eds.: Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence (AAAI 2004), San Jose, California, USA, AAAI Press/The MIT Press (2004) 219-225
6. In: OWL Web Ontology Language Overview. (2004) http://www.w3.org/TR/ owlfeatures/.
7. Baader, F., Nutt, W.: Basic description logic. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F., eds.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003) 5-44
8. Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2006). Volume 4130 of Lecture Notes in Artificial Intelligence., Seatle, Washingtion, USA, Springer (2006) 292-297
9. Haarslev, V., Möller, R.: Racer system description. In R. Gori, A. Leitsch, T.N., ed.: Proceedings of International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, Springer-Verlag (2001) 701-705
10. Sirin, E., Parsia, B.: Pellet: An owl dl reasoner. In: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada (2004)
11. Shapley, L.: A value for n-person games. In Kuhn, H., Tucker, A., eds.: Contributions to the Theory of Games. Volume 2. Princeton University Press (1953) 307-317
12. Deng, X., Haarslev, V., Shiri, N.: Resolution based explanations for reasoning in the description logic ACC. In: Proceedings of the Canadian Semantic Web Working Symposium, Quebec City, Canada, Springer (2006) 55-61
13. Schlobach, S.: Diagnosing terminologies. In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference (AAAI 2005), Pittsburgh, Pennsylvania, USA, AAAI Press (2005) 670-675
14. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in owl ontologies. In Sure, Y., Domingue, J., eds.: Proceedings of the 3rd European Semantic Web Conference (ESWC 2006). Volume 4011 of Lecture Notes in Computer Science., Budva, Montenegro, Springer (2006) 170-184
15. Grant, J.: Classifications for inconsistent theories. Notre Dame Journal of Formal Logic 19(3) (1978) 435-444
16. Knight, K.: Measuring inconsistency. Journal of Philosophical Logic 31(2) (2002) 77-98
17. Friedrich, G., Shchekotykhin, K.M.: A general diagnosis method for ontologies. In Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A., eds.: Proceedings of 4th International Semantic Web Conference (ISWC 2005). Volume 3729 of Lecture Notes in Computer Science., Galway, Ireland, Springer (2005) 232-246