Issue 19421: 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:===== m: 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