ObjectPropertyDomain doesn't inherit from ObjectPropertyAxiom

Hello,

Looking into live-from-wiki.xsd
************************************************************
  <xsd:group name="ObjectPropertyAxiom">
    <xsd:choice>
      <xsd:element ref="owl:SubObjectPropertyOf"/>
      <xsd:element ref="owl:EquivalentObjectProperties"/>
      <xsd:element ref="owl:DisjointObjectProperties"/>
      <xsd:element ref="owl:InverseObjectProperties"/>
*      <xsd:element ref="owl:ObjectPropertyDomain"/>*
      <xsd:element ref="owl:ObjectPropertyRange"/>
      <xsd:element ref="owl:FunctionalObjectProperty"/>
      <xsd:element ref="owl:InverseFunctionalObjectProperty"/>
      <xsd:element ref="owl:ReflexiveObjectProperty"/>
      <xsd:element ref="owl:IrreflexiveObjectProperty"/>
      <xsd:element ref="owl:SymmetricObjectProperty"/>
      <xsd:element ref="owl:AsymmetricObjectProperty"/>
      <xsd:element ref="owl:TransitiveObjectProperty"/>
    </xsd:choice>
  </xsd:group>
************************************************************

At the same time it is defined as:
************************************************************
  <xsd:complexType name="ObjectPropertyDomain">
    <xsd:sequence>
      <xsd:group ref="owl:ObjectPropertyExpression"/>
      <xsd:group ref="owl:ClassExpression"/>
    </xsd:sequence>
  </xsd:complexType>
************************************************************
Should it be
************************************************************
  <xsd:complexType name="ObjectPropertyDomain">
    <xsd:complexContent>
      <xsd:extension base="owl:ObjectPropertyAxiom">
        <xsd:sequence>
          <xsd:group ref="owl:ObjectPropertyExpression"/>
          <xsd:group ref="owl:ClassExpression"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
************************************************************
instead?

Best regards,

Dmitry

Received on Thursday, 2 July 2009 16:03:26 UTC