Reasoning About Actions with Description Logics


In this paper we will show that a recently proposed method for ABox updates in Description Logics can be given a Fluent Calculus semantics. This allows the usage of Description Logic ABoxes as decidable state descriptions. We discuss some natural extensions of the method and the arising issues. Finally, we present an action programming language implementing… (More)


2 Figures and Tables

Cite this paper

@inproceedings{Drescher2006ReasoningAA, title={Reasoning About Actions with Description Logics}, author={Conrad Drescher and Michael Thielscher}, year={2006} }