{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:03:04Z","timestamp":1730210584328,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/cscwd.2008.4536990","type":"proceedings-article","created":{"date-parts":[[2010,12,13]],"date-time":"2010-12-13T16:00:45Z","timestamp":1292256045000},"page":"252-257","source":"Crossref","is-referenced-by-count":0,"title":["A new proposal of temporal production system for temporal knowledge representation and reasoning"],"prefix":"10.1109","author":[{"family":"Lingkun Wu","sequence":"first","affiliation":[]},{"family":"Yong Tang","sequence":"additional","affiliation":[]},{"family":"Hui Ma","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","article-title":"the design and development of temporal database middleware","volume":"43","author":"chen","year":"2006","journal-title":"Journal of Computer research and development"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1360\/jos160838"},{"journal-title":"A Generalisation Approach to Temporal Data Models and their Implementations","year":"1998","author":"steiner","key":"12"},{"key":"3","volume":"32","author":"sistla","year":"0","journal-title":"The Complexity of Propositional Linear Temporal Logics"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CACWD.2004.1349117"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1993.634008"},{"key":"7","first-page":"3","article-title":"formal ontology and information systems","author":"guarino","year":"1998","journal-title":"Proc 2nd Int l Conf Formal Ontology in Information Systems"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2002","author":"baader","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IBED.1992.247110"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.1992.202286"}],"event":{"name":"in Design (CSCWD)","start":{"date-parts":[[2008,4,16]]},"location":"Xian, China","end":{"date-parts":[[2008,4,18]]}},"container-title":["2008 12th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4530852\/4536938\/04536990.pdf?arnumber=4536990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T13:43:55Z","timestamp":1489671835000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4536990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2008.4536990","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}