Abstract
This work presents a method founded on instance-based learning algorithms for inductive (memory-based) reasoning on ABoxes. The method, which exploits a semantic dissimilarity measure between concepts and instances, can be employed both to infer class membership of instances and to predict hidden assertions that are not logically entailed from the knowledge base and need to be successively validated by humans (e.g. a knowledge engineer or a domain expert). In the experimentation, we show that the method can effectively help populating an ontology with likely assertions that could not be logically derived.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lisi, F.A.: Principles of inductive reasoning on the semantic web: A framework for learning in AL-log. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, Springer, Heidelberg (2005)
Sheth, A., Ramakrishnan, C., Thomas, C.: Semantics for the semantic web: The implicit, the formal and the powerful. Int. Journal on Semantic Web and Information Systems 1, 1–18 (2005)
Hitzler, P., Vrandec̆ić, D.: Resolution-based approximate reasoning for OWL DL. In: Voelker, G.M., Shenker, S. (eds.) IPTPS 2004. LNCS, vol. 3279, pp. 383–397. Springer, Heidelberg (2005)
Rodríguez, M.: Assessing semantic similarity between spatial entity classes. PhD thesis, University of Maine (1997)
Borgida, A., Walsh, T., Hirsh, H.: Towards measuring similarity in description logics. In: Working Notes of the International Description Logics Workshop. CEUR Workshop Proceedings, Edinburgh, UK (2005)
d’Amato, C., Fanizzi, N., Esposito, F.: A dissimilarity measure for concept descriptions in expressive ontology languages. In: Alani, H., Brewster, C., Noy, N., Sleeman, D. (eds.) Proceedings of the KCAP2005 Ontology Management Workshop, Banff, Canada (2005)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Bacchus, F.: Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence 6, 209–231 (1990)
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Deduction in concept languages: From subsumption to instance checking. Journal of Logic and Computation 4, 423–452 (1994)
Mantay, T.: Commonality-based ABox retrieval. Technical Report FBI-HH-M-291/2000, Dept. of Computer Science, University of Hamburg, Germany (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
d’Amato, C., Fanizzi, N. (2006). Lazy Learning from Terminological Knowledge Bases. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds) Foundations of Intelligent Systems. ISMIS 2006. Lecture Notes in Computer Science(), vol 4203. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11875604_64
Download citation
DOI: https://doi.org/10.1007/11875604_64
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45764-0
Online ISBN: 978-3-540-45766-4
eBook Packages: Computer ScienceComputer Science (R0)