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:EquivalentClasses 'EquivalentClasses' contains a non-empty list of descriptions. Note that only class IDs are allowed in OWL Lite.
- owl:EnumeratedClass 'EnumeratedClass' contains a list of individuals, and is available only for OWL DL and OWL Full.
- owl:SubClassOf SubClassOf element takes two descriptions as sub and super classes. SubClassOf is available only for OWL DL and Full.
- owl:DisjointClasses 'DisjointClasses' contains a non-empty list of descriptions, and is available only for OWL DL and Full.
- 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]
from group owl:classElements
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>