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.
- Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., Eds. The Description Logic Handbook. Cambridge University Press, 2003. Google ScholarDigital Library
- Bacchus, F. Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence 6 (1990), 209--231. Google ScholarDigital Library
- Bock., H. Analysis of Symbolic Data: Exploratory Methods for Extracting Statistical Information from Complex Data. Springer-Verlag, 1999.Google Scholar
- 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.Google Scholar
- Bright, M. W., Hurson, A. R., and Pakzad, S. H. Automated resolution of semantic heterogeneity in multidatabases. ACM Transaction on Database Systems 19, 2 (1994), 212--253. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google Scholar
- 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.Google ScholarCross Ref
- Mantay, T. Commonality-based ABox retrieval. Tech. Rep. FBI-HH-M-291/2000, Dept. of Computer Science, University of Hamburg, Germany, 2000. Google ScholarDigital Library
- 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.Google ScholarDigital Library
- Rodriguez, A. Assessing semantic similarity between spatial entity classes. PhD thesis, University of Maine, 1997. Google ScholarDigital Library
- Rodríguez, M., and Egenhofer, M. Determining semantic similarity among entity classes from different ontologies. IEEE Transaction on Knowledge and Data Engineering 15, 2 (2003), 442--456. Google ScholarDigital Library
- Schmidt-Schauss, M., and Smolka, G. Attributive concept descriptions with complements. Artificial Intelligence 48, 1 (1991), 1--26. Google ScholarDigital Library
- Shvaiko, P., and Euzenat, J. A survey of schema-based matching approaches. Journal on Data Semantics IV (2005), 146--171. Google Scholar
- Tversky, A. Features od similarity. Psycological Review 84, 4 (1997), 327--352.Google Scholar
- Weinstein, P., and Bimingham, P. Comparing concepts in differentiated ontologies. In Proceedings of 12th Workshop on Knowledge Acquisition, Modelling, Management (1999).Google Scholar
Index Terms
- A dissimilarity measure for ALC concept descriptions
Recommendations
A diagrammatic reasoning system for the description logic ALC
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows ...
A novel similarity/dissimilarity measure for intuitionistic fuzzy sets and its application in pattern recognition
Among the most interesting measures in intuitionistic fuzzy sets (IFSs) theory, the similarity measure is an essential tool to compare and determine degree of similarity between IFSs. Although there exist many similarity measures for IFSs, most of them ...
ALC + T: a Preferential Extension of Description Logics
Advances in Computational Logic (CIL C08)We extend the Description Logic ALC with a "typicality" operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC + T. The typicality operator is intended to select the "most ...
Comments