{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:54:09Z","timestamp":1729619649054,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/fuzzy.2011.6007520","type":"proceedings-article","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T20:27:07Z","timestamp":1315859227000},"page":"1735-1742","source":"Crossref","is-referenced-by-count":20,"title":["Are fuzzy description logics with general concept inclusion axioms decidable?"],"prefix":"10.1109","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Rafael","family":"Penaloza","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"385","article-title":"Transforming fuzzy description logics into classical description logics","author":"straccia","year":"2004","journal-title":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04) ser Lecture Notes in Computer Science"},{"key":"17","first-page":"203","article-title":"Decidability of a description logic over infinite-valued product logic","author":"cerami","year":"2010","journal-title":"Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1946-08555-9"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2010.01.001"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2011.02.012"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.03.005"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200610027"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2009.03.006"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2011.02.012"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.10.020"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.04.001"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2008.10.003"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013882326814"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","author":"baader","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/FUZZY.2007.4295443","article-title":"A fuzzy description logic with product t-norm","author":"bobillo","year":"2007","journal-title":"Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2007)"},{"key":"7","first-page":"457","article-title":"General concept inclusions in fuzzy description logics","volume":"141","author":"stoilos","year":"2006","journal-title":"Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) ser Frontiers in Artificial Intelligence and Applications"},{"key":"6","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 (JAIR)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89765-1_16"},{"key":"4","first-page":"559","article-title":"Description logics with fuzzy concrete domains","author":"straccia","year":"2005","journal-title":"Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence (UAI'05)"},{"key":"9","first-page":"1008","article-title":"On qualified cardinality restrictions in fuzzy description logics under lukasiewicz semantics","author":"bobillo","year":"2008","journal-title":"Proceedings of the 12th International Conference on Information Processing and Managment of Uncertainty in Knowledge-based Systems"},{"key":"8","first-page":"213","article-title":"Mixed integer programming, general concept inclusions and fuzzy description logics","author":"straccia","year":"2007","journal-title":"Proceedings of the Conference EUSFLAT"}],"event":{"name":"2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2011,6,27]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2011,6,30]]}},"container-title":["2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5976945\/6007305\/06007520.pdf?arnumber=6007520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T11:41:27Z","timestamp":1560598887000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6007520\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/fuzzy.2011.6007520","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}