Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

Springer Nature Link
Log in

Laconic and Precise Justifications in OWL

  • Conference paper

Part of the book series:Lecture Notes in Computer Science ((LNISA,volume 5318))

Included in the following conference series:

Abstract

A justification for an entailment in an OWL ontology is a minimal subset of the ontology that is sufficient for that entailment to hold. Since justifications respect the syntactic form of axioms in an ontology, they are usually neithersyntactically norsemantically minimal. This paper presents two new subclasses of justifications—laconic justifications andprecise justifications. Laconic justifications only consist of axioms that do not contain any superfluous “parts”. Precise justifications can be derived from laconic justifications and are characterised by the fact that they consist of flat, small axioms, which facilitate the generation of semantically minimal repairs. Formal definitions for both types of justification are presented. In contrast to previous work in this area, these definitions make it clear as to what exactly “parts of axioms” are. In order to demonstrate the practicability of computing laconic, and hence precise justifications, an algorithm is provided and results from an empirical evaluation carried out on several published ontologies are presented. The evaluation showed that laconic/precise justifications can be computed in a reasonable time for entailments in a range of ontologies that vary in size and complexity. It was found that in half of the ontologies sampled there were entailments that had more laconic/precise justifications than regular justifications. More surprisingly it was observed that for some ontologies there were fewer laconic justifications than regular justifications.

Similar content being viewed by others

Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. Kalyanpur, A.: Debugging and Repair of OWL Ontologies. PhD thesis, The Graduate School of the University of Maryland (2006)

    Google Scholar 

  2. Kalyanpur, A., Parsia, B., Hendler, J.: A tool for working with web ontologies. International Journal on Semantic Web and Information Systems 1 (2005)

    Google Scholar 

  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)

    Google Scholar 

  4. Lam, S.C.J.: Methods for Resolving Inconsistencie. In Ontologies. PhD thesis, Department of Computer Science, Aberdeen (2007)

    Google Scholar 

  5. Kalyanpur, A., Parsia, B., Grau, B.C.: Beyond asserted axioms: Fine-grain justifications for OWL-DL entailments. In: Proc. of DL (2006)

    Google Scholar 

  6. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From\(\mathcal{SHIQ}\) and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7–26 (2003)

    Article  Google Scholar 

  7. Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. of Automated Reasoning 14, 149–180 (1995)

    Article MATH  Google Scholar 

  8. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI (2003)

    Google Scholar 

  9. Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic\(\mathcal{ALC}\). In: Proc. of AAAI (2006)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  13. Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. Journal of Symbolic Computation (1986)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, The University of Manchester, Oxford Road, Manchester, M13 9PL

    Matthew Horridge, Bijan Parsia & Ulrike Sattler

Authors
  1. Matthew Horridge
  2. Bijan Parsia
  3. Ulrike Sattler

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Wright State University, Colonel Glenn Way 3640, 454350001, Dayton, USA

    Amit Sheth

  2. Institut für Informatik, Universität Koblenz-Landau, Universitätsstr. 1, 56016, Koblenz, Germany

    Steffen Staab

  3. BBN Technologies, 48103, Ann Arbor, USA

    Mike Dean

  4. DoCoMo Communications Laboratories Europe GmbH, 80687, Munich, Germany

    Massimo Paolucci

  5. Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, Sheffield, UK

    Diana Maynard

  6. CSEE Department, UMBC, 1000 Hilltop Circle, MD 21250, Baltimore, USA

    Timothy Finin

  7. Department of Computer Science and Engineering, Wright State University, 3640 Colonel Glenn Highway, OH 45435, Dayton, USA

    Krishnaprasad Thirunarayan

Rights and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Horridge, M., Parsia, B., Sattler, U. (2008). Laconic and Precise Justifications in OWL. In: Sheth, A.,et al. The Semantic Web - ISWC 2008. ISWC 2008. Lecture Notes in Computer Science, vol 5318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88564-1_21

Download citation

Publish with us

[8]ページ先頭
©2009-2025 Movatter.jp