1 / 8

Issue 134 Metamodel for OWL 2

Issue 134 Metamodel for OWL 2. Peter Haase, Elisa Kendall, Boris Motik, Evan Wallace. Current Structural Specification. Comes with set of UML diagrams Intended to be compatible with MOF. MOF Metamodel for More Preciseness. Precise definition of structural specification

acton
Download Presentation

Issue 134 Metamodel for OWL 2

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. Issue 134Metamodel for OWL 2 Peter Haase, Elisa Kendall, Boris Motik, Evan Wallace

  2. Current Structural Specification • Comes with set of UML diagrams • Intended to be compatible with MOF

  3. MOF Metamodel for More Preciseness • Precise definition of structural specification • Example: Declaration rules • Formal definition of structural consistency possible • Lack of such a specification lead to a lot of confusion in OWL 1

  4. Advantages of a MOF Metamodel for OWL 2 • More preciseness in the structural specification (via OCL constraints) • Machine-processable serialization of the specification • Reuse of existing MOF tooling • E.g. automated generation of APIs, editors, etc. • Possibility of specifying UML Profiles (visual syntax for ontologies)

  5. UML Diagram of MOF Metamodel Integrity constraint: self.versionURI != 0 impliesself.ontologyURI != 0

  6. Metamodel Tooling

  7. Concrete Proposal • Make the use of MOF for the structural specification explicit by: • stating that the UML diagrams in the Structural Syntax document are consistent with a MOF compliant specification of the structural syntax • potentially adding a machine-readable serialization and high-level documentation of a MOF metamodel for OWL 2 as an additional document

  8. Possible Future Work within ODM WG of the OMG • Normative definition of OWL 2 metamodel, including • Extended descriptions of the metamodel • Provision of UML profiles • Alignment with other (existing) metamodels • Alignment will be easier if structural specification of OWL 2 already provided as metamodel • The OMG ODM WG therefore supports the definition of a first metamodel within the W3C OWL WG

More Related