Patterns for legal compliance checking in a decidable framework of linked open data
Enrico Francesconi, Guido Governatori
Abstract
Abstract This paper presents an approach for legal compliance checking in the Semantic Web which can be effectively applied for applications in the Linked Open Data environment. It is based on modeling deontic norms in terms of ontology classes and ontology property restrictions. It is also shown how this approach can handle norm defeasibility. Such methodology is implemented by decidable fragments of OWL 2, while legal reasoning is carried out by available decidable reasoners. The approach is generalised by presenting patterns for modeling deontic norms and norms compliance checking.
Topics & Concepts
Deontic logicDecidabilityComputer scienceDefeasible reasoningOntologyModel checkingSemantic WebWeb Ontology LanguageLegal aspects of computingCompliance (psychology)Norm (philosophy)Theoretical computer scienceProgramming languageArtificial intelligenceLawWorld Wide WebThe InternetLinguisticsEpistemologyPolitical scienceSocial psychologyPsychologyPhilosophyMulti-Agent Systems and NegotiationSemantic Web and OntologiesBusiness Process Modeling and Analysis