Issue 19416: Representation of Axioms (odm-rtf) Source: Adaptive (Mr. Pete Rivett, pete.rivett(at)adaptive.com) Nature: Uncategorized Issue Severity: Summary: Representation of Axioms OWL2 uses Axioms to represent several capabilities, whereas ODM has them either as binary associations or not at all. In OWL these axioms are represented as a blank node so should have a metamodel element: that is necessary to allow the statement itself to be associated with an ontology/document. ODM has OWLAllDifferent which inherits from OWLClass which does not make sense. In the metamodel there should be a top level class representing Axiom with the following subclasses: - DifferentIndividuals (replaces association DifferentIndividual and class OWLAllDifferent) - SameIndividual (replaces association SameIndividual) - EquivalentClass (replaces association EquivalentClass) - DisjointClasses (replaces association DisjointClass) - EquivalentProperty(replaces association EquivalentProperty) - DisjointProperties (new) Resolution: Revised Text: Actions taken: May 14, 2014: received issue Discussion: End of Annotations:===== iler: QUALCOMM Windows Eudora Version 7.1.0.9 Date: Thu, 15 May 2014 13:42:27 -0400 To: "issues@omg.org" , odm-rtf@omg.org From: Juergen Boldt Subject: issue 19416 -- ODM RTF issue X-Virus-Scanned: amavisd-new at omg.org From: Pete Rivett To: "issues@omg.org" CC: "Elisa Kendall (ekendall@thematix.com)" Subject: Issue on ODM 1.1 Thread-Topic: Issue on ODM 1.1 Thread-Index: Ac9vwPTPq095CGyGSDanDI9My9MDSw== Date: Wed, 14 May 2014 23:40:21 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [68.106.72.218] X-Virus-Scanned: amavisd-new at omg.org Representation of Axioms OWL2 uses Axioms to represent several capabilities, whereas ODM has them either as binary associations or not at all. In OWL these axioms are represented as a blank node so should have a metamodel element: that is necessary to allow the statement itself to be associated with an ontology/document. ODM has OWLAllDifferent which inherits from OWLClass which does not make sense. In the metamodel there should be a top level class representing Axiom with the following subclasses: - DifferentIndividuals (replaces association DifferentIndividual and class OWLAllDifferent) - SameIndividual (replaces association SameIndividual) - EquivalentClass (replaces association EquivalentClass) - DisjointClasses (replaces association DisjointClass) - EquivalentProperty(replaces association EquivalentProperty) - DisjointProperties (new) Pete Rivett (pete.rivett@adaptive.com ) CTO, Adaptive Inc 9861 Irvine Center Drive Suite 200, Irvine, CA 92618 cell: +1 949 338 3794 Follow me on Twitter @rivettp or http://twitter.com/rivettp Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: +1 (781) 444 0404 x 132 fax: +1 (781) 444 0320 www.omg.org []