{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:12:19Z","timestamp":1729642339260,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/grc.2008.4664731","type":"proceedings-article","created":{"date-parts":[[2008,11,5]],"date-time":"2008-11-05T14:42:27Z","timestamp":1225896147000},"page":"330-335","source":"Crossref","is-referenced-by-count":0,"title":["An ontology-based first-order intensional logic"],"prefix":"10.1109","author":[{"family":"Feng Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yuefei Sui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Cungen Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"19","article-title":"modality and databases, automated reasoning with analytic tableaux and related methods","author":"fitting","year":"2000","journal-title":"LNAI 1847"},{"year":"0","key":"17"},{"key":"18","first-page":"238","article-title":"knowledge interchange format","author":"genesereth","year":"1991","journal-title":"Proc of the 2nd Int Conf on the Principles of Knowledge Representation and Reasoning"},{"key":"15","first-page":"642","article-title":"description of fuzzy first-order modal logic based on constant domain semantics. rsfdgrc (1)","volume":"3642","author":"zhang","year":"2005","journal-title":"LNAI"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1"},{"key":"13","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2024555","article-title":"counterpart theory and quantified modal logic","volume":"65","author":"lewis","year":"1968","journal-title":"The Journal of Philosophy"},{"key":"14","first-page":"109","article-title":"fuzzy reasoning based on propositional modal logic, rsctc","volume":"3066","author":"zhang","year":"2004","journal-title":"LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"12","first-page":"20","article-title":"the relation between ontologies and schema-languages: translating oil-specifications in xml-schema","author":"klein","year":"2000","journal-title":"Proc of the Workshop on Applications of Ontologies and Problem-solving Methods 14th European Conference on AI"},{"year":"0","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/11908029_54"},{"year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654194"},{"key":"7","first-page":"83","article-title":"semantical considerations on modal logics","volume":"16","author":"kripke","year":"1963","journal-title":"Acta Philosophica Fennica Modal and Many-valued Logics"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1_4"},{"journal-title":"Reasoning About Knowledge","year":"1996","author":"fagin","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01001956"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02463-4_4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.014"}],"event":{"name":"2008 IEEE International Conference on Granular Computing (GrC-2008)","start":{"date-parts":[[2008,8,26]]},"location":"Hangzhou","end":{"date-parts":[[2008,8,28]]}},"container-title":["2008 IEEE International Conference on Granular Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4648793\/4664626\/04664731.pdf?arnumber=4664731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T09:10:01Z","timestamp":1497777001000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4664731\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/grc.2008.4664731","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}