Mixing Legal and Non-legal Norms
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
BestPortal: Lessons Learned in Lightweight Semantic Access to Court Proceedings
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
An Ontology for the Implementation of the EU Services Directive
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Case Frames as Contextual Mappings to Case Law in BestPortal
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Towards checking laws' consistency through ontology design: the case of Brazilian vehicles' laws
Journal of Theoretical and Applied Electronic Commerce Research
Hi-index | 0.00 |
In this paper we describe HARNESS, a legal knowledge-based system that is developed in the context of ESTRELLA. This system is primarily aimed at the task of legal assessment, i.e. determining whether some case violates and/or complies with legal norms. We explain how the sound and complete reasoning provided by OWL-DL reasoners is exploited by a careful representation of norms, using examples from law on taxation of gifts. We describe a plugin for Protégé 4 that enables easy experimentation for this system, powered by Pellet.