Engineering and compiling planning domain models to promote validity and efficiency
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Simulations and the Future of Learning: An Innovative (and Perhaps Revolutionary) Approach to e-Learning
Provenance-based validation of e-science experiments
Web Semantics: Science, Services and Agents on the World Wide Web
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
It's a Streaming World! Reasoning upon Rapidly Changing Information
IEEE Intelligent Systems
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
Linking knowledge for simulation learning
ESWC'11 Proceedings of the 8th international conference on The Semantic Web
Hi-index | 0.00 |
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.