Towards Learning Fuzzy DL Inclusion Axioms

  • Francesca A. Lisi
  • Umberto Straccia
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6857)


Fuzzy Description Logics (DLs) are logics that allow to deal with vague structured knowledge. Although a relatively important amount of work has been carried out in the last years concerning the use of fuzzy DLs as ontology languages, the problem of automatically managing fuzzy ontologies has received no attention so far. We report here our preliminary investigation on this issue by describing a method for inducing inclusion axioms in a fuzzy DL-Lite like DL.


Description Logic Inductive Logic Program Horn Clause Ontology Language Atomic Concept 
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.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  2. 2.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 260–270 (2006)Google Scholar
  3. 3.
    Drobics, M., Bodenhofer, U., Klement, E.-P.: FS-FOIL: an inductive learning method for extracting interpretable fuzzy descriptions. Int. J. Approximate Reasoning 32(2-3), 131–152 (2003)CrossRefzbMATHGoogle Scholar
  4. 4.
    Hellmann, S., Lehmann, J., Auer, S.: Learning of OWL Class Descriptions on Very Large Knowledge Bases. Int. J. on Semantic Web and Information Systems 5(2), 25–48 (2009)CrossRefGoogle Scholar
  5. 5.
    Horváth, T., Vojtás, P.: Induction of fuzzy and annotated logic programs. In: Muggleton, S.H., Otero, R., Tamaddoni-Nezhad, A. (eds.) ILP 2006. LNCS (LNAI), vol. 4455, pp. 260–274. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Klir, G.J., Yuan, B.: Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall, Inc., Upper Saddle River (1995)zbMATHGoogle Scholar
  7. 7.
    Lukasiewicz, T., Straccia, U.: Top-k retrieval in description logic programs under vagueness for the semantic web. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 16–30. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6, 291–308 (2008)CrossRefGoogle Scholar
  9. 9.
    Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS(LNAI), vol. 1228. Springer, Heidelberg (1997)zbMATHGoogle Scholar
  10. 10.
    Quinlan, J.R.: Learning logical definitions from relations. Machine Learning 5, 239–266 (1990)Google Scholar
  11. 11.
    Serrurier, M., Prade, H.: Improving expressivity of inductive logic programming by learning different kinds of fuzzy rules. Soft Computing 11(5), 459–466 (2007)CrossRefzbMATHGoogle Scholar
  12. 12.
    Shibata, D., Inuzuka, N., Kato, S., Matsui, T., Itoh, H.: An induction algorithm based on fuzzy logic programming. In: Zhong, N., Zhou, L. (eds.) PAKDD 1999. LNCS (LNAI), vol. 1574, pp. 268–274. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  13. 13.
    Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)MathSciNetzbMATHGoogle Scholar
  14. 14.
    Straccia, U.: SoftFacts: a top-k retrieval engine for a tractable description logic accessing relational databases. Technical report (2009)Google Scholar
  15. 15.
    Straccia, U.: SoftFacts: A top-k retrieval engine for ontology mediated access to relational databases. In: Proc. of the 2010 IEEE Int. Conf. on Systems, Man and Cybernetics, pp. 4115–4122. IEEE Press, Los Alamitos (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Francesca A. Lisi
    • 1
  • Umberto Straccia
    • 2
  1. 1.Dipartimento di InformaticaUniversità degli Studi di Bari “Aldo Moro”Italy
  2. 2.ISTI - CNRPisaItaly

Personalised recommendations