Machine readable, actionable rules represent a precondition for developing advanced information services in the legal domain endowed with automatic reasoning facilities. In this talk we present an approach for legal knowledge representation and reasoning within a Semantic Web framework. It is based on the distinction between provisions and norms and it is able to provide reasoning facilities (like Hohfeldian reasoning) for advanced legal information retrieval and legal compliance checking for deontic norms. It is also shown how the approach can handle norm defeasibility. Such methodology is implemented with decidable fragments of OWL 2, while legal reasoning is implemented through available decidable reasoners.
CEUR