dido:public:ra:xapend:xapend.b_stds:tech:omg:odm
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
dido:public:ra:xapend:xapend.b_stds:tech:omg:odm [2021/07/01 14:43] murphy |
dido:public:ra:xapend:xapend.b_stds:tech:omg:odm [2021/10/30 14:48] (current) nick |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== OMG: Ontology Definition Metamodel (ODM) ===== | ===== OMG: Ontology Definition Metamodel (ODM) ===== | ||
| - | [[dido:public:ra:xapend:xapend.b_stds:tech:omg| return to the OMG Standards ]] | + | [[dido:public:ra:xapend:xapend.b_stds:tech:omg:start| return to the OMG Standards ]] |
| <table> | <table> | ||
| Line 17: | Line 17: | ||
| ==== Scope ==== | ==== 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 | : //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, interoperability, and application of business semantics.// | + | 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:// | : //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.// | * //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.// | * //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 validation in ways that have not been feasible to date.// | + | * //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 Semantic Web technologies to support semantic web | + | * //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, ontology and policy-based communications and interoperability, and declarative, policy-based applications in general.// | + | 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 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 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:// | + | : //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,// | * //interchange of knowledge among heterogeneous computer systems,// | ||
| * //representation of knowledge in ontologies and knowledge bases,// | * //representation of knowledge in ontologies and knowledge bases,// | ||
dido/public/ra/xapend/xapend.b_stds/tech/omg/odm.1625164992.txt.gz · Last modified: 2021/07/01 14:43 by murphy
