1 / 17

LegalRuleML Metamodel

LegalRuleML Metamodel. Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner July 13, 2013 RuleML 2013 7th International Web Rule Symposium, Seattle. Contents. Purpose of Metamodel Role of Metamodel in LegalRuleML Design Process ER Diagrams of Metamodel.

gizela
Télécharger la présentation

LegalRuleML Metamodel

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. LegalRuleML Metamodel Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner July 13, 2013 RuleML 2013 7th International Web Rule Symposium, Seattle

  2. Contents • Purpose of Metamodel • Role of Metamodel in LegalRuleML Design Process • ER Diagrams of Metamodel

  3. Purpose of Metamodel • Provide partial semantics by transformation • LegalRuleML → RDF • Establish connections to external ontologies • Dublin Core • FRBR • RDF/RDFS • RuleML Metamodel • Essential Component of LegalRuleML Language Design Process • Language design by committee is challenging • Semantics is a better starting point than syntax

  4. LegalRuleML's Cyclic Language Design Process • Legal Source Examples • LegalRuleML Metamodel as RDFS Schema • RDF Instances based on Metamodel • LegalRuleML Instances from RDF/XML • XML Schemas Validating Against Instances • Glossary of XML Elements and Attributes • Repeat

  5. LegalRuleML Metamodel as RDFS Schema • rdfs:Class • Names for classes of entities • Following RDF(S) conventions, UpperCamelCase • rdfs:subClassOf hierarchy • Connections to external ontologies • rdf:Property • Names for dyadic relations between entities • Following RDF(S) conventions, lowerCamelCase • rdfs:domain, rdfs:range • rdfs:subPropertyOf hierarchy • Connections to external ontologies • rdfs:comment • Natural language definitions of classes and properties

  6. RDF Instances based on Metamodel • Simplified Samples Extracted from Legal Sources • Compactification • Start with Unnested Triples in any RDF format • Nest in Tree Structure using RDF/XML abbreviations to eliminate explicit blank nodes

  7. LegalRuleML Instances from RDF/XML • Produced by semi-standardized invertible manual transformation • Design Principles • Striping • Fully-striped normal form • Alternating Node (rdfs:Class) element and edge (rdf:Property) element • One child per edge • Compact form with redundant stripes removed (stripe-skipping) • Renaming - shorter element and attribute names, still human readable • <Node>Collection → <Nodes> • Node-skipping • Nodes always appearing as blank nodes may be skipped provided no type information is lost • Leaf Stripes • Nodes that often have no content may optionally be skipped, leading to a “leaf-stripe”, provided no type information is lost • Attributes • Can lead to more compact syntax • May inhibit extensibility • Only used if with high confidence • relation will never have cardinality >1 • Object will never be complex (be the Subject of additional triples in the graph) • Literal Object always has a unique specified datatype

  8. XML Schemas Validating Against Instances • Modular Relax NG schemas • Customization by selection of a subset of the modules • Extension by including additional modules • Generated Monolithic XSD schemas • Schema Validation using various engines (Saxon EE, XMLSpy, …) • Instance Validation as Requirements Testing

  9. Glossary of XML Elements and Attributes • Definitions for XML elements and attributes • Synchronization with natural language comments in RDFS metamodel • Initiates update of metamodel

  10. Upper Metamodel (Classes)

  11. Upper Metamodel (Properties)

  12. Context Metamodel

  13. Statement Metamodel

  14. Defeasible Metamodel

  15. Metadata Metamodel

  16. Legal Temporal Metamodel

  17. Deontic Metamodel

More Related