A dissimilarity measure for ALC concept descriptions

ABSTRACT

This work presents a dissimilarity measure for Description Logics that are the theoretical counterpart of the standard representations for ontological knowledge. The focus is on the definition of a dissimilarity measure for ALC concept descriptions, based both on the syntax and on the semantics of the descriptions. An extension of the measure is proposed for involving individuals and then for evaluating their dissimilarity.

REFERENCES

• 1: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., Eds. The Description Logic Handbook. Cambridge University Press, 2003.
• 2: Fahiem Bacchus, Lp, a logic for representing and reasoning with statistical knowledge, Computational Intelligence, v.6 n.4, p.209-231, Nov. 1990 [doi>10.1111/j.1467-8640.1990.tb00296.x]
• 3: Bock., H. Analysis of Symbolic Data: Exploratory Methods for Extracting Statistical Information from Complex Data. Springer-Verlag, 1999.
• 4: Borgida, A., Walsh, T., and Hirsh, H. Towards measuring similarity in description logics. In Working Notes of the International Description Logics Workshop (Edinburgh, UK, 2005), CEUR Workshop Proceedings.
• 5: M. W. Bright , A. R. Hurson , S. Pakzad, Automated resolution of semantic heterogeneity in multidatabases, ACM Transactions on Database Systems (TODS), v.19 n.2, p.212-253, June 1994 [doi>10.1145/176567.176569]
• 6: Cohen, W., and Hirsh, H. Learning the CLASSIC description logic. In Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning (1994), P. Torasso, J. Doyle, and E. Sandewall, Eds., Morgan Kaufmann, pp. 121--133.
• 7: d'Amato, C., Fanizzi, N., and Esposito, F. A semantic similarity measure for expressive description logics. In Proceedings of Convegno Italiano di Logica Computazionale (CILC05) (Rome, Italy, 2005), A. Pettorossi, Ed.
• 8: Donini, F. M., Lenzerini, M., Nardi, D., and Schaerf, A. Deduction in concept languages: From subsumption to instance checking. Journal of Logic and Computation 4, 4 (1994), 423--452.
• 9: Thomas Mantay, Commonality-Based ABox Retrieval, Universitaet Hamburg, Hamburg, Germany, 2000
• 10: Resnik, P. Semantic similarity in a taxonomy: An information-based measure and its application to problems of ambiguity in natural language. Journal of Artificial Intelligence Research 11 (1999), 95--130.
• 11: Maria Andrea Rodriguez , Max J. Egenhofer, Assessing semantic similarity among spatial entity classes, 2000
• 12: M. Andrea Rodríguez , Max J. Egenhofer, Determining Semantic Similarity among Entity Classes from Different Ontologies, IEEE Transactions on Knowledge and Data Engineering, v.15 n.2, p.442-456, February 2003 [doi>10.1109/TKDE.2003.1185844]
• 13: Manfred Schmidt-Schaubß , Gert Smolka, Attributive concept descriptions with complements, Artificial Intelligence, v.48 n.1, p.1-26, Feb. 1991 [doi>10.1016/0004-3702(91)90078-X]
• 14: Shvaiko, P., and Euzenat, J. A survey of schema-based matching approaches. Journal on Data Semantics IV (2005), 146--171.
• 15: Tversky, A. Features od similarity. Psycological Review 84, 4 (1997), 327--352.
• 16: Weinstein, P., and Bimingham, P. Comparing concepts in differentiated ontologies. In Proceedings of 12th Workshop on Knowledge Acquisition, Modelling, Management (1999).

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.5 PATTERN RECOGNITION
      I.5.3 Clustering
          Subjects: Similarity measures

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Logics of programs
      F.3.2 Semantics of Programming Languages

General Terms:
Design, Measurement, Theory

Keywords:
description logics, distances, similarity