Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
Gerevini, A., Long, D.: Plan Constraints and Preferences in PDDL3. Technical report, R.T. 2005-08-47, Dipartimento di Elettronica per l’Automazione, Universitá degli Studi di Brescia (2005)
Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P., Kwasnikowska, N., Miles, S., Missier, P., Myers, J., Plale, B., Simmhan, Y., Stephan, E., den Bussche, J.V.: The Open Provenance Model core specification (v1.1). Future Generation Computer Systems (2010)
Zhao, J.: Open Provenance Model Vocabulary Specification (2010), http://purl.org/net/opmv/ns
Hitzler, P., Kroetzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language Primer. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-primer/
Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education Inc. (2003)
Cesta, A., Fratini, S.: The timeline representation framework as a planning and scheduling software development environment. In: 27th Workshop of the UK Planning and Scheduling SIG (2008)
Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: Developing an end-to-end planning application from a timeline representation framework. In: 21st Applications of Artificial Intelligence Conference (2009)
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
Harris, S., Seaborne, A.: SPARQL 1.1 Query Language. W3C Working Draft (2011), http://www.w3.org/TR/sparql11-query/
Knublauch, H.: SPIN Modeling Vocabulary (October 20, 2009), http://spinrdf.org/spin.html
Mccluskey, T.L., Porteous, J.: Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. Artificial Intelligence 95, 1–65 (2000)
Aldrich, C.: Simulations and the Future of Learning: An Innovative (and Perhaps Revolutionary) Approach to e-Learning. Pfeiffer (2003)
Bernardi, G., Cesta, A., Coraci, L., Cortellessa, G., De Benedictis, R., Mohier, F., Polutnik, J., Vuk, M.: Only Hope remains in the PANDORA’s.jar – Pervasive use of planning in a training environment. In: 21st International Conference on Automated Planning and Scheduling, System Demonstrations and Exhibits, Best Demo Award (2011)
Celino, I., Dell’Aglio, D.: A Linked Knowledge Base for Simulation Learning. In: Proceedings of the 1st International Workshop on eLearning Approaches for the Linked Data Age (Linked Learning 2011), co-located with the 8th Extended Semantic Web Conference, ESWC 2011 (2011)
Mizoguchi, R., Vanwelkenhuysen, J., Ikeda, M.: Task Ontology for Reuse of Problem Solving Knowledge. In: Towards Very Large Knowledge Bases, pp. 46–57. IOS Press (1995)
Gil, Y., Blythe, J.: Planet: A sharable and reusable ontology for representing plans. In: The AAAI - Workshop on Representational Issues for Real-World Planning Systems, pp. 28–33 (2000)
Rajpathak, D., Motta, E.: An ontological formalization of the planning task. In: International Conference on Formal Ontology in Information Systems (FOIS 2004), pp. 305–316 (2004)
Olivares, J.F., Onaindia, E. (eds.): Workshop on the Role of Ontologies in Planning and Scheduling, co-located with the 15th International Conference on Automated Planning and Scheduling, ICAPS 2005 (2005)
Celino, I., Dell’Aglio, D., De Benedictis, R., Grilli, S., Cesta, A.: Ontologies, rules and linked data to support crisis managers training. IEEE Learning Technology Newsletter, Special Issue Semantic Web Technologies for Technology Enhanced Learning 13(1) (2011)
Thiebaux, S., Hoffmann, J., Nebel, B.: In Defense of PDDL Axioms. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 961–968 (2003)
Della Valle, E., Ceri, S., van Harmelen, F., Fensel, D.: It’s a Streaming World! Reasoning upon Rapidly Changing Information. IEEE Intelligent Systems 24(6), 83–89 (2009)
Miles, S., Wong, S.C., Feng, W., Groth, P., Zauner, K.P., Moreau, L.: Provenance-based validation of e-science experiments. Journal of Web Semantics 5(1), 28–38 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Celino, I., Dell’Aglio, D. (2012). An Ontological Formulation and an OPM Profile for Causality in Planning Applications. In: Pan, J.Z., et al. The Semantic Web. JIST 2011. Lecture Notes in Computer Science, vol 7185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29923-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-29923-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29922-3
Online ISBN: 978-3-642-29923-0
eBook Packages: Computer ScienceComputer Science (R0)