Date: Fri, 29 Mar 2024 11:55:00 +0100 (CET) Message-ID: <916848909.1946.1711709700074@nm-docs> Subject: Exported From Confluence MIME-Version: 1.0 Content-Type: multipart/related; boundary="----=_Part_1945_987105488.1711709700074" ------=_Part_1945_987105488.1711709700074 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Location: file:///C:/exported.html
Ontologies are commonly encoded using ontology languages. OWL (Web Ontol= ogy Language), produced by the W3C Web Ontology Working Group, is one of th= e formal languages to construct ontologies. It is an international standard= for encoding and sharing ontologies and is designed to support the Semanti= c Web. An OWL ontology may include classes, relations, attributes, formal a= xioms, and instances. OWL can be used to build most kinds of ontologies. Th= e Concept Modeler maps to a subset of the OWL. The following are some examp= les of what you can do with OWL ontologies using the Concept Modeler:
A semantic reasoner infers logical consequences from a set of asserted a= xioms in an ontology, and typically provides automated support for reasonin= g tasks such as classification and querying. The inferences made by a seman= tic reasoner over an ontology generated by the Concept Modeler can be used = to find logical inconsistencies in the primary concept model. Hence, a sema= ntic reasoner can provide information to validate and improve a concept mod= el.
The logical consistency of a concept model is particularly important if = the desired result is a system that classifies information. As stated above= , the inferences made by a semantic reasoner can help to ensure that the co= ncept model is logically consistent in its classification.
The Concept Modeler maps to a subset of OWL that is most useful to the b= usiness purposes of defining a concept model. Consequently, any attempt to = =E2=80=9Cround trip,=E2=80=9D (i.e., re-import a possibly modified ontology= model that has been exported by the concept model) is very likely to be = =E2=80=9Clossy=E2=80=9D, particularly if the ontology generated from a conc= ept model is augmented by additional axioms not supported by the Concept Mo= deler. Therefore, as a prime tenet of MDA, the concept model is considered = to be the =E2=80=9Cprimary=E2=80=9D artifact, and the ontology is the =E2= =80=9Csecondary=E2=80=9D artifact. Business concept development and changes= must be made in the concept model.
Related pages