Lazy Learning from Terminological Knowledge Bases

  • Claudia d’Amato
  • Nicola Fanizzi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4203)


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.


Description Logic Inductive Reasoning Dissimilarity Measure Omission Error Induction Rate 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Rodríguez, M.: Assessing semantic similarity between spatial entity classes. PhD thesis, University of Maine (1997)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  8. 8.
    Bacchus, F.: Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence 6, 209–231 (1990)CrossRefGoogle Scholar
  9. 9.
    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)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Mantay, T.: Commonality-based ABox retrieval. Technical Report FBI-HH-M-291/2000, Dept. of Computer Science, University of Hamburg, Germany (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Claudia d’Amato
    • 1
  • Nicola Fanizzi
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di BariBariItaly

Personalised recommendations