LiFR: A Lightweight Fuzzy DL Reasoner
Conference paper
First Online:
Abstract
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.
Notes
Acknowledgments
This work has been supported by the European Commission under Contract FP7-287911 LinkedTV.
References
- 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.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.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.Bobillo, F., Straccia, U.: FuzzyDL: an expressive fuzzy description logic reasoner. In: FUZZ-IEEE, pp. 923–930 (2008)Google Scholar
- 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.Kleemann, T.: Towards mobile reasoning. In: Description Logics (2006)Google Scholar
- 7.Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic - Theory and Applications. Prentice Hall, Upper Saddle River (1995)MATHGoogle Scholar
- 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.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.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.Schneider, P.P., Swartout, B.: Description-Logic Knowledge Representation System Specification from the KRSS Group of the ARPA Knowledge Sharing Effort (1993). http://www.bell-labs.com/user/pfps/papers/krss-spec.ps
- 12.Simou, N., Mailis, T.P., Stoilos, G., Stamou, G.B.: Optimization techniques for fuzzy description logics. In: Description Logics (2010)Google Scholar
- 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.Tsatsou, D., Mezaris, V.: LUMO: the LinkedTV user model ontology. In: ESWC 2014 (Satellite Events) (2014)Google Scholar
- 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