{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:28:04Z","timestamp":1729614484384,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/fuzz-ieee.2015.7337838","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T21:54:50Z","timestamp":1448920490000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["On partitioning-based optimisations in expressive fuzzy Description Logics"],"prefix":"10.1109","author":[{"given":"Fernando","family":"Bobillo","sequence":"first","affiliation":[]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/FUZZ-IEEE.2013.6622491"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1002\/rob.21491"},{"key":"ref12","first-page":"307","article-title":"Optimizing tableau reasoning in ALC extended with uncertainty","volume":"250","author":"haarslev","year":"2007","journal-title":"Proceedings of the 2007 International Workshop on Description Logics (DL-2007)"},{"key":"ref13","article-title":"Optimization techniques for fuzzy description logics","volume":"573","author":"simou","year":"2010","journal-title":"Proceedings of the 23rd International Workshop on Description Logics (DL 2010)"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1016\/j.fss.2014.10.029"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/MIS.2006.105"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"hajek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.fss.2005.03.005"},{"key":"ref19","article-title":"Optimization strategies for instance retrieval","author":"haarslev","year":"2002","journal-title":"International Workshop on Description Logics (DL-2002)"},{"key":"ref4","first-page":"452","article-title":"The even more irresistible SROIQ","author":"horrocks","year":"2006","journal-title":"Proceedings of the 10th Int Conference of Knowledge Representation and Reasoning (KR 2006)"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.websem.2008.05.001"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/FUZZY.2008.4630480"},{"year":"2013","author":"straccia","journal-title":"Foundations of Fuzzy Logic and Semantic Web Languages","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/s11042-009-0387-4"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/s00500-011-0789-x"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1038\/scientificamerican0501-34"},{"year":"2003","author":"baader","journal-title":"The Description Logic Handbook Theory Implementation and Applications","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.knosys.2014.04.016"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ICSC.2014.34"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1016\/j.ijar.2011.05.003"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1016\/j.fss.2009.03.006"}],"event":{"name":"2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2015,8,2]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2015,8,5]]}},"container-title":["2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7329077\/7337796\/07337838.pdf?arnumber=7337838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T00:44:20Z","timestamp":1498265060000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7337838\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2015.7337838","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}