Ontology and Java code described in the paper:
Nicoletta Fornara and Marco Colombetti..
Ontology and Time Evolution of Obligations and Prohibitions using Semantic Web Technology
In Proceedings of the Workshop on Declarative Agent Languages and Technologies DALT@AAMAS09,
Budapest, Hungary, 11 May 2009.
The ontology described in the paper with the all the individuals described in the example is created with Protege 4.0 beta, SWRL rules has been manually edited with a text editor.
Format:
- RDF/XML TemporalPropEvent.owl
- Latex (compiled to pdf) OntologyDALT09.pdf
Java code that uses OWL-API to update the ontology ABox.
Output of the simulation of the evolution of the state of the system as described in the example.
Dr. Nicoletta Fornara, PhD
Università della Svizzera Italiana USI (University of Lugano),
Faculty of Communication Sciences
Via Giuseppe Buffi, 13, 6900 Lugano, Switzerland, room 216
Tel +41 (0)58 666 45 13
nicoletta.fornara AT usi DOT ch
