Ontology and time evolution of obligations and prohibitions using semantic web technology

DOI10.1007/978-3-642-11355-0_7zbMATH Open1274.68579OpenAlexW1890315360MaRDI QIDQ3402242FDOQ3402242

Authors: Nicoletta Fornara, Marco Colombetti 

Publication date: 2 February 2010

Published in: Declarative Agent Languages and Technologies VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11355-0_7

Recommendations

• Representation and monitoring of commitments and norms using OWL
• Social commitments in time: satisfied or compensated
• Obligations with deadlines: a formalization in dynamic deontic logic
• Temporal Reasoning over Deontic Specifications
• Publication:4938870

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cited In (2)

• Representation and monitoring of commitments and norms using OWL
• The uses of norms

Uses Software

• Pellet
• swrl

This page was built for publication: Ontology and time evolution of obligations and prohibitions using semantic web technology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3402242)