Advertisement

Structural Distance between \(\mathcal{EL}^{+}\) Concepts

  • Boontawee Suntisrivaraporn
Conference paper
  • 703 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7080)

Abstract

The inexpressive Description Logics in the \(\mathcal{EL}\) family have been successful mainly due to their tractability of standard reasoning tasks like subsumption, adoption in modeling of biomedical ontologies, and standardization as an OWL 2 EL profile. This paper proposes two enhanced subsumption algorithms that not only test whether a particular subsumption holds but also give a numeric indicator showing the structural distance between the two concepts in the subsumption relationship. Structural distance is defined in terms of the effort required to obtain the subsumption in question. Both algorithms extend the standard subsumption algorithm for \(\mathcal{EL}^{+}\) by an axiom labeling technique, originally proposed for finding justifications.

Keywords

Description logic Subsumption Structural distance 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proceedings of the 19th International Conference on Artificial Intelligence (IJCAI 2005). Morgan-Kaufmann Publishers, Edinburgh (2005)Google Scholar
  2. 2.
    Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)Google Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press (2007)Google Scholar
  4. 4.
    Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning 14, 149–180 (1995)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the Description Logic \(\mathcal{EL}\) useful in practice? Journal of Logic, Language and Information, Special Issue on Method for Modality, M4M (2007)Google Scholar
  6. 6.
    Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the Description Logic \(\mathcal{EL}^+\). In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52–67. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Ceusters, W., Smith, B., Kumar, A., Dhaen, C.: Snomed ct’s problem list: Ontologists’ and logicians’ therapy suggestions. In: Jack, Y.-C., Fieschi, L.M., Coiera, E. (eds.) Proceedings of the Medinfo 2007 Congress. Studies in Health Technology and Informatics (SHTI-series), pp. 482–491. IOS Press (2004)Google Scholar
  8. 8.
    Ge, J., Qiu, Y.: Concept similarity matching based on semantic distance. In: Proceedings of the Forth International Conference on Semantics, Knowledge and Grid, pp. 380–383. IEEE Computer Society (2008)Google Scholar
  9. 9.
    Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language profiles (2009), http://www.w3.org/TR/owl2-profiles/
  10. 10.
    Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proceedings of the 14th International Conference on WWW 2005, pp. 633–640. ACM (2005)Google Scholar
  11. 11.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of Description Logic terminologies. In: Gottlob, G., Walsh, T. (eds.) Proceedings of IJCAI 2003, Acapulco, Mexico, pp. 355–362. Morgan-Kaufmann Publishers (2003)Google Scholar
  12. 12.
    Stearns, M.Q., Price, C., Spackman, K.A., Wang, A.Y.: Snomed clinical terms: Overview of the development process and project status. In: Proceedings of the 2001 AMIA Annual Symposium, pp. 662–666. Hanley&Belfus (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Boontawee Suntisrivaraporn
    • 1
  1. 1.School of Information and Computer TechnologySirindhorn International Institute of Technology, Thammasat UniversityThailand

Personalised recommendations