2011 22nd International Workshop on Database and Expert Systems Applications (2011)
Aug. 29, 2011 to Sept. 2, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEXA.2011.46
Classical Logic has been used as a basis for knowledge representation and reasoning in many domains. Legal Knowledge Representation is interesting due to the natural occurrences of conflicts among law systems, individual laws and cases, usually taken as logical inconsistencies. Due to its inherently normative feature, coherence (consistency) in legal ontologies is more subtle than in other domains. An adequate intuitionistic semantics for negation in a legal domain comes to the fore when we consider laws as individuals instead of propositions. This paper presents a version of Intuitionistic Description Logic designed for legal knowledge representation. The paper discusses a logical coherence analysis of ``Conflict of Laws in Space'', using our logic, and briefly compares this analysis to other logical approaches to Legal Reasoning.
formal logic, inference mechanisms, ontologies (artificial intelligence)
E. H. Haeusler, V. d. Paiva and A. Rademaker, "Intuitionistic Description Logic and Legal Reasoning," 2011 22nd International Workshop on Database and Expert Systems Applications(DEXA), Toulouse, France, 2012, pp. 345-349.