Calendar body:
This half-day tutorial will explore the principles of the RuleML family of Web rule languages applied to the legal domain and discuss why, how, and when RuleML is well-suited for modeling norms. To provide a framework of reference, we will present a comprehensive list of requirements for devising rule interchange languages that capture the peculiarities of legal rule modeling in support of legal reasoning. Accordingly, LegalRuleML will be introduced on the basis of Naf Hornlog, First/Higher Order Logic, and Modal RuleML, extended by Temporal and Behavioral elements aligned with Complex Event Processing and Reaction RuleML. The tutorial will comprise syntactic, semantic, and pragmatic foundations, a LegalRuleML primer, a comparison with related OASIS efforts and other approaches, as well as use case examples involving conference policies and patent law.
