{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T06:50:26Z","timestamp":1772607026879,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/fuzzy.2008.4630480","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T18:07:09Z","timestamp":1222452429000},"page":"923-930","source":"Crossref","is-referenced-by-count":131,"title":["<i>fuzzy<\/i>DL: An Expressive Fuzzy Description Logic Reasoner"],"prefix":"10.1109","author":[{"given":"Fernando","family":"Bobillo","sequence":"first","affiliation":[]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2002.1039835"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2008.14"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(75)80002-2"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76890-6_59"},{"key":"16","article-title":"an overview of uncertainty and vagueness in description logics for the semantic web","author":"lukasiewicz","year":"2006","journal-title":"Technical Report INFSYS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.003"},{"key":"14","author":"klir","year":"1995","journal-title":"Fuzzy Sets and Fuzzy Logic Theory and Applications"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.03.005"},{"key":"12","first-page":"294","article-title":"the fuzzy description logic alcfii with hedge algebras as concept modifiers","volume":"7","author":"ho?lldobler","year":"2003","journal-title":"Advances in Computation and Intelligence"},{"key":"21","author":"salkin","year":"1988","journal-title":"Foundations of Integer Programming"},{"key":"20","article-title":"a fuzzy description logic based approach to matchmaking in e-marketplaces","author":"ragone","year":"0"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2006.105"},{"key":"23","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","article-title":"reasoning within fuzzy description logics","volume":"14","author":"straccia","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"24","first-page":"559","article-title":"description logics with fuzzy concrete domains","author":"straccia","year":"2005","journal-title":"Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI-05)"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-9576(06)80006-7"},{"key":"26","article-title":"reasoning in -shif: an expressive fuzzy description logic under ukasiewicz semantics","author":"straccia","year":"0"},{"key":"27","first-page":"247","article-title":"mixed integer programming, general concept inclusions and fuzzy description logics","volume":"14","author":"straccia","year":"2007","journal-title":"Mathware & Soft Computing"},{"key":"28","article-title":"a description logic for vague knowledge","author":"tresp","year":"1998","journal-title":"Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)"},{"key":"29","first-page":"472","article-title":"generalizing term subsumption languages to fuzzy logic","author":"yen","year":"1991","journal-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"2","year":"2003","journal-title":"The Description Logic Handbook Theory Implementation and Applications"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"ha?jek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.5019\/j.ijcir.2005.33"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73400-0_15"},{"key":"5","first-page":"652","article-title":"a fuzzy description logic with product t-norm","author":"bobillo","year":"2006","journal-title":"Proceedings of the 16th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007)"},{"key":"4","year":"0"},{"key":"9","first-page":"27","article-title":"resolution strategies for fuzzy description logic","volume":"2","author":"habiballa","year":"2007","journal-title":"Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007)"},{"key":"8","first-page":"307","article-title":"optimizing tableau reasoning in alc extended with uncertainty","author":"haarslev","year":"2007","journal-title":"Proceedings of the 2007 International Workshop on Description Logics (DL-2007)"}],"event":{"name":"2008 IEEE 16th International Conference on Fuzzy Systems (FUZZ-IEEE)","location":"Hong Kong","start":{"date-parts":[[2008,6,1]]},"end":{"date-parts":[[2008,6,6]]}},"container-title":["2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4625776\/4630333\/04630480.pdf?arnumber=4630480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T07:21:55Z","timestamp":1557818515000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4630480\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/fuzzy.2008.4630480","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}