{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T02:40:09Z","timestamp":1744252809236,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342882"},{"type":"electronic","value":"9783642342899"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34289-9_57","type":"book-chapter","created":{"date-parts":[[2012,10,6]],"date-time":"2012-10-06T09:46:55Z","timestamp":1349516815000},"page":"512-521","source":"Crossref","is-referenced-by-count":0,"title":["A Knowledge Representation in Possible World"],"prefix":"10.1007","author":[{"given":"Yangxin","family":"Ou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping","family":"Zou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunyan","family":"Shuai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"57_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.5840\/monist19695327","volume":"53","author":"R. Montague","year":"1969","unstructured":"Montague, R.: On the nature of certain philosophical entities. The Monist\u00a053(2), 159\u2013194 (1969)","journal-title":"The Monist"},{"key":"57_CR2","doi-asserted-by":"crossref","unstructured":"Montague, R.: The Proper Treatment of Quantification in Ordinary English. Formal Semantics, 17\u201334 (1973)","DOI":"10.1002\/9780470758335.ch1"},{"key":"57_CR3","unstructured":"Kripke, S.A.: Naming and necessity. Wiley-Blackwell (1981)"},{"key":"57_CR4","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical considerations on modal logic. Acta Philosophica Fennica\u00a016, 83\u201394 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"57_CR5","unstructured":"Majkic, Z.: First-order Logic: Modality and Intensionality, arXiv: 1103-0680 (March 2011)"},{"issue":"11","key":"57_CR6","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"57_CR7","unstructured":"Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. Arxiv preprint arXiv: 1105-5446 (2011)"},{"key":"57_CR8","unstructured":"Cau, A., Moszkowski, B., Zedan, H.: Interval temporal logic (2010), http:\/\/www.cms.dmu.ac.uk\/cau\/itlhomepage\/itlhomepage.html"},{"key":"57_CR9","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357 (1997)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"5","key":"57_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T.B. Lee","year":"2001","unstructured":"Lee, T.B., Hendler, J., Lassila, O., et al.: The semantic web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"key":"57_CR11","first-page":"2006","volume":"10","author":"S. Bechhofer","year":"2004","unstructured":"Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A., et al.: OWL web ontology language reference. W3C Recommendation\u00a010, 2006-01 (2004)","journal-title":"W3C Recommendation"},{"key":"57_CR12","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday (2005)","DOI":"10.1007\/978-3-540-32254-2_14"},{"key":"57_CR13","doi-asserted-by":"crossref","unstructured":"Srivastava, S.M.: A course on mathematical logic. Springer (2008)","DOI":"10.1007\/978-0-387-76277-7"},{"key":"57_CR14","doi-asserted-by":"crossref","unstructured":"Prestel, A., Delzell, C.N.: Mathematical Logic and Model Theory. Springer (2011)","DOI":"10.1007\/978-1-4471-2176-3"},{"key":"57_CR15","unstructured":"Giarratano, J.C., et al.: CLIPS User\u2019s guide, Artificial Intelligence Section, Lyndon B. Johnson Space Center (1989)"}],"container-title":["Communications in Computer and Information Science","Computational Intelligence and Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34289-9_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T02:11:42Z","timestamp":1744251102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34289-9_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342882","9783642342899"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34289-9_57","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}