DIDO Wiki

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
===== OMG: Ontology Definition Metamodel (ODM) =====
[[dido:public:ra:xapend:xapend.b_stds:tech:omg:start| return to the OMG Standards ]]

<table>
<caption>Data sheet for Ontology Definition Metamodel</caption>
| Title                      | Ontology Definition Metamodel  |
| Acronym                    | ODM |
| Version                    | 1.1 |
| OMG Document Number        | formal/14-09-02  |
| Release Date               | September 2014  |
| About Specification        | [[https://www.omg.org/spec/ODM/]] |
| Document                   | [[https://www.omg.org/spec/ODM/1.1/PDF]]|
</table>

  : **Note**: The following is an excerpt from the actual document. It is provided here as a convenience and is not authoritative. Refer to the original document as the authoritative reference.

==== Scope ====
  : //The authors believe that this specification represents the foundation for an extremely important set of enabling capabilities for Model Driven Architecture (MDA) based software engineering, namely the formal grounding for
representation, management, [[dido:public:ra:xapend:xapend.a_glossary:i:interoperability|interoperability]], and [[dido:public:ra:xapend:xapend.a_glossary:a:application|application]] of business semantics.//

  : //The ODM specification offers a number of benefits to potential users, including://
    * //Options in the level of expressivity, complexity, and form available for designing and implementing conceptual models, ranging from familiar UML and ER methodologies to formal ontologies represented in description logics or first order logic.//
    * //Grounding in formal logic, through standards-based, model-theoretic semantics for the knowledge representation languages supported, sufficient to enable reasoning engines to understand, validate, and apply ontologies developed using the ODM.//
    * //Profiles and mappings sufficient to support not only the exchange of models developed independently in various formalisms but to enable consistency checking and [[dido:public:ra:xapend:xapend.a_glossary:v:validation|validation]] in ways that have not been feasible to date.//
    * //The basis for a family of specifications that marry MDA and [[dido:public:ra:xapend:xapend.a_glossary:s:semantic_web|Semantic Web]] technologies to support semantic web
services, [[dido:public:ra:xapend:xapend.a_glossary:o:ontology|ontology]] and [[dido:public:ra:xapend:xapend.a_glossary:p:policy|policy]]-based communications and interoperability, and [[dido:public:ra:xapend:xapend.a_glossary:d:declarative | declarative]], policy-based applications in general.//

  : //The specification defines a family of independent metamodels, related profiles, and mappings among the metamodels corresponding to several international standards for ontology and Topic Maps definition, as well as capabilities supporting conventional modeling paradigms for capturing conceptual knowledge, such as entity-relationship modeling.//

  : //The ODM is applicable to knowledge representation, conceptual modeling, formal [[dido:public:ra:xapend:xapend.a_glossary:t:taxonomy|taxonomy]] development and ontology definition, and enables the use of a variety of enterprise models as starting points for ontology development through mappings to UML and MOF. ODM-based ontologies can be used to support://
    * //interchange of knowledge among heterogeneous computer systems,//
    * //representation of knowledge in ontologies and knowledge bases,//
    * //specification of expressions that are the input to or output from inference engines.
The ODM is not intended to encompass//
    * //specification of proof theory or inference rules,
    * //specification of translation and transformations between the notations used by heterogeneous computer systems,//
    * //free logics,//
    * //conditional logics,//
    * //methods of providing relationships between symbols in the logical “universe” and individuals in the “real world,”//
    * //issues related to computability using the knowledge representation formalisms represented in the ODM (e.g.,
optimization, efficiency, tractability, etc.).//

/**=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
/* To add a discussion page to this page, comment out the line that says 
  ~~DISCUSSION:off~~
*/
~~DISCUSSION:on|Outstanding Issues~~
~~DISCUSSION:off~~
DIDO Wiki

User Tools

Site Tools

Page Tools
