Laconic and precise justifications in OWL

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

Volumn 5318 LNCS, Issue , 2008, Pages 323-338

  Horridge, Matthew ^a   Parsia, Bijan ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; ONTOLOGY;

EMPIRICAL EVALUATIONS; FORMAL DEFINITION; MINIMAL REPAIR; MINIMAL SUBSET; OWL ONTOLOGIES;

SEMANTIC WEB;

EID: 57349124933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88564-1_21     Document Type: Conference Paper

References (15)

1. Kalyanpur, A.: Debugging and Repair of OWL Ontologies. PhD thesis, The Graduate School of the University of Maryland (2006)
2. Kalyanpur, A., Parsia, B., Hendler, J.: A tool for working with web ontologies. International Journal on Semantic Web and Information Systems 1 (2005)
3. Horridge, M., Tsarkov, D., Redmond, T.: Supporting early adoption of owl 1.1 with protégé-owl and fact++. In: OWL: Experiences and Directions (2006)
4. Lam, S.C.J.: Methods for Resolving Inconsistence. In Ontologies. PhD thesis, Department of Computer Science, Aberdeen (2007)
5. Kalyanpur, A., Parsia, B., Grau, B.C.: Beyond asserted axioms: Fine-grain justifications for OWL-DL entailments. In: Proc. of DL (2006)
6. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SℋIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7-26 (2003)
7. Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. of Automated Reasoning 14, 149-180 (1995)
8. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI (2003)
9. Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic ACC. In: Proc. of AAAI (2006)
10. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. In: Proc. of KR 1992, pp. 306-317. Morgan Kaufmann, San Francisco (1992)
11. Deng, X., Haarslev, V., Shiri, N.: Measuring inconsistencies in ontologies. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, Springer, Heidelberg (2007)
12. Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic el. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52-67. Springer, Heidelberg (2007)
13. Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. Journal of Symbolic Computation (1986)
14. Motik, B., Shearer, R.., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67-83. Springer, Heidelberg (2007)
15. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2) (2007)