{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T00:33:17Z","timestamp":1776385997569,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540897033","type":"print"},{"value":"9783540897040","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-89704-0_3","type":"book-chapter","created":{"date-parts":[[2008,11,12]],"date-time":"2008-11-12T21:53:45Z","timestamp":1226526825000},"page":"31-45","source":"Crossref","is-referenced-by-count":12,"title":["Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge"],"prefix":"10.1007","author":[{"given":"Sang-Kyun","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mi-Young","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chul","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sang-Jun","family":"Yea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyun Chul","family":"Jang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyu-Chul","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","first-page":"832","volume-title":"Communications of the ACM","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. In: Communications of the ACM, vol.\u00a026(11), pp. 832\u2013843. ACM, New York (1983)"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","volume":"9","author":"A. Artale","year":"1998","unstructured":"Artale, A., Franconi, E.: A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research\u00a09, 463\u2013506 (1998)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"3_CR3","first-page":"171","volume":"4","author":"A. Artale","year":"2001","unstructured":"Artale, A., Franconi, E.: A Survey of Temporal Extensions of Description Logics. Annals of Mathematics and Artificial Intelligence\u00a04(1), 171\u2013210 (2001)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0169-023X(96)00036-5","volume":"22","author":"C. Bettini","year":"1997","unstructured":"Bettini, C.: Time dependent concepts: Representation and reasoning using temporal description logics. Data & Knowledge Engineering\u00a022(1), 1\u201338 (1997)","journal-title":"Data & Knowledge Engineering"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J.Y. Halpern","year":"1991","unstructured":"Halpern, J.Y., Moses, Y.: A Propositional Modal Logic of Time Intervals. Journal of ACM\u00a038(4), 935\u2013962 (1991)","journal-title":"Journal of ACM"},{"key":"3_CR6","unstructured":"Hollunder, B., Nutt, W.: Subsumption Algorithms for Concept Languages, Technical Research Report RR-90-04, DFKI, Germany (1990)"},{"key":"3_CR7","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th International Joint Conference on Artificial Intelligence, pp. 448\u2013453 (2005)"},{"key":"3_CR8","unstructured":"Milea, V., Frasincar, F., Kaymak, U., Noia, T.: An OWL-based Approach Towards Representing Time in Web Information Systems. In: Proc. of the 4th International Workshop of Web Information Systems Modeling Workshop, pp. 791\u2013802 (2007)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Schild, K.D.: Combining terminological logics with tense logic. In: Proc. of the 6th Portuguese Conference on Artificial Intelligence (1993)","DOI":"10.1007\/3-540-57287-2_41"},{"key":"3_CR10","unstructured":"Schmiedel, A.: A temporal terminological logic. In: Proc. of the AAAI 1990, pp. 640\u2013645 (1990)"},{"key":"3_CR11","unstructured":"Welty, C., Fikes, R., Makarios, S.: A Reusable Ontology for Fluents in OWL. In: Proc. of the International Conference on Formal Ontology in Information Systems, pp. 226\u2013236 (2006)"},{"key":"3_CR12","volume-title":"Temporalizing description logics, Frontiers of Combining Systems","author":"F. Wolter","year":"1999","unstructured":"Wolter, F., Zakharyaschev, M.: Temporalizing description logics, Frontiers of Combining Systems. Studies Press-Wiley, Chichester (1999)"},{"key":"3_CR13","unstructured":"W3C Working Draft, Time Ontology in OWL (2006), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-time"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89704-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T08:01:57Z","timestamp":1619510517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89704-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540897033","9783540897040"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89704-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}