{"type":"ScholarlyArticle","title":"On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies","authors":[{"name":"Diego Calvanese","slug":"diego-calvanese","given":"Diego","family":"Calvanese","affiliation":""},{"name":"Giuseppe De Giacomo","slug":"giuseppe-de-giacomo","given":"Giuseppe","family":"De Giacomo","affiliation":""},{"name":"Mikhail Soutchanski","slug":"mikhail-soutchanski","given":"Mikhail","family":"Soutchanski","affiliation":""}],"abstract":"In this paper we investigate situation calculus action theories extended with ontologies, expressed as description logics TBoxes that act as state constraints. We show that this combination, while natural and desirable, is particularly problematic: it leads to undecidability of the simplest form of reasoning, namely satisfiability, even for the simplest kinds of description logics and the simplest kind of situation calculus action theories.","doi":null,"url":"https://ijcai.org/proceedings/2015/402","pdf":"https://ijcai.org/proceedings/2015/0402.pdf","markdown":"https://ijcai.org/proceedings/2015/402.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/402","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":402,"pages":{"first":2840,"last":2845},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}