A Structural Subsumption based Similarity Measure for the Description Logic ALEH

Boontawee Suntisrivaraporn, Suwan Tongphu

2016

Abstract

Description Logics (DLs) are a family of logic-based knowledge representation formalisms, which can be used to develop ontologies in a formally well-founded way. The standard reasoning service of subsumption has proved indispensable in ontology design and maintenance. This checks, relative to the logical definitions in the ontology, whether one concept is more general/specific than another. When no subsumption relationship is identified, however, no information about the two concepts can be given. This work extends from an existing work on similarity measure in ELH to the more expressive description logic ALEH . We introduce generalizations of the notion of normalization and homomorphism in ALEH which are then employed at the heart of our semantic similarity measure. The proposed similarity measure computes a numerical degree of similarity between two ALEH concept descriptions despite not being in the subsumption relation.

References

  1. Baader, F. (2003). Terminological cycles in a description logic with existential restrictions. In Gottlob, G. and Walsh, T., editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 325-330. Morgan Kaufmann.
  2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., editors (2007). The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, second edition.
  3. Baader, F. and Küsters, R. (2000). Matching in description logics with existential restrictions. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), pages 261- 272, San Francisco, CA. Morgan Kaufmann Publishers.
  4. Baader, F. and Küsters, R. (2006). Nonstandard inferences in description logics: The story so far. In Gabbay, D., Goncharov, S., and Zakharyaschev, M., editors, Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, pages 1- 75. Springer-Verlag.
  5. Baader, F., Küsters, R., and Molitor, R. (1998). Computing least common subsumers in Description Logics with existential restrictions. LTCSReport LTCS-98-09, LuFG Theoretical Computer Science, RWTH Aachen, Germany. See http://wwwlti.informatik.rwth-aachen.de/Forschung/Papers.html.
  6. Ge, J. and Qiu, Y. (2003). Concept similarity matching based on semantic distance. In Gottlob, G. and Walsh, T., editors, Proceedings of the Forth International Conference on Semantics, Knowledge and Grid (SKG 2008), pages 380-383. Morgan Kaufmann.
  7. Ge, J. and Qiu, Y. (2008). Concept similarity matching based on semantic distance. In SKG, pages 380-383. IEEE Computer Society.
  8. Giunchiglia, F., Yatskevich, M., and Shvaiko, P. (2007). Semantic matching: Algorithms and implementation. Journal of Data Semantics, 9:1-38.
  9. Jaccard, P. (1901). Ótude comparative de la distribution florale dans une portion des Alpes et des Jura. Bulletin del la Société Vaudoise des Sciences Naturelles, 37:547-579.
  10. Lehmann, K. and Turhan, A.-Y. (2012). A framework for semantic-based similarity measures for E L H - concepts. In del Cerro, L. F., Herzig, A., and Mengin, J., editors, JELIA, volume 7519 of Lecture Notes in Computer Science, pages 307-319. Springer.
  11. Mathur, S. and Dinakarpandian, D. (2012). Finding disease similarity based on implicit semantic similarity. Journal of Biomedical Informatics, 45(2):363-371.
  12. Racharak, T. and Suntisrivaraporn, B. (2015). Similarity measures for F L 0 concept descriptions from an automata-theoretic point of view. In Information and Communication Technology for Embedded Systems (IC-ICTES), pages 1-6. IEEE Computer Society.
  13. Suntisrivaraporn, B. (2013). A similarity measure for the description logic E L with unfoldable terminologies. In International Conference on Intelligent Networking and Collaborative Systems (INCoS-13), pages 408- 413.
  14. Tongphu, S. and Suntisrivaraporn, B. (2014). On desirable properties of the structural subsumption-based similarity measure. In Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers, pages 19-32.
  15. Tongphu, S. and Suntisrivaraporn, B. (2015). Algorithms for measuring similarity between elh concept descriptions: A case study on SNOMED CT. Journal of Computing and Informatics. (Accepted in May 2015; To appear).
  16. Turhan, A.-Y. (2007). On the Computation of Common Subsumers in Description Logics. PhD thesis, TU Dresden, Institute for Theoretical Computer Science, Germany.
Download


Paper Citation


in Harvard Style

Suntisrivaraporn B. and Tongphu S. (2016). A Structural Subsumption based Similarity Measure for the Description Logic ALEH . In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-172-4, pages 204-212. DOI: 10.5220/0005819302040212


in Bibtex Style

@conference{icaart16,
author={Boontawee Suntisrivaraporn and Suwan Tongphu},
title={A Structural Subsumption based Similarity Measure for the Description Logic ALEH},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2016},
pages={204-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005819302040212},
isbn={978-989-758-172-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Structural Subsumption based Similarity Measure for the Description Logic ALEH
SN - 978-989-758-172-4
AU - Suntisrivaraporn B.
AU - Tongphu S.
PY - 2016
SP - 204
EP - 212
DO - 10.5220/0005819302040212