owl:Axiom
Complex type information
Namespace: http://www.w3.org/2002/07/owl#
Schema document: owl2-xml.xsd
Properties: Abstract
Content
- owl:Annotation [0..*]
from group owl:axiomAnnotations
Attributes
Name | Occ | Type | Description | Notes |
---|---|---|---|---|
xml:base | [0..1] | xsd:anyURI | denotes an attribute whose value provides a URI to be used as the base for interpreting any relative URIs in the scope of the element on which it appears; its value is inherited. This name is reserved by virtue of its definition in the XML Base specification. | from group xml:specialAttrs |
xml:lang | [0..1] | Anonymous | denotes an attribute whose value is a language code for the natural language of the content of any element; its value is inherited. | from group xml:specialAttrs |
xml:space | [0..1] | Anonymous | denotes an attribute whose value is a keyword indicating what whitespace processing discipline is intended for the content of the element; its value is inherited. | from group xml:specialAttrs |
xml:id | [0..1] | xsd:ID | denotes an attribute whose value should be interpreted as if declared to be of type ID. This name is reserved by virtue of its definition in the xml:id specification. | from group xml:specialAttrs |
Used by
- Element owl:AnnotationAssertion via derived type owl:AnnotationAssertion
- Element owl:AnnotationPropertyDomain via derived type owl:AnnotationPropertyDomain
- Element owl:AnnotationPropertyRange via derived type owl:AnnotationPropertyRange
- Element owl:AsymmetricObjectProperty via derived type owl:AsymmetricObjectProperty
- Element owl:ClassAssertion via derived type owl:ClassAssertion
- Element owl:DataPropertyAssertion via derived type owl:DataPropertyAssertion
- Element owl:DataPropertyDomain via derived type owl:DataPropertyDomain
- Element owl:DataPropertyRange via derived type owl:DataPropertyRange
- Element owl:DatatypeDefinition via derived type owl:DatatypeDefinition
- Element owl:Declaration via derived type owl:Declaration
- Element owl:DifferentIndividuals via derived type owl:DifferentIndividuals
- Element owl:DisjointClasses via derived type owl:DisjointClasses
- Element owl:DisjointDataProperties via derived type owl:DisjointDataProperties
- Element owl:DisjointObjectProperties via derived type owl:DisjointObjectProperties
- Element owl:DisjointUnion via derived type owl:DisjointUnion
- Element owl:EquivalentClasses via derived type owl:EquivalentClasses
- Element owl:EquivalentDataProperties via derived type owl:EquivalentDataProperties
- Element owl:EquivalentObjectProperties via derived type owl:EquivalentObjectProperties
- Element owl:FunctionalDataProperty via derived type owl:FunctionalDataProperty
- Element owl:FunctionalObjectProperty via derived type owl:FunctionalObjectProperty
- Element owl:HasKey via derived type owl:HasKey
- Element owl:InverseFunctionalObjectProperty via derived type owl:InverseFunctionalObjectProperty
- Element owl:InverseObjectProperties via derived type owl:InverseObjectProperties
- Element owl:IrreflexiveObjectProperty via derived type owl:IrreflexiveObjectProperty
- Element owl:NegativeDataPropertyAssertion via derived type owl:NegativeDataPropertyAssertion
- Element owl:NegativeObjectPropertyAssertion via derived type owl:NegativeObjectPropertyAssertion
- Element owl:ObjectPropertyAssertion via derived type owl:ObjectPropertyAssertion
- Element owl:ObjectPropertyDomain via derived type owl:ObjectPropertyDomain
- Element owl:ObjectPropertyRange via derived type owl:ObjectPropertyRange
- Element owl:ReflexiveObjectProperty via derived type owl:ReflexiveObjectProperty
- Element owl:SameIndividual via derived type owl:SameIndividual
- Element owl:SubAnnotationPropertyOf via derived type owl:SubAnnotationPropertyOf
- Element owl:SubClassOf via derived type owl:SubClassOf
- Element owl:SubDataPropertyOf via derived type owl:SubDataPropertyOf
- Element owl:SubObjectPropertyOf via derived type owl:SubObjectPropertyOf
- Element owl:SymmetricObjectProperty via derived type owl:SymmetricObjectProperty
- Element owl:TransitiveObjectProperty via derived type owl:TransitiveObjectProperty
Type inheritance chain
- owl:Axiom
- extended by owl:Declaration
- extended by owl:ClassAxiom
- extended by owl:SubClassOf
- extended by owl:EquivalentClasses
- extended by owl:DisjointClasses
- extended by owl:DisjointUnion
- extended by owl:ObjectPropertyAxiom
- extended by owl:SubObjectPropertyOf
- extended by owl:EquivalentObjectProperties
- extended by owl:DisjointObjectProperties
- extended by owl:ObjectPropertyDomain
- extended by owl:ObjectPropertyRange
- extended by owl:InverseObjectProperties
- extended by owl:FunctionalObjectProperty
- extended by owl:InverseFunctionalObjectProperty
- extended by owl:ReflexiveObjectProperty
- extended by owl:IrreflexiveObjectProperty
- extended by owl:SymmetricObjectProperty
- extended by owl:AsymmetricObjectProperty
- extended by owl:TransitiveObjectProperty
- extended by owl:DataPropertyAxiom
- extended by owl:SubDataPropertyOf
- extended by owl:EquivalentDataProperties
- extended by owl:DisjointDataProperties
- extended by owl:DataPropertyDomain
- extended by owl:DataPropertyRange
- extended by owl:FunctionalDataProperty
- extended by owl:DatatypeDefinition
- extended by owl:HasKey
- extended by owl:Assertion
- extended by owl:SameIndividual
- extended by owl:DifferentIndividuals
- extended by owl:ClassAssertion
- extended by owl:ObjectPropertyAssertion
- extended by owl:NegativeObjectPropertyAssertion
- extended by owl:DataPropertyAssertion
- extended by owl:NegativeDataPropertyAssertion
- extended by owl:AnnotationAxiom
- extended by owl:AnnotationAssertion
- extended by owl:SubAnnotationPropertyOf
- extended by owl:AnnotationPropertyDomain
- extended by owl:AnnotationPropertyRange