A fine-grained approach to resolving unsatisfiable ontologies

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

Volumn 4900 LNCS, Issue , 2008, Pages 62-95

  Lam, Joey Sik Chun ^a   Sleeman, Derek ^a   Pan, Jeff Z ^a   Vasconcelos, Wamberto ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Description Logics reasoning; Ontologies

Indexed keywords

INFORMATION THEORY; MAINTENANCE;

APPLICATIONS.; DATA SEMANTICS; DESCRIPTION LOGICS REASONING; INTERACTIVE DEBUGGING; ONTOLOGIES; POSSIBLE SOLUTIONS; REAL-WORLD; UNSATISFIABILITY;

ONTOLOGY;

EID: 49949112256     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77688-8_3     Document Type: Conference Paper

References (26)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Baader, F., Nutt, W.: Basic description logics. The Description Logic Handbook: Therory, Implementation, and Applications
3. Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artif. Intell. 88(1-2), 195-213 (1996)
4. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149-180 (1995)
5. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.-J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems or "making KRIS get a move on". In: International Conference on the Principles of Knowledge Representation and Reasoning, San Mateo, pp. 270-281. Morgan Kaufmann, San Francisco (1992)
6. Brandt, S., Küsters, R., Turnan, A.-Y.: Approximation and difference in description logics. In: KR 2002. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning, pp. 203-214. Morgan Kaufmann, San Francisco (2002)
7. Buchheit, M., Donini, F.M., Schaerf, A.: Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research 1, 109-138 (1993)
8. De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proceedings of the 21st National Conference on Artificial Intelligence, pp. 1271-1276. AAAI Press, Stanford (2006)
9. Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)
10. Kalyanpur, A., Parsia, B., Grau, B.C., Sirin, E.: Justifications for entailments in expressive description logics. Technical report, University of Maryland (January 2006)
11. Kalyanpur, A.: Debugging and Repair of OWL Ontologies. PhD thesis, Dept. of Computer Science, University of Maryland (2006)
12. Kalyanpur, A., Parsia, B., Cuenca-Grau, B.: Beyond asserted axioms: Fine-grain justifications for OWL-DL entailments. In: DL 2006. International Workshop on Description Logics (June 2006)
13. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing Unsatisfiable Concepts in OWL Ontologies. In: ESWC 2006. Proceedings of the Third European Semantic Web Conference (June 2006)
14. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: KR. Proceedings of International Conference of Principles of Knowledge Representation and Reasoning, pp. 46-56 (June 2006)
15. Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic ALC. In: AAAI 2006. Proceedings of the 21st National Conference on Artificial Intelligence (July 2006)
16. Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. Springer, Heidelberg (1990)
17. Plessers, P., De Troyer, O.: Resolving inconsistencies in evolving ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 200-214. Springer, Heidelberg (2006)
18. Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: OWL Pizzas: Practical experience of teaching OWL-DL: Common errors & common patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 63-81. Springer, Heidelberg (2004)
19. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
20. Schaerf, A.: Reasoning With Individuals in Concept Languages. Data and Knowledge Engineering 13(2), 141-176 (1994)
21. Schlobach, S., Huang, Z., Cornet, R.: Inconsistent ontology diagnosis: Evaluation. SEKT Deliverable 3.6.2, University of Karlsruhe (January 2006)
22. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI 2003. 8th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Francisco (2003)
23. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artifical Intelligence 48(1), 1-26 (1991)
24. Teege, G.: Making the difference: A subtraction operation for description logics. In: KR 1994. 4th International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco (1994)
25. Uschold, M., Gruninger, M.: Ontologies: Principles, Methods and Applications. The Knowledge Engineering Review (1996)
26. Wang, H., Horridge, M., Rector, A., Drummond, N., Seidenberg, J.: Debugging OWL-DL Ontologies: A heuristic approach. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 745-757. Springer, Heidelberg (2005)