LiFR: A Lightweight Fuzzy DL Reasoner

  • Dorothea Tsatsou
  • Stamatia Dasiopoulou
  • Ioannis Kompatsiaris
  • Vasileios Mezaris
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8798)


In this paper we present LiFR, a lightweight DL reasoner capable of performing in resource-constrained devices, that implements a fuzzy extension of Description Logic Programs. Preliminary evaluation against two existing fuzzy DL reasoners and within a real-world use case has shown promising results.



This work has been supported by the European Commission under Contract FP7-287911 LinkedTV.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)Google Scholar
  2. 2.
    Baumgartner, P.: Hyper tableau – the next generation. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 60–70. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  3. 3.
    Bobillo, F., Delgado, M., Gómez-Romero, J.: Reasoning in fuzzy OWL 2 with DeLorean. In: Bobillo, F., Costa, P.C.G., d’Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2008-2010/UniDL 2010. LNCS, vol. 7123, pp. 119–138. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  4. 4.
    Bobillo, F., Straccia, U.: FuzzyDL: an expressive fuzzy description logic reasoner. In: FUZZ-IEEE, pp. 923–930 (2008)Google Scholar
  5. 5.
    Bobillo, F., Straccia, U.: General concept inclusion absorptions for fuzzy description logics: a first step. In: Description Logics, pp. 513–525 (2013)Google Scholar
  6. 6.
    Kleemann, T.: Towards mobile reasoning. In: Description Logics (2006)Google Scholar
  7. 7.
    Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic - Theory and Applications. Prentice Hall, Upper Saddle River (1995)zbMATHGoogle Scholar
  8. 8.
    Lehmann, J., Isele, R., Jakob, M., Jentzsch, A., Kontokostas, D., Mendes, P.N., Hellmann, S., Morsey, M., van Kleef, P., Auer, S., Bizer, C.: DBpedia - a large-scale, multilingual knowledge base extracted from wikipedia. Semant. Web J. (2014)Google Scholar
  9. 9.
    Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic Web. J. Web Sem. 6(4), 291–308 (2008)CrossRefGoogle Scholar
  10. 10.
    Ma, Z.M., Zhang, F., Wang, H., Yan, L.: An overview of fuzzy description logics for the semantic Web. Knowl. Eng. Rev. 28(1), 1–34 (2013)CrossRefGoogle Scholar
  11. 11.
    Schneider, P.P., Swartout, B.: Description-Logic Knowledge Representation System Specification from the KRSS Group of the ARPA Knowledge Sharing Effort (1993).
  12. 12.
    Simou, N., Mailis, T.P., Stoilos, G., Stamou, G.B.: Optimization techniques for fuzzy description logics. In: Description Logics (2010)Google Scholar
  13. 13.
    Stoilos, G., Simou, N., Stamou, G.B., Kollias, S.D.: Uncertainty and the semantic Web. IEEE Intell. Syst. 21(5), 84–87 (2006)CrossRefGoogle Scholar
  14. 14.
    Tsatsou, D., Mezaris, V.: LUMO: the LinkedTV user model ontology. In: ESWC 2014 (Satellite Events) (2014)Google Scholar
  15. 15.
    Venetis, T., Stoilos, G., Stamou, G.B., Kollias, S.D.: f-DLPs: extending description logic programs with fuzzy sets and fuzzy logic. In: FUZZ-IEEE, pp. 1–6 (2007)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Dorothea Tsatsou
    • 1
  • Stamatia Dasiopoulou
    • 2
  • Ioannis Kompatsiaris
    • 1
  • Vasileios Mezaris
    • 1
  1. 1.Centre for Research and Technology HellasInformation Technologies InstituteAthensGreece
  2. 2.Department of Information and Communication TechnologiesPompeu Fabra UniversityBarcelonaSpain

Personalised recommendations