Finding all justifications of OWL DL entailments

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

Volumn 4825 LNCS, Issue , 2007, Pages 267-280

  Kalyanpur, Aditya ^a   Parsia, Bijan ^b   Horridge, Matthew ^b   Sirin, Evren ^c  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

^c Clark and Parsia   (United States)

Author keywords

Debugging; Justifications; OWL ontology explanation

Indexed keywords

CHLORINE COMPOUNDS; INFORMATION THEORY; SEMANTIC WEB; SEMANTICS;

DEBUGGING; EMPIRICAL EVALUATIONS; JUSTIFICATIONS; OWL ONTOLOGY EXPLANATION; UNDERSTANDABILITY; WEB ONTOLOGY LANGUAGE OWL;

ONTOLOGY;

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

References (11)

1. Noy, N., Sintek, M., Decker, S., Crubezy, M., Fergerson, R., Musen, M.: Creating semantic web contents with Protégé-2000. IEEE Intelligent Systems (2001)
2. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: Swoop: A web ontology editing browser. Journal of Web Semantics 4(2) (2006)
3. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.: Repairing unsatisfiable concepts in owl ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, Springer, Heidelberg (2006)
4. Schlobach, S., Huang, C.R., Van-Harmelen, F.: Debugging incoherent terminologies. In: Journal of Automated Reasoning (JAL) (in press, 2007)
5. Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. Journal of Web Semantics 3(4) (2005)
6. Horrocks, I., Patel-Schneider, P.: Reducing OWL entailment to description logic satisfiability. In: International Semantic Web Conference (2003)
7. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32, 57-95 (1987)
8. Sirin, E., Parsia, B.: Pellet system description. In: Description Logics (DL) (2004)
9. Horrocks, I.: FaCT and iFaCT. In: Description Logics (1999)
10. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms (Technical Report RR-93-20)
11. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003 (2003)