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

DOI10.1007/978-3-642-11355-0_7MaRDI QIDQ3402242zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

Describes a project that uses

Uses Software

• swrl
• Pellet

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)