{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T11:26:40Z","timestamp":1748950000488},"reference-count":11,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Semantic Computing"],"published-print":{"date-parts":[[2014,3]]},"abstract":"<jats:p> The ramification problem in Artificial Intelligence is concerned with the indirect effects of an action. It has been shown in previous work that the ramification problem can be solved with the use of integrity constraints and actions representation. In this paper we begin with a quick review of the existing Description Logic Languages, and then we describe a Temporal Extension of Description Logics, able to represent integrity constraints, temporalized actions and non persistent effects. We describe a thorough solution to the ramification problem in Temporal Settings expressed in Temporal Description Logics. The solution also deals with the hard case, in which the effects of an action change the belief about the past. <\/jats:p>","DOI":"10.1142\/s1793351x14500019","type":"journal-article","created":{"date-parts":[[2014,7,15]],"date-time":"2014-07-15T01:16:03Z","timestamp":1405386963000},"page":"1-46","source":"Crossref","is-referenced-by-count":1,"title":["A Solution to the Ramification Problem Expressed in Temporal Description Logics"],"prefix":"10.1142","volume":"08","author":[{"given":"Nikos","family":"Papadakis","sequence":"first","affiliation":[{"name":"Department of Informatics Engineering, Technological Educational Institute of Crete, P. O. Box 1939, GR 710 04 Iraklio, Crete, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Polydoros","family":"Petrakis","sequence":"additional","affiliation":[{"name":"Department of Informatics Engineering, Technological Educational Institute of Crete, P. O. Box 1939, GR 710 04 Iraklio, Crete, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Crete, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charalampos","family":"Manifavas","sequence":"additional","affiliation":[{"name":"Department of Informatics Engineering, Technological Educational Institute of Crete, P. O. Box 1939, GR 710 04 Iraklio, Crete, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,7,14]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.5.531"},{"key":"rf2","first-page":"463","volume":"9","author":"Artale A.","year":"1998","journal-title":"J. Artif. Int. Res."},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016636131405"},{"key":"rf6","unstructured":"F.\u00a0Baader and W.\u00a0Nutt, The Description Logic Handbook: Theory, Implementation, and Applications (2003)\u00a0pp. 43\u201395."},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50025-4"},{"key":"rf8","first-page":"1","volume":"81","author":"Franconi E.","year":"2003","journal-title":"Description Logics"},{"key":"rf10","volume":"95","author":"McCain N.","year":"1995","journal-title":"IJCIA"},{"key":"rf11","first-page":"463","volume":"4","author":"McCarthy J.","year":"1969","journal-title":"Machine Intelligence"},{"key":"rf13","unstructured":"D.\u00a0Nardi and R. J.\u00a0Brachman, Description Logic Handbook (2003)\u00a0pp. 1\u201340."},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.09.003"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-010-0143-2"}],"container-title":["International Journal of Semantic Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793351X14500019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T14:03:46Z","timestamp":1565186626000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793351X14500019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":11,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2014,7,14]]},"published-print":{"date-parts":[[2014,3]]}},"alternative-id":["10.1142\/S1793351X14500019"],"URL":"https:\/\/doi.org\/10.1142\/s1793351x14500019","relation":{},"ISSN":["1793-351X","1793-7108"],"issn-type":[{"value":"1793-351X","type":"print"},{"value":"1793-7108","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}