In this paper, we propose an ontological formulation of the planning domain and its OWL 2 formalization. The proposed metamodel conceptualizes planning rules and actions and the causality between them. We also show that our planning metamodel can be seen as a relevant scenario of the Open Provenance Model (OPM) and we define our planning OPM profile. This ontological representation is then exploited to define automated means for the verification of correctness and consistency of a planning domain model. We claim that Semantic Web technologies can provide an effective solution to this important - and often underestimated - problem for planning applications. © 2012 Springer-Verlag.
CITATION STYLE
Celino, I., & Dell’Aglio, D. (2012). An ontological formulation and an OPM profile for causality in planning applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7185 LNCS, pp. 128–143). https://doi.org/10.1007/978-3-642-29923-0_9
Mendeley helps you to discover research relevant for your work.