Schema schema.xsd


schema location:  D:\Dev\owl\schema.xsd
targetNamespace:  http://www.owl.org/owl
 
Elements  Complex types  Simple types 
ontology  Class  classID 
ClassAxiom  dataPropertyID 
ClassReference  datatypeID 
DataPropertyAxiom  individualID 
DataPropertyReference  individualPropertyID 
DataPropertyValueType 
DataRange 
DataRestrictionType 
Datatype 
Datavalues 
Descriptions 
DescriptionType 
Enumeration 
Fact 
IncludeType 
IndividualPropertyAxiom 
IndividualPropertyReference 
IndividualPropertyValueType 
IndividualReference 
IndividualReferences 
IndividualRestrictionType 
Individuals 
OntologyType 
Properties 
PropertyReference 
PropertyValue 
RestrictionType 
SingleDescription 
SubClassOfType 
SubPropertyOfType 


element ontology
diagram
namespace http://www.owl.org/owl
type owl:OntologyType
children Include EquivalentClass SubClass EnumeratedClass DisjointClasses EquivalentClasses SubClassOf DataProperty IndividualProperty EquivalentProperties SubPropertyOf Individual SameIndividual DifferentIndividuals
attributes
Name  Type  Use  Default  Fixed  Annotation
ID  xsd:QName        
source 
<xsd:element name="ontology" type="owl:OntologyType"/>

complexType Class
diagram
namespace http://www.owl.org/owl
used by
elements DescriptionType/Class SingleDescription/class
attributes
Name  Type  Use  Default  Fixed  Annotation
ID  owl:classID  required      
source 
<xsd:complexType name="Class">
  <xsd:attribute name="ID" type="owl:classID" use="required"/>
  <!-- This is what is wanted, where owlrdf defines ID appropriately
	  <xsd:attribute ref="owlrdf:ID" use="required"/>
       This does't seem to work in Topologi so we'll have to use owl:ID.
       The other uses of ID and resource should be treated similarly.
  -->
</xsd:complexType>

complexType ClassAxiom
diagram
namespace http://www.owl.org/owl
children super restriction description
used by
elements OntologyType/EquivalentClass OntologyType/SubClass
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
source 
<xsd:complexType name="ClassAxiom">
  <xsd:sequence minOccurs="0" maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="super" type="owl:ClassReference"/>
      <xsd:element name="restriction" type="owl:RestrictionType"/>
      <xsd:element name="description" type="owl:DescriptionType"/>
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="name" type="xsd:QName" use="required"/>
  <!-- RDF description -->
</xsd:complexType>

element ClassAxiom/super
diagram
namespace http://www.owl.org/owl
type owl:ClassReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:classID  required      
source 
<xsd:element name="super" type="owl:ClassReference"/>

element ClassAxiom/restriction
diagram
namespace http://www.owl.org/owl
type owl:RestrictionType
children DataRestriction IndividualRestriction
source 
<xsd:element name="restriction" type="owl:RestrictionType"/>

element ClassAxiom/description
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="description" type="owl:DescriptionType"/>

complexType ClassReference
diagram
namespace http://www.owl.org/owl
used by
elements Descriptions/class ClassAxiom/super Fact/type
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:classID  required      
source 
<xsd:complexType name="ClassReference">
  <xsd:attribute name="resource" type="owl:classID" use="required"/>
</xsd:complexType>

complexType DataPropertyAxiom
diagram
namespace http://www.owl.org/owl
children super domain range
used by
element OntologyType/DataProperty
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
functional  xsd:boolean        
source 
<xsd:complexType name="DataPropertyAxiom">
  <xsd:sequence minOccurs="0" maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="super" type="owl:DataPropertyReference"/>
      <xsd:element name="domain" type="owl:DescriptionType"/>
      <xsd:element name="range" type="owl:DataRange"/>
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="name" type="xsd:QName" use="required"/>
  <xsd:attribute name="functional" type="xsd:boolean"/>
  <!-- RDF description -->
</xsd:complexType>

element DataPropertyAxiom/super
diagram
namespace http://www.owl.org/owl
type owl:DataPropertyReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:dataPropertyID  required      
source 
<xsd:element name="super" type="owl:DataPropertyReference"/>

element DataPropertyAxiom/domain
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="domain" type="owl:DescriptionType"/>

element DataPropertyAxiom/range
diagram
namespace http://www.owl.org/owl
type owl:DataRange
children DataType OneOf
source 
<xsd:element name="range" type="owl:DataRange"/>

complexType DataPropertyReference
diagram
namespace http://www.owl.org/owl
used by
element DataPropertyAxiom/super
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:dataPropertyID  required      
source 
<xsd:complexType name="DataPropertyReference">
  <xsd:attribute name="resource" type="owl:dataPropertyID" use="required"/>
</xsd:complexType>

complexType DataPropertyValueType
diagram
namespace http://www.owl.org/owl
children value
used by
element PropertyValue/DataPropertyValue
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:dataPropertyID  required      
source 
<xsd:complexType name="DataPropertyValueType">
  <xsd:sequence>
    <xsd:element name="value" type="xsd:anySimpleType"/>
  </xsd:sequence>
  <xsd:attribute name="property" type="owl:dataPropertyID" use="required"/>
  <!-- RDF description -->
</xsd:complexType>

element DataPropertyValueType/value
diagram
namespace http://www.owl.org/owl
type xsd:anySimpleType
source 
<xsd:element name="value" type="xsd:anySimpleType"/>

complexType DataRange
diagram
namespace http://www.owl.org/owl
children DataType OneOf
used by
elements DataPropertyAxiom/range DataRestrictionType/range DataRestrictionType/required
source 
<xsd:complexType name="DataRange">
  <xsd:choice>
    <xsd:element name="DataType" type="owl:Datatype"/>
    <xsd:element name="OneOf" type="owl:Datavalues"/>
  </xsd:choice>
  <!-- RDF property -->
</xsd:complexType>

element DataRange/DataType
diagram
namespace http://www.owl.org/owl
type owl:Datatype
attributes
Name  Type  Use  Default  Fixed  Annotation
ID  owl:datatypeID  required      
source 
<xsd:element name="DataType" type="owl:Datatype"/>

element DataRange/OneOf
diagram
namespace http://www.owl.org/owl
type owl:Datavalues
children member
source 
<xsd:element name="OneOf" type="owl:Datavalues"/>

complexType DataRestrictionType
diagram
namespace http://www.owl.org/owl
children range required value
used by
elements RestrictionType/DataRestriction DescriptionType/DataRestriction
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:dataPropertyID  required      
atleast  xsd:positiveInteger        
atmost  xsd:nonNegativeInteger        
exactly  xsd:nonNegativeInteger        
source 
<xsd:complexType name="DataRestrictionType">
  <xsd:sequence minOccurs="0" maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="range" type="owl:DataRange"/>
      <xsd:element name="required" type="owl:DataRange"/>
      <xsd:element name="value" type="xsd:anySimpleType"/>
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="property" type="owl:dataPropertyID" use="required"/>
  <xsd:attribute name="atleast" type="xsd:positiveInteger"/>
  <xsd:attribute name="atmost" type="xsd:nonNegativeInteger"/>
  <xsd:attribute name="exactly" type="xsd:nonNegativeInteger"/>
  <!-- RDF descr. -->
</xsd:complexType>

element DataRestrictionType/range
diagram
namespace http://www.owl.org/owl
type owl:DataRange
children DataType OneOf
source 
<xsd:element name="range" type="owl:DataRange"/>

element DataRestrictionType/required
diagram
namespace http://www.owl.org/owl
type owl:DataRange
children DataType OneOf
source 
<xsd:element name="required" type="owl:DataRange"/>

element DataRestrictionType/value
diagram
namespace http://www.owl.org/owl
type xsd:anySimpleType
source 
<xsd:element name="value" type="xsd:anySimpleType"/>

complexType Datatype
diagram
namespace http://www.owl.org/owl
used by
element DataRange/DataType
attributes
Name  Type  Use  Default  Fixed  Annotation
ID  owl:datatypeID  required      
source 
<xsd:complexType name="Datatype">
  <xsd:attribute name="ID" type="owl:datatypeID" use="required"/>
</xsd:complexType>

complexType Datavalues
diagram
namespace http://www.owl.org/owl
children member
used by
element DataRange/OneOf
source 
<xsd:complexType name="Datavalues">
  <xsd:sequence>
    <xsd:element name="member" type="xsd:anySimpleType" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
  <!-- RDF description -->
</xsd:complexType>

element Datavalues/member
diagram
namespace http://www.owl.org/owl
type xsd:anySimpleType
source 
<xsd:element name="member" type="xsd:anySimpleType" minOccurs="0" maxOccurs="unbounded"/>

complexType Descriptions
diagram
namespace http://www.owl.org/owl
children class description
used by
elements DescriptionType/And OntologyType/DisjointClasses OntologyType/EquivalentClasses DescriptionType/Or
source 
<xsd:complexType name="Descriptions">
  <xsd:sequence maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="class" type="owl:ClassReference"/>
      <xsd:element name="description" type="owl:DescriptionType"/>
    </xsd:choice>
  </xsd:sequence>
  <!-- RDF description -->
</xsd:complexType>

element Descriptions/class
diagram
namespace http://www.owl.org/owl
type owl:ClassReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:classID  required      
source 
<xsd:element name="class" type="owl:ClassReference"/>

element Descriptions/description
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="description" type="owl:DescriptionType"/>

complexType DescriptionType
diagram
namespace http://www.owl.org/owl
children Class DataRestriction IndividualRestriction OneOf And Or Not
used by
elements ClassAxiom/description Descriptions/description SingleDescription/description DataPropertyAxiom/domain IndividualPropertyAxiom/domain IndividualPropertyAxiom/range IndividualRestrictionType/range IndividualRestrictionType/required SubClassOfType/sub SubClassOfType/super
source 
<xsd:complexType name="DescriptionType">
  <xsd:choice>
    <xsd:element name="Class" type="owl:Class"/>
    <xsd:element name="DataRestriction" type="owl:DataRestrictionType"/>
    <xsd:element name="IndividualRestriction" type="owl:IndividualRestrictionType"/>
    <xsd:element name="OneOf" type="owl:IndividualReferences"/>
    <xsd:element name="And" type="owl:Descriptions"/>
    <xsd:element name="Or" type="owl:Descriptions"/>
    <xsd:element name="Not" type="owl:SingleDescription"/>
  </xsd:choice>
  <!-- RDF property -->
</xsd:complexType>

element DescriptionType/Class
diagram
namespace http://www.owl.org/owl
type owl:Class
attributes
Name  Type  Use  Default  Fixed  Annotation
ID  owl:classID  required      
source 
<xsd:element name="Class" type="owl:Class"/>

element DescriptionType/DataRestriction
diagram
namespace http://www.owl.org/owl
type owl:DataRestrictionType
children range required value
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:dataPropertyID  required      
atleast  xsd:positiveInteger        
atmost  xsd:nonNegativeInteger        
exactly  xsd:nonNegativeInteger        
source 
<xsd:element name="DataRestriction" type="owl:DataRestrictionType"/>

element DescriptionType/IndividualRestriction
diagram
namespace http://www.owl.org/owl
type owl:IndividualRestrictionType
children range required value
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:individualPropertyID  required      
atleast  xsd:positiveInteger        
atmost  xsd:nonNegativeInteger        
exactly  xsd:nonNegativeInteger        
source 
<xsd:element name="IndividualRestriction" type="owl:IndividualRestrictionType"/>

element DescriptionType/OneOf
diagram
namespace http://www.owl.org/owl
type owl:IndividualReferences
children member
source 
<xsd:element name="OneOf" type="owl:IndividualReferences"/>

element DescriptionType/And
diagram
namespace http://www.owl.org/owl
type owl:Descriptions
children class description
source 
<xsd:element name="And" type="owl:Descriptions"/>

element DescriptionType/Or
diagram
namespace http://www.owl.org/owl
type owl:Descriptions
children class description
source 
<xsd:element name="Or" type="owl:Descriptions"/>

element DescriptionType/Not
diagram
namespace http://www.owl.org/owl
type owl:SingleDescription
children class description
source 
<xsd:element name="Not" type="owl:SingleDescription"/>

complexType Enumeration
diagram
namespace http://www.owl.org/owl
children member
used by
element OntologyType/EnumeratedClass
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
source 
<xsd:complexType name="Enumeration">
  <xsd:sequence>
    <xsd:element name="member" type="owl:IndividualReference" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
  <xsd:attribute name="name" type="xsd:QName" use="required"/>
  <!-- RDF description -->
</xsd:complexType>

element Enumeration/member
diagram
namespace http://www.owl.org/owl
type owl:IndividualReference
children Individual
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualID        
source 
<xsd:element name="member" type="owl:IndividualReference" minOccurs="0" maxOccurs="unbounded"/>

complexType Fact
diagram
namespace http://www.owl.org/owl
children type property
used by
elements IndividualReference/Individual OntologyType/Individual
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName        
source 
<xsd:complexType name="Fact">
  <xsd:sequence minOccurs="0" maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="type" type="owl:ClassReference"/>
      <xsd:element name="property" type="owl:PropertyValue"/>
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="name" type="xsd:QName"/>
  <!-- RDF description -->
</xsd:complexType>

element Fact/type
diagram
namespace http://www.owl.org/owl
type owl:ClassReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:classID  required      
source 
<xsd:element name="type" type="owl:ClassReference"/>

element Fact/property
diagram
namespace http://www.owl.org/owl
type owl:PropertyValue
children IndividualPropertyValue DataPropertyValue
source 
<xsd:element name="property" type="owl:PropertyValue"/>

complexType IncludeType
diagram
namespace http://www.owl.org/owl
used by
element OntologyType/Include
attributes
Name  Type  Use  Default  Fixed  Annotation
ontology  xsd:anyURI  required      
source 
<xsd:complexType name="IncludeType">
  <xsd:attribute name="ontology" type="xsd:anyURI" use="required"/>
</xsd:complexType>

complexType IndividualPropertyAxiom
diagram
namespace http://www.owl.org/owl
children super domain range
used by
element OntologyType/IndividualProperty
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
inverseOf  owl:individualPropertyID        
symmetric  xsd:boolean        
functional  xsd:boolean        
inverseFunctional  xsd:boolean        
oneToOne  xsd:boolean        
transitive  xsd:boolean        
source 
<xsd:complexType name="IndividualPropertyAxiom">
  <xsd:sequence minOccurs="0" maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="super" type="owl:IndividualPropertyReference"/>
      <xsd:element name="domain" type="owl:DescriptionType"/>
      <xsd:element name="range" type="owl:DescriptionType"/>
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="name" type="xsd:QName" use="required"/>
  <xsd:attribute name="inverseOf" type="owl:individualPropertyID"/>
  <xsd:attribute name="symmetric" type="xsd:boolean"/>
  <xsd:attribute name="functional" type="xsd:boolean"/>
  <xsd:attribute name="inverseFunctional" type="xsd:boolean"/>
  <xsd:attribute name="oneToOne" type="xsd:boolean"/>
  <xsd:attribute name="transitive" type="xsd:boolean"/>
  <!-- RDF description -->
</xsd:complexType>

element IndividualPropertyAxiom/super
diagram
namespace http://www.owl.org/owl
type owl:IndividualPropertyReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualPropertyID  required      
source 
<xsd:element name="super" type="owl:IndividualPropertyReference"/>

element IndividualPropertyAxiom/domain
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="domain" type="owl:DescriptionType"/>

element IndividualPropertyAxiom/range
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="range" type="owl:DescriptionType"/>

complexType IndividualPropertyReference
diagram
namespace http://www.owl.org/owl
used by
element IndividualPropertyAxiom/super
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualPropertyID  required      
source 
<xsd:complexType name="IndividualPropertyReference">
  <xsd:attribute name="resource" type="owl:individualPropertyID" use="required"/>
</xsd:complexType>

complexType IndividualPropertyValueType
diagram
namespace http://www.owl.org/owl
children individual
used by
element PropertyValue/IndividualPropertyValue
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:individualPropertyID  required      
source 
<xsd:complexType name="IndividualPropertyValueType">
  <xsd:sequence>
    <xsd:element name="individual" type="owl:IndividualReference"/>
  </xsd:sequence>
  <xsd:attribute name="property" type="owl:individualPropertyID" use="required"/>
  <!-- RDF descr. -->
</xsd:complexType>

element IndividualPropertyValueType/individual
diagram
namespace http://www.owl.org/owl
type owl:IndividualReference
children Individual
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualID        
source 
<xsd:element name="individual" type="owl:IndividualReference"/>

complexType IndividualReference
diagram
namespace http://www.owl.org/owl
children Individual
used by
elements IndividualPropertyValueType/individual Individuals/individual Enumeration/member IndividualReferences/member IndividualRestrictionType/value
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualID        
source 
<xsd:complexType name="IndividualReference">
  <xsd:sequence>
    <xsd:element name="Individual" type="owl:Fact" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="resource" type="owl:individualID"/>
</xsd:complexType>

element IndividualReference/Individual
diagram
namespace http://www.owl.org/owl
type owl:Fact
children type property
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName        
source 
<xsd:element name="Individual" type="owl:Fact" minOccurs="0"/>

complexType IndividualReferences
diagram
namespace http://www.owl.org/owl
children member
used by
element DescriptionType/OneOf
source 
<xsd:complexType name="IndividualReferences">
  <xsd:sequence>
    <xsd:element name="member" type="owl:IndividualReference" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
  <!-- RDF description -->
</xsd:complexType>

element IndividualReferences/member
diagram
namespace http://www.owl.org/owl
type owl:IndividualReference
children Individual
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualID        
source 
<xsd:element name="member" type="owl:IndividualReference" minOccurs="0" maxOccurs="unbounded"/>

complexType IndividualRestrictionType
diagram
namespace http://www.owl.org/owl
children range required value
used by
elements RestrictionType/IndividualRestriction DescriptionType/IndividualRestriction
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:individualPropertyID  required      
atleast  xsd:positiveInteger        
atmost  xsd:nonNegativeInteger        
exactly  xsd:nonNegativeInteger        
source 
<xsd:complexType name="IndividualRestrictionType">
  <xsd:sequence minOccurs="0" maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="range" type="owl:DescriptionType"/>
      <xsd:element name="required" type="owl:DescriptionType"/>
      <xsd:element name="value" type="owl:IndividualReference"/>
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="property" type="owl:individualPropertyID" use="required"/>
  <xsd:attribute name="atleast" type="xsd:positiveInteger"/>
  <xsd:attribute name="atmost" type="xsd:nonNegativeInteger"/>
  <xsd:attribute name="exactly" type="xsd:nonNegativeInteger"/>
  <!-- RDF desc. -->
</xsd:complexType>

element IndividualRestrictionType/range
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="range" type="owl:DescriptionType"/>

element IndividualRestrictionType/required
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="required" type="owl:DescriptionType"/>

element IndividualRestrictionType/value
diagram
namespace http://www.owl.org/owl
type owl:IndividualReference
children Individual
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualID        
source 
<xsd:element name="value" type="owl:IndividualReference"/>

complexType Individuals
diagram
namespace http://www.owl.org/owl
children individual
used by
elements OntologyType/DifferentIndividuals OntologyType/SameIndividual
source 
<xsd:complexType name="Individuals">
  <xsd:sequence maxOccurs="unbounded">
    <xsd:element name="individual" type="owl:IndividualReference"/>
  </xsd:sequence>
  <!-- RDF description -->
</xsd:complexType>

element Individuals/individual
diagram
namespace http://www.owl.org/owl
type owl:IndividualReference
children Individual
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  owl:individualID        
source 
<xsd:element name="individual" type="owl:IndividualReference"/>

complexType OntologyType
diagram
namespace http://www.owl.org/owl
children Include EquivalentClass SubClass EnumeratedClass DisjointClasses EquivalentClasses SubClassOf DataProperty IndividualProperty EquivalentProperties SubPropertyOf Individual SameIndividual DifferentIndividuals
used by
element ontology
attributes
Name  Type  Use  Default  Fixed  Annotation
ID  xsd:QName        
source 
<xsd:complexType name="OntologyType">
  <xsd:sequence minOccurs="0" maxOccurs="unbounded">
    <xsd:choice>
      <xsd:element name="Include" type="owl:IncludeType"/>
      <xsd:element name="EquivalentClass" type="owl:ClassAxiom"/>
      <xsd:element name="SubClass" type="owl:ClassAxiom"/>
      <xsd:element name="EnumeratedClass" type="owl:Enumeration"/>
      <xsd:element name="DisjointClasses" type="owl:Descriptions"/>
      <xsd:element name="EquivalentClasses" type="owl:Descriptions"/>
      <xsd:element name="SubClassOf" type="owl:SubClassOfType"/>
      <xsd:element name="DataProperty" type="owl:DataPropertyAxiom"/>
      <xsd:element name="IndividualProperty" type="owl:IndividualPropertyAxiom"/>
      <xsd:element name="EquivalentProperties" type="owl:Properties"/>
      <xsd:element name="SubPropertyOf" type="owl:SubPropertyOfType"/>
      <xsd:element name="Individual" type="owl:Fact"/>
      <xsd:element name="SameIndividual" type="owl:Individuals"/>
      <xsd:element name="DifferentIndividuals" type="owl:Individuals"/>
      <!-- The restrictions on what properties can be equivalent to and sub of
     others are context-sensitive and cannot be expressed in XML Schema
     so this lets any property in -->
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="ID" type="xsd:QName"/>
  <!--  ... DC attributes ... -->
</xsd:complexType>

element OntologyType/Include
diagram
namespace http://www.owl.org/owl
type owl:IncludeType
attributes
Name  Type  Use  Default  Fixed  Annotation
ontology  xsd:anyURI  required      
source 
<xsd:element name="Include" type="owl:IncludeType"/>

element OntologyType/EquivalentClass
diagram
namespace http://www.owl.org/owl
type owl:ClassAxiom
children super restriction description
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
source 
<xsd:element name="EquivalentClass" type="owl:ClassAxiom"/>

element OntologyType/SubClass
diagram
namespace http://www.owl.org/owl
type owl:ClassAxiom
children super restriction description
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
source 
<xsd:element name="SubClass" type="owl:ClassAxiom"/>

element OntologyType/EnumeratedClass
diagram
namespace http://www.owl.org/owl
type owl:Enumeration
children member
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
source 
<xsd:element name="EnumeratedClass" type="owl:Enumeration"/>

element OntologyType/DisjointClasses
diagram
namespace http://www.owl.org/owl
type owl:Descriptions
children class description
source 
<xsd:element name="DisjointClasses" type="owl:Descriptions"/>

element OntologyType/EquivalentClasses
diagram
namespace http://www.owl.org/owl
type owl:Descriptions
children class description
source 
<xsd:element name="EquivalentClasses" type="owl:Descriptions"/>

element OntologyType/SubClassOf
diagram
namespace http://www.owl.org/owl
type owl:SubClassOfType
children sub super
source 
<xsd:element name="SubClassOf" type="owl:SubClassOfType"/>

element OntologyType/DataProperty
diagram
namespace http://www.owl.org/owl
type owl:DataPropertyAxiom
children super domain range
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
functional  xsd:boolean        
source 
<xsd:element name="DataProperty" type="owl:DataPropertyAxiom"/>

element OntologyType/IndividualProperty
diagram
namespace http://www.owl.org/owl
type owl:IndividualPropertyAxiom
children super domain range
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName  required      
inverseOf  owl:individualPropertyID        
symmetric  xsd:boolean        
functional  xsd:boolean        
inverseFunctional  xsd:boolean        
oneToOne  xsd:boolean        
transitive  xsd:boolean        
source 
<xsd:element name="IndividualProperty" type="owl:IndividualPropertyAxiom"/>

element OntologyType/EquivalentProperties
diagram
namespace http://www.owl.org/owl
type owl:Properties
children property
source 
<xsd:element name="EquivalentProperties" type="owl:Properties"/>

element OntologyType/SubPropertyOf
diagram
namespace http://www.owl.org/owl
type owl:SubPropertyOfType
children sub super
source 
<xsd:element name="SubPropertyOf" type="owl:SubPropertyOfType"/>

element OntologyType/Individual
diagram
namespace http://www.owl.org/owl
type owl:Fact
children type property
attributes
Name  Type  Use  Default  Fixed  Annotation
name  xsd:QName        
source 
<xsd:element name="Individual" type="owl:Fact"/>

element OntologyType/SameIndividual
diagram
namespace http://www.owl.org/owl
type owl:Individuals
children individual
source 
<xsd:element name="SameIndividual" type="owl:Individuals"/>

element OntologyType/DifferentIndividuals
diagram
namespace http://www.owl.org/owl
type owl:Individuals
children individual
source 
<xsd:element name="DifferentIndividuals" type="owl:Individuals"/>

complexType Properties
diagram
namespace http://www.owl.org/owl
children property
used by
element OntologyType/EquivalentProperties
source 
<xsd:complexType name="Properties">
  <xsd:sequence>
    <xsd:element name="property" type="owl:PropertyReference" maxOccurs="unbounded"/>
  </xsd:sequence>
  <!-- RDF description -->
</xsd:complexType>

element Properties/property
diagram
namespace http://www.owl.org/owl
type owl:PropertyReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  xsd:QName  required      
source 
<xsd:element name="property" type="owl:PropertyReference" maxOccurs="unbounded"/>

complexType PropertyReference
diagram
namespace http://www.owl.org/owl
used by
elements Properties/property SubPropertyOfType/sub SubPropertyOfType/super
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  xsd:QName  required      
source 
<xsd:complexType name="PropertyReference">
  <xsd:attribute name="resource" type="xsd:QName" use="required"/>
</xsd:complexType>

complexType PropertyValue
diagram
namespace http://www.owl.org/owl
children IndividualPropertyValue DataPropertyValue
used by
element Fact/property
source 
<xsd:complexType name="PropertyValue">
  <xsd:choice>
    <xsd:element name="IndividualPropertyValue" type="owl:IndividualPropertyValueType"/>
    <xsd:element name="DataPropertyValue" type="owl:DataPropertyValueType"/>
  </xsd:choice>
  <!-- RDF property -->
</xsd:complexType>

element PropertyValue/IndividualPropertyValue
diagram
namespace http://www.owl.org/owl
type owl:IndividualPropertyValueType
children individual
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:individualPropertyID  required      
source 
<xsd:element name="IndividualPropertyValue" type="owl:IndividualPropertyValueType"/>

element PropertyValue/DataPropertyValue
diagram
namespace http://www.owl.org/owl
type owl:DataPropertyValueType
children value
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:dataPropertyID  required      
source 
<xsd:element name="DataPropertyValue" type="owl:DataPropertyValueType"/>

complexType RestrictionType
diagram
namespace http://www.owl.org/owl
children DataRestriction IndividualRestriction
used by
element ClassAxiom/restriction
source 
<xsd:complexType name="RestrictionType">
  <xsd:choice>
    <xsd:element name="DataRestriction" type="owl:DataRestrictionType"/>
    <xsd:element name="IndividualRestriction" type="owl:IndividualRestrictionType"/>
  </xsd:choice>
  <!-- RDF property -->
</xsd:complexType>

element RestrictionType/DataRestriction
diagram
namespace http://www.owl.org/owl
type owl:DataRestrictionType
children range required value
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:dataPropertyID  required      
atleast  xsd:positiveInteger        
atmost  xsd:nonNegativeInteger        
exactly  xsd:nonNegativeInteger        
source 
<xsd:element name="DataRestriction" type="owl:DataRestrictionType"/>

element RestrictionType/IndividualRestriction
diagram
namespace http://www.owl.org/owl
type owl:IndividualRestrictionType
children range required value
attributes
Name  Type  Use  Default  Fixed  Annotation
property  owl:individualPropertyID  required      
atleast  xsd:positiveInteger        
atmost  xsd:nonNegativeInteger        
exactly  xsd:nonNegativeInteger        
source 
<xsd:element name="IndividualRestriction" type="owl:IndividualRestrictionType"/>

complexType SingleDescription
diagram
namespace http://www.owl.org/owl
children class description
used by
element DescriptionType/Not
source 
<xsd:complexType name="SingleDescription">
  <xsd:choice>
    <xsd:element name="class" type="owl:Class"/>
    <xsd:element name="description" type="owl:DescriptionType"/>
  </xsd:choice>
  <!-- RDF description -->
</xsd:complexType>

element SingleDescription/class
diagram
namespace http://www.owl.org/owl
type owl:Class
attributes
Name  Type  Use  Default  Fixed  Annotation
ID  owl:classID  required      
source 
<xsd:element name="class" type="owl:Class"/>

element SingleDescription/description
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="description" type="owl:DescriptionType"/>

complexType SubClassOfType
diagram
namespace http://www.owl.org/owl
children sub super
used by
element OntologyType/SubClassOf
source 
<xsd:complexType name="SubClassOfType">
  <xsd:all>
    <xsd:element name="sub" type="owl:DescriptionType"/>
    <xsd:element name="super" type="owl:DescriptionType"/>
  </xsd:all>
  <!-- RDF description -->
</xsd:complexType>

element SubClassOfType/sub
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="sub" type="owl:DescriptionType"/>

element SubClassOfType/super
diagram
namespace http://www.owl.org/owl
type owl:DescriptionType
children Class DataRestriction IndividualRestriction OneOf And Or Not
source 
<xsd:element name="super" type="owl:DescriptionType"/>

complexType SubPropertyOfType
diagram
namespace http://www.owl.org/owl
children sub super
used by
element OntologyType/SubPropertyOf
source 
<xsd:complexType name="SubPropertyOfType">
  <xsd:all>
    <xsd:element name="sub" type="owl:PropertyReference"/>
    <xsd:element name="super" type="owl:PropertyReference"/>
  </xsd:all>
  <!-- RDF description -->
</xsd:complexType>

element SubPropertyOfType/sub
diagram
namespace http://www.owl.org/owl
type owl:PropertyReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  xsd:QName  required      
source 
<xsd:element name="sub" type="owl:PropertyReference"/>

element SubPropertyOfType/super
diagram
namespace http://www.owl.org/owl
type owl:PropertyReference
attributes
Name  Type  Use  Default  Fixed  Annotation
resource  xsd:QName  required      
source 
<xsd:element name="super" type="owl:PropertyReference"/>

simpleType classID
namespace http://www.owl.org/owl
type xsd:QName
used by
attributes Class/@ID ClassReference/@resource
source 
<xsd:simpleType name="classID">
  <xsd:restriction base="xsd:QName"/>
</xsd:simpleType>

simpleType dataPropertyID
namespace http://www.owl.org/owl
type xsd:QName
used by
attributes DataRestrictionType/@property DataPropertyValueType/@property DataPropertyReference/@resource
source 
<xsd:simpleType name="dataPropertyID">
  <xsd:restriction base="xsd:QName"/>
</xsd:simpleType>

simpleType datatypeID
namespace http://www.owl.org/owl
type xsd:QName
used by
attribute Datatype/@ID
source 
<xsd:simpleType name="datatypeID">
  <xsd:restriction base="xsd:QName"/>
</xsd:simpleType>

simpleType individualID
namespace http://www.owl.org/owl
type xsd:QName
used by
attribute IndividualReference/@resource
source 
<xsd:simpleType name="individualID">
  <xsd:restriction base="xsd:QName"/>
</xsd:simpleType>

simpleType individualPropertyID
namespace http://www.owl.org/owl
type xsd:QName
used by
attributes IndividualPropertyAxiom/@inverseOf IndividualRestrictionType/@property IndividualPropertyValueType/@property IndividualPropertyReference/@resource
source 
<xsd:simpleType name="individualPropertyID">
  <xsd:restriction base="xsd:QName"/>
</xsd:simpleType>


XML Schema documentation generated with XML Spy Schema Editor www.xmlspy.com