Abstract
The \(\mathcal{EL}\) family of description logics (DLs) has been successfully applied for representing the knowledge of several domains, specially from the bio-medical fields. One of its principal characteristics is that its reasoning tasks have polynomial complexity, which makes them suitable for large-scale knowledge bases. In their classical form, description logics cannot handle imprecise concepts in a satisfactory manner. Rough sets have been studied as a method for describing imprecise notions, by providing a lower and an upper approximation, which are defined through classes of indiscernible elements.
In this paper we study the combination of the \(\mathcal{EL}\) family of DLs with the notion of rough sets, thus obtaining a family of rough DLs. We show that the rough extension of these DLs maintains the polynomial-time complexity enjoyed by its classical counterpart. We also present a completion-based algorithm that is a strict generalization of the known method for the DL \(\mathcal{EL}^{++}\).
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. 19th Int. Joint Conf. on Artif. Intel. (IJCAI 2005), Edinburgh, UK. Morgan-Kaufmann Publishers (2005)
Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)
Bobillo, F., Straccia, U.: Finite fuzzy description logics and crisp representations. 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 (LNAI), vol. 7123, pp. 99–118. Springer, Heidelberg (2013)
Borgwardt, S., Distel, F., Peñaloza, R.: How fuzzy is my fuzzy description logic? In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol. 7364, pp. 82–96. Springer, Heidelberg (2012)
Borgwardt, S., Peñaloza, R.: Undecidability of fuzzy description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, pp. 232–242. AAAI Press (2012)
Borgwardt, S., Peñaloza, R.: The complexity of lattice-based fuzzy description logics. Journal on Data Semantics 2(1), 1–19 (2013)
Borgwardt, S., Peñaloza, B.: Positive subsumption in fuzzy \(\mathcal{EL}\) with general t-norms. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China. AAAI Press (to appear, 2013)
Cerami, M., Straccia, U.: On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm. Information Sciences 227, 1–21 (2013)
d’Amato, C., Fanizzi, N., Esposito, F., Lukasiewicz, T.: Representing uncertain concepts in rough description logics via contextual indiscernibility relations. In: Bobillo, F., et al. (eds.) URSW 2008-2010/UniDL 2010. LNCS (LNAI), vol. 7123, pp. 300–314. Springer, Heidelberg (2013)
de Queiroz, K.: Different species problems and their resolution. BioEssays 27(12), 1263–1269 (2005)
Haase, C.: Complexity of subsumption in extensions of \(\mathcal{EL}\). Master’s thesis, Dresden University of Technology, Germany (2007)
Hájek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer (2001)
Jiang, Y., Wang, J., Tang, S., Xiao, B.: Reasoning with rough description logics: An approximate concepts approach. Information Sciences 179(5), 600–612 (2009)
Kazakov, Y., Kroetzsch, M., Simancik, F.: Practical reasoning with nominals in the el family of description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 264–274. AAAI Press (2012)
Kazakov, Y., Krötzsch, M., Simančík, F.: ELK reasoner: Architecture and evaluation. In: Proceedings of the OWL Reasoner Evaluation Workshop 2012 (ORE 2012). CEUR Workshop Proceedings, vol. 858. CEUR-WS.org (2012)
Maria Keet, C.: Rough subsumption reasoning with rowl. In: Brown, I., Sewchurran, K., Suleman, H. (eds.) Proc. of the 2011 Annual Conf. of the South African Inst. of Comp. Scientists and Inform. Tech. (SAICSIT 2011), pp. 133–140. ACM (2011)
Liau, C.-J.: On rough terminological logics. In: Proc. of the 4th Intern. Workshop on Rough Sets, Fuzzy Sets and Machine Discovery, pp. 47–54 (1996)
Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6(4), 291–308 (2008)
Pawlak, Z.: Rough sets. International Journal of Parallel Programming 11(5), 341–356 (1982)
Peñaloza, R., Zou, T.: Rough \(\mathcal{EL}\) classification. In: Proceedings of the 2013 International Workshop on Description Logics (DL 2013). CEUR-WS, Ulm, Germany (to appear, 2013)
Schlobach, S., Klein, M.C.A., Peelen, L.: Description logics with approximate definitions - precise modeling of vague concepts. In: Veloso, M.M. (ed.) Proc. 20th Int. Joint Conf. on Artif. Intel. (IJCAI 2007), pp. 557–562 (2007)
Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 137–166 (2001)
Toman, D., Weddell, G.: On reasoning about structural equality in xml: a description logic approach. Theor. Comput. Sci. 336(1), 181–203 (2005)
Yao, Y.: Perspectives of granular computing. In: Proceeding of the 2005 IEEE International Conference on Granular Computing, vol. 1, pp. 85–90 (2005)
Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Peñaloza, R., Zou, T. (2013). Roughening the \(\mathcal{EL}\) Envelope. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds) Frontiers of Combining Systems. FroCoS 2013. Lecture Notes in Computer Science(), vol 8152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40885-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-40885-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40884-7
Online ISBN: 978-3-642-40885-4
eBook Packages: Computer ScienceComputer Science (R0)