{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T07:13:57Z","timestamp":1726298037480},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642408847"},{"type":"electronic","value":"9783642408854"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40885-4_6","type":"book-chapter","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T07:20:19Z","timestamp":1378884019000},"page":"71-86","source":"Crossref","is-referenced-by-count":1,"title":["Roughening the $\\mathcal{EL}$ Envelope"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingting","family":"Zou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   envelope. In: Proc. 19th Int. Joint Conf. on Artif. Intel. (IJCAI 2005), Edinburgh, UK. Morgan-Kaufmann Publishers (2005)"},{"key":"6_CR2","unstructured":"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)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1017\/CBO9780511711787"},{"key":"6_CR4","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-35975-0_6","volume-title":"Uncertainty Reasoning for the Semantic Web II","author":"F. Bobillo","year":"2013","unstructured":"Bobillo, F., Straccia, U.: Finite fuzzy description logics and crisp representations. In: Bobillo, F., Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2008-2010\/UniDL 2010. LNCS (LNAI), vol.\u00a07123, pp. 99\u2013118. Springer, Heidelberg (2013)"},{"key":"6_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-31365-3_9","volume-title":"Automated Reasoning","author":"S. Borgwardt","year":"2012","unstructured":"Borgwardt, S., Distel, F., Pe\u00f1aloza, R.: How fuzzy is my fuzzy description logic? In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol.\u00a07364, pp. 82\u201396. Springer, Heidelberg (2012)"},{"key":"6_CR6","unstructured":"Borgwardt, S., Pe\u00f1aloza, 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\u2013242. AAAI Press (2012)"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s13740-012-0013-x","volume":"2","author":"S. Borgwardt","year":"2013","unstructured":"Borgwardt, S., Pe\u00f1aloza, R.: The complexity of lattice-based fuzzy description logics. Journal on Data Semantics\u00a02(1), 1\u201319 (2013)","journal-title":"Journal on Data Semantics"},{"key":"6_CR8","unstructured":"Borgwardt, S., Pe\u00f1aloza, B.: Positive subsumption in fuzzy \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   with general t-norms. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China. AAAI Press (to appear, 2013)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ins.2012.11.019","volume":"227","author":"M. Cerami","year":"2013","unstructured":"Cerami, M., Straccia, U.: On the (un)decidability of fuzzy description logics under \u0141ukasiewicz t-norm. Information Sciences\u00a0227, 1\u201321 (2013)","journal-title":"Information Sciences"},{"key":"6_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-35975-0_16","volume-title":"Uncertainty Reasoning for the Semantic Web II","author":"C. d\u2019Amato","year":"2013","unstructured":"d\u2019Amato, 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.\u00a07123, pp. 300\u2013314. Springer, Heidelberg (2013)"},{"issue":"12","key":"6_CR11","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.1002\/bies.20325","volume":"27","author":"K. Queiroz de","year":"2005","unstructured":"de Queiroz, K.: Different species problems and their resolution. BioEssays\u00a027(12), 1263\u20131269 (2005)","journal-title":"BioEssays"},{"key":"6_CR12","unstructured":"Haase, C.: Complexity of subsumption in extensions of \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                  . Master\u2019s thesis, Dresden University of Technology, Germany (2007)"},{"key":"6_CR13","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer (2001)"},{"issue":"5","key":"6_CR14","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1016\/j.ins.2008.10.021","volume":"179","author":"Y. Jiang","year":"2009","unstructured":"Jiang, Y., Wang, J., Tang, S., Xiao, B.: Reasoning with rough description logics: An approximate concepts approach. Information Sciences\u00a0179(5), 600\u2013612 (2009)","journal-title":"Information Sciences"},{"key":"6_CR15","unstructured":"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\u2013274. AAAI Press (2012)"},{"key":"6_CR16","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: ELK reasoner: Architecture and evaluation. In: Proceedings of the OWL Reasoner Evaluation Workshop 2012 (ORE 2012). CEUR Workshop Proceedings, vol.\u00a0858. CEUR-WS.org (2012)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"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\u2013140. ACM (2011)","DOI":"10.1145\/2072221.2072237"},{"key":"6_CR18","unstructured":"Liau, C.-J.: On rough terminological logics. In: Proc. of the 4th Intern. Workshop on Rough Sets, Fuzzy Sets and Machine Discovery, pp. 47\u201354 (1996)"},{"issue":"4","key":"6_CR19","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics\u00a06(4), 291\u2013308 (2008)","journal-title":"Journal of Web Semantics"},{"issue":"5","key":"6_CR20","first-page":"341","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. International Journal of Parallel Programming\u00a011(5), 341\u2013356 (1982)","journal-title":"International Journal of Parallel Programming"},{"key":"6_CR21","unstructured":"Pe\u00f1aloza, R., Zou, T.: Rough \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   classification. In: Proceedings of the 2013 International Workshop on Description Logics (DL 2013). CEUR-WS, Ulm, Germany (to appear, 2013)"},{"key":"6_CR22","unstructured":"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\u2013562 (2007)"},{"key":"6_CR23","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res.\u00a014, 137\u2013166 (2001)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.tcs.2004.10.036","volume":"336","author":"D. Toman","year":"2005","unstructured":"Toman, D., Weddell, G.: On reasoning about structural equality in xml: a description logic approach. Theor. Comput. Sci.\u00a0336(1), 181\u2013203 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Yao, Y.: Perspectives of granular computing. In: Proceeding of the 2005 IEEE International Conference on Granular Computing, vol.\u00a01, pp. 85\u201390 (2005)","DOI":"10.1109\/GRC.2005.1547239"},{"issue":"3","key":"6_CR26","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08(3), 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40885-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:40:34Z","timestamp":1558057234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40885-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408847","9783642408854"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40885-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}