Actions representation and reasoning in ontology languages Integrating Description Logics and Action Formalities: First Results.

Overview of the problem Descriptive action formalism based on Situation Calculus (SitCalc) to support reasoning. Motive of this action formalism is to analysis that how the choice of DL influence the reasoning task. Executability problem: determine whether a given sequence of ground actions is possible to be executed starting from the initial situation. Projection problem: determine whether a given goal G is satisfiable after executing a sequence of ground actions starting from the initial situation