Formal Aspects of Legislative Meta-Drafting

Authors:
Carlo Biagioli;Davide Grossi
Affiliations:
ITTIG, CNR, Italy;ICR, University of Luxembourg, Luxembourg
Venue:
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Year:
2008

Citing 3
Cited 4

Modal logic

Modal logic
The Description Logic Handbook

The Description Logic Handbook
Pushing the EL envelope

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

The LME project: legislative metadata based on semantic formal models

International Journal of Metadata, Semantics and Ontologies
Model regularity of legal language in active modifications

AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Modelling semantic profiles in legislative documents for enhanced norm accessibility

Proceedings of the 13th International Conference on Artificial Intelligence and Law
Axioms on a semantic model for legislation for accessing and reasoning over normative provisions

AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Such meta-data are then formalized using a simple and tractable Description Logic, and the reasoning tasks available in the formalism are described.