{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T22:18:37Z","timestamp":1770589117964,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,3,24]],"date-time":"2012-03-24T00:00:00Z","timestamp":1332547200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10844-012-0195-6","type":"journal-article","created":{"date-parts":[[2012,3,23]],"date-time":"2012-03-23T15:57:10Z","timestamp":1332518230000},"page":"399-440","source":"Crossref","is-referenced-by-count":12,"title":["Tractable reasoning with vague knowledge using fuzzy $\\mathcal{EL}^{++}$"],"prefix":"10.1007","volume":"39","author":[{"given":"Theofilos","family":"Mailis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgos","family":"Stoilos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Simou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgos","family":"Stamou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefanos","family":"Kollias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,24]]},"reference":[{"key":"195_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., & Lutz, C. (2005). Pushing the el envelope. In L.\u00a0P. Kaelbling & A. Saffiotti (Eds.), IJCAI (pp. 364\u2013369). Professional Book Center.","DOI":"10.25368\/2022.144"},{"key":"195_CR2","unstructured":"Baader, F., Brandt, S., & Lutz, C. (2008). Pushing the el envelope further. In K. Clark & P.\u00a0F. Patel-Schneider (Eds.), Proceedings of the OWLED 2008 DC workshop on OWL: Experiences and directions."},{"key":"195_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D.\u00a0L., Nardi, D., & Patel-Schneider, P.\u00a0F. (Eds.) (2003). The description logic handbook: Theory, implementation, and applications. Cambridge University Press."},{"key":"195_CR4","unstructured":"Baader, F., & Pe\u00f1aloza, R. (2011). Gcis make reasoning in fuzzy dl with the product t-norm undecidable. In Proceedings of the 24th international workshop on description logics (DL 2011)."},{"key":"195_CR5","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1038\/35074206","volume":"410","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., & Hendler, J. (2001). Scientific publishing on the semantic web. Nature, 410, 1023\u20131024.","journal-title":"Nature"},{"key":"195_CR6","unstructured":"Bobillo, F., Delgado, M., & G\u00f3mez-Romero, J. (2007). Optimizing the crisp representation of the fuzzy description logic sroiq. In F. Bobillo, P.\u00a0C.\u00a0G. da\u00a0Costa, C. d\u2019Amato, N. Fanizzi, F. Fung, T. Lukasiewicz, et\u00a0al. (Eds.), URSW. CEUR workshop proceedings (Vol.\u00a0327). CEUR-WS.org ."},{"key":"195_CR7","doi-asserted-by":"crossref","unstructured":"Bobillo, F., & Straccia, U. (2009a). Extending datatype restrictions in fuzzy description logics. In ISDA (pp.\u00a0785\u2013790).","DOI":"10.1109\/ISDA.2009.27"},{"issue":"23","key":"195_CR8","doi-asserted-by":"crossref","first-page":"3382","DOI":"10.1016\/j.fss.2009.03.006","volume":"160","author":"F Bobillo","year":"2009","unstructured":"Bobillo, F., & Straccia, U. (2009b). Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems, 160(23), 3382\u20133402.","journal-title":"Fuzzy Sets and Systems"},{"key":"195_CR9","unstructured":"Bobillo, O., Delgado, M., & G\u00f3mez-Romero, J. (2006). A crisp representation for fuzzy shoin with fuzzy nominals and general concept inclusions. In Proc. of the 2nd international workshop on uncertainty reasoning for the semantic web (URSW 06)."},{"issue":"3","key":"195_CR11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007). Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning, 39(3), 385\u2013429.","journal-title":"Journal of Automated Reasoning"},{"key":"195_CR12","doi-asserted-by":"crossref","unstructured":"Dasiopoulou, S., Kompatsiaris, I., & Strintzis, M.\u00a0G. (2008). Using fuzzy DLs to enhance semantic image analysis. In Proc. 3rd international conference on semantic and digital media technology (SAMT). Koblenz, Germany.","DOI":"10.1007\/978-3-540-92235-3_5"},{"key":"195_CR13","unstructured":"Falelakis, M., Maramis, C., Lekka, I., Mitkas, P., & Delopoulos, A. (2009). An ontology for supporting clinical research on cervical cancer. In International conference on knowledge engineering and ontology development. Madeira, Portugal."},{"key":"195_CR14","unstructured":"Feng, S., Ouyang, D., Zhang, Y., Che, H., & Liu, J. (2010). The logical difference for fuzzy el+ ontologies. In 23rd international workshop on description logics DL2010 (p.\u00a0351). Citeseer."},{"key":"195_CR15","unstructured":"Ferrara, A., Lorusso, D., Stamou, G., Stoilos, G., Tzouvaras, V., & Venetis, T. (2008). Resolution of conflicts among ontology mappings: A fuzzy approach. In International workshop on ontology matching (OM2008). Karlsruhe."},{"issue":"6","key":"195_CR16","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"RW Floyd","year":"1962","unstructured":"Floyd, R.\u00a0W. (1962). Algorithm 97: Shortest path. Communications of the ACM, 5(6), 345.","journal-title":"Communications of the ACM"},{"key":"195_CR17","unstructured":"Haarslev, V., Pai, H.-I., & Shiri, N. (2007). Optimizing tableau reasoning in alc extended with uncertainty. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, & A.-Y. Turhan (Eds.), Proceedings of the 2007 international workshop on description logics (DL2007), Brixen\u2013Bressanone, near Bozen\u2013Bolzano, Italy, 8\u201310 June 2007. CEUR workshop proceedings (Vol.\u00a0250). CEUR-WS.org ."},{"key":"195_CR18","volume-title":"Advanced many-valued logics. Handbook of philosophical logic (Vol. 2)","author":"R Hahnle","year":"2001","unstructured":"Hahnle, R. (2001). Advanced many-valued logics. Handbook of philosophical logic (Vol.\u00a02, 2nd ed.). Dordrecht, Holland: Kluwer.","edition":"2"},{"key":"195_CR19","volume-title":"Applied fuzzy arithmetic\u2014an introduction with engineering applications","author":"M Hanss","year":"2005","unstructured":"Hanss, M. (2005). Applied fuzzy arithmetic\u2014an introduction with engineering applications. Berlin: Springer."},{"issue":"3","key":"195_CR20","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., & Sattler, U. (1999). A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation, 9(3), 385.","journal-title":"Journal of Logic and Computation,"},{"key":"195_CR21","volume-title":"Proceedings of the 22nd international workshop on description logics (DL 2009). CEUR workshop proceedings (Vol.\u00a0477)","author":"Y Kazakov","year":"2009","unstructured":"Kazakov, Y. (2009). Consequence-driven reasoning for horn SHIQ ontologies. In B.\u00a0C. Grau, I. Horrocks, B. Motik, & U. Sattler (Eds.), Proceedings of the 22nd international workshop on description logics (DL 2009). CEUR workshop proceedings (Vol.\u00a0477). United Kindgom: Oxford."},{"key":"195_CR22","volume-title":"Fuzzy sets and fuzzy logic: Theory and applications","author":"GJ Klir","year":"1995","unstructured":"Klir, G.\u00a0J., & Yuan, B. (1995). Fuzzy sets and fuzzy logic: Theory and applications. New Jersey: Prentice Hall PTR."},{"key":"195_CR23","unstructured":"Lutz, C. (2003). Description logics with concrete domains\u2014a survey. In Advances in modal logics (Vol.\u00a04). King\u2019s College Publications."},{"key":"195_CR24","first-page":"405","volume-title":"The description logic handbook","author":"DL McGuinness","year":"2003","unstructured":"McGuinness, D.\u00a0L. (2003). Configuration. In The description logic handbook (p. 405). Cambridge, UK: Cambridge University Press."},{"issue":"5","key":"195_CR25","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1145\/502102.502103","volume":"48","author":"C Meghini","year":"2001","unstructured":"Meghini, C., Sebastiani, F., & Straccia, U. (2001). A model of multimedia information retrieval. Journal of the ACM (JACM), 48(5), 909\u2013970.","journal-title":"Journal of the ACM (JACM)"},{"key":"195_CR26","first-page":"241","volume":"136","author":"P Mitkas","year":"2008","unstructured":"Mitkas, P., Koutkias, V., Symeonidis, A., Falelakis, M., Diou, C., Lekka, I., et\u00a0al. (2008). Association studies on cervical cancer facilitated by inference and semantic technologies: The ASSIST approach. Studies in Health Technology and Informatics, 136, 241\u2013246.","journal-title":"Studies in Health Technology and Informatics"},{"key":"195_CR27","unstructured":"Pan, J.\u00a0Z., Stamou, G.\u00a0B., Stoilos, G., & Thomas, E. (2007). Expressive querying over fuzzy dl-lite ontologies. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, & A.-Y. Turhan (Eds.), Proceedings of the 2007 international workshop on description logics (DL2007), Brixen\u2013Bressanone, near Bozen\u2013Bolzano, Italy, 8\u201310 June 2007. CEUR workshop proceedings (Vol.\u00a0250). CEUR-WS.org ."},{"issue":"2","key":"195_CR28","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/j.fss.2008.07.002","volume":"160","author":"A Ragone","year":"2009","unstructured":"Ragone, A., Straccia, U., Di\u00a0Noia, T., Di\u00a0Sciascio, E., & Donini, F.\u00a0M. (2009). Fuzzy matchmaking in e-marketplaces of peer entities using datalog. Fuzzy Sets and Systems, 160(2), 251\u2013268.","journal-title":"Fuzzy Sets and Systems"},{"issue":"4","key":"195_CR29","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/s11760-008-0084-1","volume":"2","author":"N Simou","year":"2008","unstructured":"Simou, N., Athanasiadis, Th., Stoilos, G., & Kollias, S. (2008). Image indexing and retrieval using expressive fuzzy description logics. Signal, Image and Video Processing, 2(4), 321\u2013335.","journal-title":"Signal, Image and Video Processing"},{"key":"195_CR30","unstructured":"Simou, N., Mailis, T., Stoilos, G., & Stamou, G. (2010). Optimization techniques for fuzzy description logics. In 23rd international workshop on description logics DL2010 (p.\u00a0244). Waterloo, Canada."},{"key":"195_CR31","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2279","volume":"30","author":"G Stoilos","year":"2007","unstructured":"Stoilos, G., Stamou, G., Pan, J.\u00a0Z., Tzouvaras, V., & Horrocks, I. (2007). Horrocks I.: Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research, 30, 273\u2013320.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"195_CR32","unstructured":"Stoilos, G., Stamou, G.\u00a0B., & Pan, J.\u00a0Z. (2008). Classifying fuzzy subsumption in fuzzy-el+. In F. Baader, C. Lutz, & B. Motik (Eds.), Description logics. CEUR workshop proceedings (Vol.\u00a0353). CEUR-WS.org ."},{"key":"195_CR33","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U Straccia","year":"2001","unstructured":"Straccia, U. (2001). Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research (JAIR), 14, 137\u2013166.","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"195_CR34","unstructured":"Straccia, U. (2005a). Description logics with fuzzy concrete domains. In Proceedings of the 21st annual conference on uncertainty in artificial intelligence (UAI-05) (pp.\u00a0559\u2013567)."},{"key":"195_CR35","doi-asserted-by":"crossref","unstructured":"Straccia, U. (2005b). Towards a fuzzy description logic for the semantic web (preliminary report). In A. G\u00f3mez-P\u00e9rez & J. Euzenat (Eds.), ESWC. Lecture notes in computer science (Vol.\u00a03532, pp.\u00a0167\u2013181). Springer.","DOI":"10.1007\/11431053_12"},{"key":"195_CR36","doi-asserted-by":"crossref","unstructured":"Straccia, U. (2006). Towards top-k query answering in description logics: The case of dl-lite. In M. Fisher, W. van\u00a0der Hoek, B. Konev, & A. Lisitsa (Eds.), JELIA. Lecture notes in computer science (Vol.\u00a04160, pp.\u00a0439\u2013451). Springer.","DOI":"10.1007\/11853886_36"},{"key":"195_CR37","unstructured":"Straccia, U., & Bobillo, F. (2007). Mixed integer programming, general concept inclusions and fuzzy description logics. In Proceedings of the 5th conference of the European society for fuzzy logic and technology (EUSFLAT-07) (Vol.\u00a02, pp.\u00a0213\u2013220). Ostrava, Czech Republic."},{"key":"195_CR38","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1007\/978-3-642-11266-9_59","volume-title":"SOFSEM 2010: Theory and practice of computer science. Lecture notes in computer science (Vol.\u00a05901)","author":"V Vanekov\u00e1","year":"2010","unstructured":"Vanekov\u00e1, V., & Vojt\u00e1\u0161, P. (2010). Comparison of scoring and order approach in description logic el(d). In J. van Leeuwen, A. Muscholl, D. Peleg, J. Pokorn\u00fd, & B. Rumpe (Eds.), SOFSEM 2010: Theory and practice of computer science. Lecture notes in computer science (Vol.\u00a05901, pp.\u00a0709\u2013720). Berlin\/Heidelberg: Springer.","edition":"5901"},{"key":"195_CR39","unstructured":"Vojt\u00e1\u0161, P. (2007). EL description logic with aggregation of user preference concepts. Frontiers in artificial intelligence and applications ISSN 0922\u20136389 (chapter EL description logic with aggregation of user preference concepts, Vol.\u00a0154, 1st ed., pp.\u00a0154\u2013166). IOS Press Amsterdam."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-012-0195-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10844-012-0195-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-012-0195-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,21]],"date-time":"2024-04-21T22:50:40Z","timestamp":1713739840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10844-012-0195-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,24]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["195"],"URL":"https:\/\/doi.org\/10.1007\/s10844-012-0195-6","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,24]]}}}