owl:Ontology

      This is the root element of OWL documents 
      in the XML presentation syntax.

      'owlx:classElements' group is included from either 
         + owl1-lite-classElementGroup.xsd [Lite] or 
         + owl1-dl-classElementGroup.xsd [DL/Full]

Element information

Namespace: http://www.w3.org/2003/05/owl-xml

Schema document: module/owl1-lite-core.xsd

Type: Anonymous

Properties: Global, Qualified

Content

Choice [0..*]
- owl:VersionInfo
- owl:PriorVersion
- owl:BackwardCompatibleWith
- owl:IncompatibleWith
- owl:Imports
- owl:Annotation Annotations allow arbitrary uninterpreted information to be added to ontologies.
- owl:Class 'Class' contains a non-empty sequence of descriptions. Attributes provide a class name and the modality.
- owl:DatatypeProperty 'owlx:dataPropDomainRange' group is included from either + owl1-lite-dataDomainRangeGroup.xsd [Lite] or + owl1-dl-dataDomainRangeGroup.xsd [DL/Full] 'owlx:dataPropInverseFuncAttr' attribute group is included from either + owl1-lite-dataPropInverseFuncAttr.xsd [Lite/DL] or + owl1-full-dataPropInverseFuncAttr.xsd [Full]
- owl:ObjectProperty 'owlx:objectPropDomainRange' group is included from either + owl1-lite-domainRangeGroup.xsd [Lite] or + owl1-dl-domainRangeGroup.xsd [DL/Full] 'owlx:objectPropInverseFuncAttr' attribute group is included from either + owl1-lite-objectPropInverseFuncAttr.xsd [Lite] or + owl1-dl-objectPropInverseFuncAttr.xsd [DL/Full]
- owl:SubPropertyOf A subproperty statement is just two propertyIDs, sub and super, with the following restrictions (not expressed here) if sub is a data property then super must be a data property if sub is a simple property then super must be an individual property. There are other restrictions having to do with transitivity and cardinalites. Used by: Ontology [Lite/DL/Full]
- owl:EquivalentProperties
- owl:Individual Used by 'Ontology' [Lite/DL/Full] Facts about individuals have several types and property information, including nested facts.
- owl:SameIndividual Used by 'Ontology' [Lite/DL/Full]
- owl:DifferentIndividuals Used by 'Ontology' [Lite/DL/Full]

Attributes

Name	Occ	Type	Description	Notes
owl:name	[0..1]	owl:OntologyName

Identity constraints

Type	Name	Selector	Field(s)
unique	classNameUniqueness	owlx:Class	@owlx:name

Sample instance

<owl:Ontology>
   <owl:VersionInfo>string</owl:VersionInfo>
</owl:Ontology>