Copyright © 2006-2008 by the Authors. This document is available under the W3C Document License. See the W3C Intellectual Rights Notice and Legal Disclaimers for additional information.
OWL 1.1 extends the W3C OWL Web Ontology Language with a small but useful set of features that have been requested by users, for which effective reasoning algorithms are now available, and that OWL tool developers are willing to support. The new features include extra syntactic sugar, additional property and qualified cardinality constructors, extended datatype support, simple metamodelling, and extended annotations. This document provides a Metamodel for OWL 1.1 based on the Meta Object Facility.
This is an editor's draft, for comment by the OWL community.
A metamodel built on the Meta Object Facility [MOF] accompanies the OWL 1.1 specifications [OWL 1.1 Specification] and brings several benefits. Firstly, standardized mappings of the MOF to specific target languages or formats can be used to automatically build concrete representations. For example, a Java API can be derived using the MOF-Java mapping directly from the metamodel. Moreover, we can utilize MDA’s support in modeling tools, model management and interoperability with other MOF-defined metamodels.
Language mappings, also called groundings, define the relationship with the particular formalism OWL 1.1 and provide the semantics for the metamodel. Furthermore, the extensibility capabilities of MOF allow to add new modules, e.g. for rules, to the metamodel if required in the future.
A UML profile next to this metamodel can employ the extensibility features of UML2 to allow a visual notation for the modeling of ontologies for folks familiar with UML. Leveraging UML for this purpose is a first step towards a model driven approach for modeling and implementing ontologies. The validity of instances of the metamodel is ensured through various OCL constraints.
Since the ongoing standardization work for an Ontology Definition Metamodel at the Object Management Group (OMG) is specified for OWL and built on a metamodel for RDF(S), a specific metamodel specification for the new version of OWL is needed.
We provide the metamodel in Ecore, which is the MOF-like core metamodel in the Eclipse Modeling Framework [EMF]. The file is available for download here.
A prototype implementation of the MOF-based OWL 1.1 metamodel can be found here.