An Ontological Formulation and an OPM Profile for Causality in Planning Applications

  • Irene Celino
  • Daniele Dell’Aglio
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7185)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)MATHCrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Zhao, J.: Open Provenance Model Vocabulary Specification (2010), http://purl.org/net/opmv/ns
  5. 5.
    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/
  6. 6.
    Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education Inc. (2003)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)MATHCrossRefGoogle Scholar
  10. 10.
    Harris, S., Seaborne, A.: SPARQL 1.1 Query Language. W3C Working Draft (2011), http://www.w3.org/TR/sparql11-query/
  11. 11.
    Knublauch, H.: SPIN Modeling Vocabulary (October 20, 2009), http://spinrdf.org/spin.html
  12. 12.
    Mccluskey, T.L., Porteous, J.: Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. Artificial Intelligence 95, 1–65 (2000)CrossRefGoogle Scholar
  13. 13.
    Aldrich, C.: Simulations and the Future of Learning: An Innovative (and Perhaps Revolutionary) Approach to e-Learning. Pfeiffer (2003)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    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)CrossRefGoogle Scholar
  23. 23.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Irene Celino
    • 1
  • Daniele Dell’Aglio
    • 1
  1. 1.CEFRIEL – Politecnico of MilanoMilanoItaly

Personalised recommendations