A Non-standard Instance Checking for the Description Logic ELH

Suwan Tongphu, Boontawee Suntisrivaraporn


In Description Logics (DLs), an instance checking is regarded as one of the most important reasoning services involving individuals. Though the usability of the reasoner has been seemingly proven in many real-life applications, the classified results are merely a binary response, i.e. whether or not a given individual is an instance of a concept. As being a standard reasoning service, unsatisfying one among all sufficient conditions would basically lead to a negative conclusion. This work introduces a new method to enhance the capability of the instance checking in which the degree of membership could be unveiled though sufficient conditions are not completely satisfied. The proposed algorithm is developed based on the adoption of a homomorphism mapping.


  1. Baader, F. (2003). The instance problem and the most specific concept in the description logic E L w.r.t. terminological cycles with descriptive semantics. In Gnter, A., Kruse, R., and Neumann, B., editors, KI, volume 2821 of Lecture Notes in Computer Science, pages 64-78. Springer.
  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., Hladik, J., Lutz, C., and Wolter, F. (2003). From tableaux to automata for description logics. Fundamenta Informaticae, 57(2-4):247-279.
  4. Baader, F. and Sattler, U. (2001). An overview of tableau algorithms for description logics. Studia Logica, 69(1):5-40.
  5. Batet, M., Valls, A., and Gibert, K. (2010). A distance function to assess the similarity of words using ontologies. XV Congreso Espaol sobre Tecnologas y Lgica Fuzzy (ESTYLF), 10:561-566.
  6. Bianchini, D., Antonellis, V. D., and Melchiori, M. (2005). Capability matching and similarity reasoning in service discovery. In Missikoff, M. and 0001, A. D. N., editors, EMOI-INTEROP, volume 160 of CEUR Workshop Proceedings. CEUR-WS.org.
  7. Blanchard, E., Harzallah, M., Briand, H., and Kuntz, P. (2005). A typology of ontology-based semantic measures. In Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability.
  8. Champin, P. A. and Solnon, C. (2003). Measuring the similarity of labeled graphs. In Ashley, K. D. and Bridge, D. G., editors, 5th International Conference On CaseBased Reasoning (ICCBR 2003), LNAI, pages 80-95. Springer.
  9. d'Amato, C., Fanizzi, N., and Esposito, F. (2006). Reasoning by analogy in description logics through instancebased learning. In Semantic Web Applications and Perspectives, volume 201 of CEUR Workshop Proceedings.
  10. Fagin, R., Halpern, J. Y., and Megiddo, N. (1990). A logic for reasoning about probabilities. Information and Computation., 87(1-2):78-128.
  11. Klinov, P. (2008). Pronto: A non-monotonic probabilistic description logic reasoner. In Proceedings of European Semantic Web Conference (ESWC), pages 822- 826.
  12. Lehmann, K. and Turhan, A.-Y. (2012). A framework for semantic-based similarity measures for E LH - 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.
  13. Li, L. and Horrocks, I. (2003). A software framework for matchmaking based on semantic web technology. In 12th international conference on World Wide Web, pages 331-339. ACM Press.
  14. Passant, A. (2010). Measuring semantic distance on linking data and using it for resources recommendations. In AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.
  15. Schickel-Zuber, V. and Faltings, B. (2007). Oss: A semantic similarity function based on hierarchical ontologies. In Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI'07, pages 551-556, San Francisco, CA, USA. Morgan Kaufmann Publishers Inc.
  16. Schulz, S., Suntisrivaraporn, B., Baader, F., and Boeker, M. (2009). SNOMED reaching its adolescence: Ontologists' and logicians' health check. International Journal of Medical Informatics, 78(Supplement 1):S86- S94.
  17. Stuckenschmidt, H. (2009). A semantic similarity measure for ontology-based information. In Flexible Query Answering Systems, pages 406-417. Springer.
  18. 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.
  19. Tongphu, S., Suntisrivaraporn, B., Uyyanonvara, B., and Dailey, M. N. (2012). Ontology-based object recognition of car sides. In 9th International Conference on Electrical Engineering/Electronics Computer Telecommunications and Information Technology (ECTI).

Paper Citation

in Harvard Style

Tongphu S. and Suntisrivaraporn B. (2014). A Non-standard Instance Checking for the Description Logic ELH . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 67-74. DOI: 10.5220/0005074900670074

in Bibtex Style

author={Suwan Tongphu and Boontawee Suntisrivaraporn},
title={A Non-standard Instance Checking for the Description Logic ELH},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},

in EndNote Style

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - A Non-standard Instance Checking for the Description Logic ELH
SN - 978-989-758-049-9
AU - Tongphu S.
AU - Suntisrivaraporn B.
PY - 2014
SP - 67
EP - 74
DO - 10.5220/0005074900670074