{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T07:45:41Z","timestamp":1724917541782},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,4,26]],"date-time":"2013-04-26T00:00:00Z","timestamp":1366934400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10115-013-0641-y","type":"journal-article","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T21:13:53Z","timestamp":1367356433000},"page":"205-242","source":"Crossref","is-referenced-by-count":10,"title":["Reasoning with fuzzy extensions of OWL and OWL 2"],"prefix":"10.1007","volume":"40","author":[{"given":"Giorgos","family":"Stoilos","sequence":"first","affiliation":[]},{"given":"Giorgos","family":"Stamou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,26]]},"reference":[{"key":"641_CR1","volume-title":"The description logic handbook: theory, implementation and applications","author":"F Baader","year":"2002","unstructured":"Baader F, McGuinness D, Nardi D, Patel-Schneider PF (2002) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge"},{"key":"641_CR2","doi-asserted-by":"crossref","unstructured":"Baader F, Pe\u00f1aloza R (2011) Are fuzzy description logics with general concept inclusion axioms decidable? In: IEEE international conference on fuzzy systems, Taipei, pp 1735\u20131742","DOI":"10.1109\/FUZZY.2011.6007520"},{"key":"641_CR3","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), Barcelona"},{"issue":"1","key":"641_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2011.02.012","volume":"172","author":"F Bobillo","year":"2011","unstructured":"Bobillo F, Bou F, Straccia U (2011) On the failure of the finite model property in some fuzzy description logics. Fuzzy Sets Syst 172(1):1\u201312","journal-title":"Fuzzy Sets Syst"},{"key":"641_CR5","unstructured":"Bobillo F, Delgado M, G\u00f3mez-Romero J (2006) A crisp representation for fuzzy $${\\cal {SHOIN}}$$ with fuzzy nominals and general concept inclusions. In: Proceedings of the 2nd international workshop on uncertainty reasoning for the semantic web (URSW 06), Athens, Georgia"},{"issue":"4","key":"641_CR6","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1142\/S0218488509006121","volume":"17","author":"F Bobillo","year":"2009","unstructured":"Bobillo F, Delgado M, G\u00f3mez-Romero J (2009) Crisp representations and reasoning for fuzzy ontologies. Int J Uncertain Fuzziness Knowl Based Syst 17(4):501\u2013530","journal-title":"Int J Uncertain Fuzziness Knowl Based Syst"},{"issue":"4","key":"641_CR7","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1142\/S0218488512500249","volume":"20","author":"F Bobillo","year":"2012","unstructured":"Bobillo F, Delgado M, G\u00f3mez-Romero J, Straccia U (2012) Joining G\u00f6del and Zadeh fuzzy logics in fuzzy description logics. Int J Uncertain Fuzziness Knowl Based Syst 20(4):475\u2013508","journal-title":"Int J Uncertain Fuzziness Knowl Based Syst"},{"key":"641_CR8","doi-asserted-by":"crossref","unstructured":"Bobillo F, Straccia U (2007) A fuzzy description logic with product t-norm. In: Proceedings of the IEEE international conference on fuzzy systems (Fuzz-IEEE-07), London","DOI":"10.1109\/FUZZY.2007.4295443"},{"key":"641_CR9","doi-asserted-by":"crossref","unstructured":"Bobillo F, Straccia U (2008) fuzzyDL: an expressive fuzzy description logic reasoner. In: Proceedings of the 2008 international conference on fuzzy systems (FUZZ-08). IEEE Computer Society, pp 923\u2013930","DOI":"10.1109\/FUZZY.2008.4630480"},{"key":"641_CR10","unstructured":"Bobillo F, Straccia U (2008) On qualified cardinality restrictions in fuzzy description logics under lukasiewicz semantics. In: Proceedings of the 12th international conference on information processing and management of uncertainty in, knowledge-based systems, (IPMU-08), pp 1008\u20131015"},{"issue":"4","key":"641_CR11","doi-asserted-by":"crossref","first-page":"758","DOI":"10.1016\/j.ins.2010.10.020","volume":"181","author":"F Bobillo","year":"2011","unstructured":"Bobillo F, Straccia U (2011) Reasoning with the finitely many-valued Lukasiewicz fuzzy description logic SROIQ. Inf Sci 181(4):758\u2013778","journal-title":"Inf Sci"},{"issue":"7","key":"641_CR12","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1016\/j.ijar.2011.05.003","volume":"52","author":"F Bobillo","year":"2011","unstructured":"Bobillo F, Straccia U (2011) Fuzzy ontology representation using OWL 2. Int J Approx Reason 52(7):1073\u20131094","journal-title":"Int J Approx Reason"},{"key":"641_CR13","doi-asserted-by":"crossref","unstructured":"Borgwardt S, Pe\u00f1aloza R (2012) Undecidability of fuzzy description logics. In: Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR 12)","DOI":"10.25368\/2022.184"},{"key":"641_CR14","doi-asserted-by":"crossref","unstructured":"Borgwardt S, Pe\u00f1aloza R (2012) A tableau algorithm for fuzzy Description Logics over residuated De Morgan lattices. In: Proceedings of the 6th international conference on web reasoning and rule systems (RR 2012), no 7497, pp 9\u201324","DOI":"10.1007\/978-3-642-33203-6_3"},{"key":"641_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ins.2012.11.019","volume":"227","author":"M Cerami","year":"2013","unstructured":"Cerami M, Straccia U (2013) On the (un)decidability of fuzzy description logics under Lukasiewicz t-norm. Inf Sci 227:1\u201321","journal-title":"Inf Sci"},{"key":"641_CR16","unstructured":"Cimiano P, Haase P, Ji Q, Mailis T, Stamou G, Stoilos G, Tran T, Tzouvaras V (2008) Reasoning with large A-boxes in fuzzy description logics using DL reasoners: an experimental evaluation. In: Workshop on advancing reasoning on the web: scalability and commonsense"},{"key":"641_CR17","doi-asserted-by":"crossref","unstructured":"Dasiopoulou S, Kompatsiaris I, Strintzis MG (2008) Using fuzzy DLs to enhance semantic image analysis. In: Proceedings of the 3rd international conference on semantic and digital media technology (SAMT), Koblenz, Germany","DOI":"10.1007\/978-3-540-92235-3_5"},{"issue":"3","key":"641_CR18","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s10849-005-5788-9","volume":"14","author":"S Demri","year":"2005","unstructured":"Demri S, Nivelle H (2005) Deciding regular grammar logics with converse through first-order logic. J Logic Lang Inf 14(3):289\u2013329","journal-title":"J Logic Lang Inf"},{"key":"641_CR19","unstructured":"Derriere S, Richard A, Preite-Martinez A (2006) An ontology of astronomical object types for the virtual observatory. In: Proceedings of the 26th meeting of the IAU: virtual observatory in action: new science, new technology, and next generation facilities. Czech Republic, Prague, pp 17\u201318"},{"key":"641_CR20","doi-asserted-by":"crossref","unstructured":"Dragoni M, Tettamanzi A (2007) Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers. In: Proceedings of the genetic and evolutionary computation conference (GECCO\u2019 07)","DOI":"10.1145\/1276958.1277349"},{"key":"641_CR21","unstructured":"Ferrara A, Lorusso D, Stamou G, Stoilos G, Tzouvaras V, Venetis T (2008) Resolution of conflicts among ontology mappings: a fuzzy approach. In: Proceedings of the 3rd international workshop on ontology matching (OM 2008), Karlsruhe, Germany"},{"key":"641_CR22","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.websem.2011.12.007","volume":"14","author":"B Glimm","year":"2012","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G (2012) A novel approach to ontology classification. J Web Semant Sci Serv Agents WWW 14:84\u2013101","journal-title":"J Web Semant Sci Serv Agents WWW"},{"issue":"3","key":"641_CR23","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.websem.2006.05.007","volume":"4","author":"C Golbreich","year":"2006","unstructured":"Golbreich C, Zhang S, Bodenreider O (2006) The foundational model of anatomy in OWL: experience and perspectives. J Web Semant 4(3):181\u2013195","journal-title":"J Web Semant"},{"key":"641_CR24","volume-title":"Handbook of automated reasoning, 103\u2013137","author":"R H\u00e4hnle","year":"2001","unstructured":"H\u00e4hnle R (2001) Tableaux and related methods. In: Robinson A, Voronkov A (eds) Handbook of automated reasoning, 103\u2013137. Elsevier Science Publishers, Amsterdam"},{"issue":"1","key":"641_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P Hajek","year":"2005","unstructured":"Hajek P (2005) Making fuzzy description logic more general. Fuzzy Sets Syst 154(1):1\u201315","journal-title":"Fuzzy Sets Syst"},{"key":"641_CR26","doi-asserted-by":"crossref","unstructured":"M Holi, Hyvonen E (2006) Fuzzy view-based semantic search. In: Proceedings of the Asian semantic web conference, proceedings of the Asian semantic web conference","DOI":"10.1007\/11836025_36"},{"key":"641_CR27","unstructured":"Hollunder B, Nutt W, Schmidt-Schaus M (1990) Subsumption algorithms for concept description languages. In: Proceedings of the European conference on, artificial intelligence, pp 348\u2013353"},{"issue":"1","key":"641_CR28","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider PF, van Harmelen F (2003) From $${\\cal {SHIQ}}$$ and RDF to OWL: the making of a web ontology language. J Web Semant 1(1):7\u201326","journal-title":"J Web Semant"},{"key":"641_CR29","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. J Logic and Comput 9:385\u2013410","journal-title":"J Logic and Comput"},{"key":"641_CR30","unstructured":"Horrocks I, Sattler U (2005) A tableaux decision procedure for $${\\cal {SHOIQ}}$$ . In: Proceedings of the 19th international joint conference on artificial intelligence (IJCAI 05)"},{"key":"641_CR31","unstructured":"Horrocks I, Kutz O, Sattler U (2006) The even more irresistible $${\\cal {SROIQ}}$$ . In: Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR 06), pp 57\u201367"},{"issue":"1\u20132","key":"641_CR32","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.artint.2004.06.002","volume":"160","author":"I Horrocks","year":"2004","unstructured":"Horrocks I, Sattler U (2004) Decidability of $${\\cal {SHIQ}}$$ with complex role inclusion axioms. Artif Intell 160(1\u20132):79\u2013104","journal-title":"Artif Intell"},{"key":"641_CR33","volume-title":"Fuzzy sets and fuzzy logic: theory and applications","author":"GJ Klir","year":"1995","unstructured":"Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall, Upper Saddle River"},{"key":"641_CR34","unstructured":"Lacy L, Aviles G, Fraser K, Gerber W, Mulvehill A, Gaskill R (2005) Experiences using OWL in military applications. In: Proceedings of the OWL: experiences and directions workshop (OWLED 2005), Galway, Ireland"},{"key":"641_CR35","unstructured":"Li Y, Xu B, Lu J, Kang D (2006) Discrete tableau algorithms for $${\\cal {FSHI}}$$ . In: Proceedings of the international workshop on description logics (DL 2006), Lake District, UK"},{"key":"641_CR36","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz T, Straccia U (2008) Managing uncertainty and vagueness in description logics for the semantic web. J Web Semant 6:291\u2013308","journal-title":"J Web Semant"},{"issue":"5","key":"641_CR37","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. J ACM 48(5):909\u2013970","journal-title":"J ACM"},{"key":"641_CR38","unstructured":"Motik B, Patel-Schneider PF, Parsia B (2009) OWL 2 web ontology language structural specification and functional-style syntax. http:\/\/www.w3.org\/TR\/2009\/REC-owl2-syntax-20091027\/"},{"key":"641_CR39","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik B, Shearer R, Horrocks I (2009) Hypertableau reasoning for description logics. J Artif Intell Res 36:165\u2013228","journal-title":"J Artif Intell Res"},{"key":"641_CR40","unstructured":"Rector AL (2006) Rogers J (2006) Ontological and practical issues in using a description logic to represent medical concept systems: experience from GALEN. In: Barahona P, Bry F, Franconi E, Henze N, Sattler U (eds) Second international summer school, reasoning web, pp 197\u2013231"},{"key":"641_CR41","doi-asserted-by":"crossref","unstructured":"Sanchez D, Tettamanzi AGB (2006) Fuzzy quantification in fuzzy description logics. In: Sanchez, E (ed) Capturing intelligence: fuzzy logic and the semantic web. Elsevier","DOI":"10.1016\/S1574-9576(06)80010-9"},{"key":"641_CR42","unstructured":"Sidhu A, Dillon T, Chang E, Singh Sidhu B (2005) Protein ontology development using OWL. In: Proceedings of the OWL: experiences and directions workshop (OWLED 2005), Galway, Ireland"},{"issue":"4","key":"641_CR43","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 T, Stoilos G, Kollias S (2008) Image indexing and retrieval using expressive fuzzy description logics. Signal Image Video Process 2(4):321\u2013335","journal-title":"Signal Image Video Process"},{"key":"641_CR44","unstructured":"Simou N, Mailis TP, Stoilos G, Stamou GB (2010) Optimization techniques for fuzzy description logics. In: Proceedings of the 23rd international workshop on description logics (DL 2010), Waterloo"},{"key":"641_CR45","doi-asserted-by":"crossref","unstructured":"Stoilos G, Stamou G, Kollias S (2008) Reasoning with qualified cardinality restrictions in fuzzy Description Logics. In: Proceedings of the international conference on fuzzy systems (Fuzz-IEEE 08)","DOI":"10.1109\/FUZZY.2008.4630436"},{"key":"641_CR46","unstructured":"Stoilos G, Stamou G, Pan JZ (2006) Handling imprecise knowledge with fuzzy description logics. In: Proceedings of the international workshop on description logics (DL 2006), Lake District, UK"},{"key":"641_CR47","unstructured":"Stoilos G, Stamou G, Tzouvaras V, Pan JZ, Horrocks I (2005) Fuzzy OWL: uncertainty and the semantic Web. In: Proceedings of the international workshop on OWL: experiences and directions"},{"key":"641_CR48","unstructured":"Stoilos G, Straccia U, Stamou G, Pan JZ (2006) General concept inclusions in fuzzy description logics. In: Proceedings of the 17th European conference on artificial intelligence (ECAI 06). IOS Press, pp 457\u2013461"},{"key":"641_CR49","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1016\/j.ijar.2010.01.005","volume":"21","author":"Stoilos Giorgos","year":"2010","unstructured":"Giorgos Stoilos, Giorgos Stamou (2010) Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics. Int J Approx Reason 21:656\u2013679","journal-title":"Int J Approx Reason"},{"issue":"5","key":"641_CR50","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2279","volume":"30","author":"G Stoilos","year":"2007","unstructured":"Stoilos G, Stamou G, Tzouvaras V, Horrocks I (2007) Reasoning with very expressive fuzzy description logics. J Artif Intell Res 30(5):273\u2013320","journal-title":"J Artif Intell Res"},{"key":"641_CR51","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. J Artif Intell Res 14:137\u2013166","journal-title":"J Artif Intell Res"},{"key":"641_CR52","doi-asserted-by":"crossref","unstructured":"Straccia U (2005) Towards a fuzzy description logic for the semantic web. In: Proceedings of the 2nd European semantic web conference","DOI":"10.1007\/11431053_12"},{"key":"641_CR53","doi-asserted-by":"crossref","unstructured":"Straccia U (2004) Transforming fuzzy description logics into classical description logics. In: Proceedings of the 9th European conference on logics in artificial intelligence (JELIA-04), number 3229 in Lecture notes in computer science. Springer, Lisbon, Portugal, pp 385\u2013399","DOI":"10.1007\/978-3-540-30227-8_33"},{"key":"641_CR54","doi-asserted-by":"crossref","unstructured":"Straccia U (2009) Multi-criteria decision making in fuzzy description logics: a first step. In: Proceedings of the 13th international conference on knowledge-based & intelligent information & engineering systems\u2014KES-09, number 5711 in Lecture notes in artificial intelligence. Springer, pp 79\u201387","DOI":"10.1007\/978-3-642-04595-0_10"},{"key":"641_CR55","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inf Control 8:338\u2013353","journal-title":"Inf Control"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-013-0641-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-013-0641-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-013-0641-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T11:06:19Z","timestamp":1688209579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-013-0641-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,26]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["641"],"URL":"https:\/\/doi.org\/10.1007\/s10115-013-0641-y","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,26]]}}}