A fine-grained approach to resolving unsatisfiable ontologies

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06

Volumn , Issue , 2006, Pages 428-434

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

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY; PROGRAM DEBUGGING; USER INTERFACES;

AXIOM TRACING TECHNIQUE; DEBUGGING TOOLS;

SEMANTIC WEB;

EID: 42549170509     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2006.11     Document Type: Conference Paper

References (8)

1. F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning, 14(1): 149-180, 1995.
2. F. Baader and W. Nutt. Basic description logics. In The Description Logic Handbook: Theory, Implementation, and Applications.
3. A. Kalyanpur, B. Parsia, E. Sirin, and B. Cuenca-Grau. Repairing Unsatisfiable Concepts in OWL Ontologies. In ESWC-2006, June 2006.
4. T. Meyer, K. Lee, R. Booth, and J. Z. Pan. Finding maximally satisfiable terminologies for the description logic ALC. In Proceedings of AAAI-06, July 2006.
5. S. Schlobach. Debugging and semantic clarification by pinpointing. In Proceedings of ESWC, 2005.
6. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In IJCAI'03. Morgan Kaufmann, 2003.
7. M. Schmidt-Schaubß and G. Smolka. Attributive concept descriptions with complements. Artif Intell., 48(1):1-26, 1991.
8. G. Teege. Making the difference: A subtraction operation for description logics. In the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR94), 1994.