owl:
RDF Prefix
The OWL 2 Schema vocabulary (OWL 2)
This ontology partially describes the built-in classes and properties that together form the basis of the RDF/XML syntax of OWL 2. The content of this ontology is based on Tables 6.1 and 6.2 in Section 6.4 of the OWL 2 RDF-Based Semantics specification, available at http://www.w3.org/TR/owl2-rdf-based-semantics/. Please note that those tables do not include the different annotations (labels, comments and rdfs:isDefinedBy links) used in this file. Also note that the descriptions provided in this ontology do not provide a complete and correct formal description of either the syntax or the semantics of the introduced terms (please see the OWL 2 recommendations for the complete and normative specifications). Furthermore, the information provided by this ontology may be misleading if not used with care. This ontology SHOULD NOT be imported into OWL ontologies. Importing this file into an OWL 2 DL ontology will cause it to become an OWL 2 Full ontology and may have other, unexpected, consequences.
The http://www.w3.org/2002/07/owl#
namespace defines:
5 | owl:AnnotationProperty |
2 | owl:Class |
2 | owl:DatatypeProperty |
2 | owl:ObjectProperty |
5 | owl:OntologyProperty |
40 | rdf:Property |
24 | rdfs:Class |
40
rdf:Property
- owl:allValuesFrom (allValuesFrom)
- owl:annotatedProperty (annotatedProperty)
- owl:annotatedSource (annotatedSource)
- owl:annotatedTarget (annotatedTarget)
- owl:assertionProperty (assertionProperty)
- owl:cardinality (cardinality)
- owl:complementOf (complementOf)
- owl:datatypeComplementOf (datatypeComplementOf)
- owl:differentFrom (differentFrom)
- owl:disjointUnionOf (disjointUnionOf)
- owl:disjointWith (disjointWith)
- owl:distinctMembers (distinctMembers)
- owl:equivalentClass (equivalentClass)
- owl:equivalentProperty (equivalentProperty)
- owl:hasKey (hasKey)
- owl:hasSelf (hasSelf)
- owl:hasValue (hasValue)
- owl:intersectionOf (intersectionOf)
- owl:inverseOf (inverseOf)
- owl:maxCardinality (maxCardinality)
- owl:maxQualifiedCardinality (maxQualifiedCardinality)
- owl:members (members)
- owl:minCardinality (minCardinality)
- owl:minQualifiedCardinality (minQualifiedCardinality)
- owl:onClass (onClass)
- owl:onDataRange (onDataRange)
- owl:onDatatype (onDatatype)
- owl:onProperties (onProperties)
- owl:onProperty (onProperty)
- owl:oneOf (oneOf)
- owl:propertyChainAxiom (propertyChainAxiom)
- owl:propertyDisjointWith (propertyDisjointWith)
- owl:qualifiedCardinality (qualifiedCardinality)
- owl:sameAs (sameAs)
- owl:someValuesFrom (someValuesFrom)
- owl:sourceIndividual (sourceIndividual)
- owl:targetIndividual (targetIndividual)
- owl:targetValue (targetValue)
- owl:unionOf (unionOf)
- owl:withRestrictions (withRestrictions)
24
rdfs:Class
- owl:AllDifferent (AllDifferent)
- owl:AllDisjointClasses (AllDisjointClasses)
- owl:AllDisjointProperties (AllDisjointProperties)
- owl:Annotation (Annotation)
- owl:AnnotationProperty (AnnotationProperty)
- owl:AsymmetricProperty (AsymmetricProperty)
- owl:Axiom (Axiom)
- owl:Class (Class)
- owl:DataRange (DataRange)
- owl:DatatypeProperty (DatatypeProperty)
- owl:DeprecatedClass (DeprecatedClass)
- owl:DeprecatedProperty (DeprecatedProperty)
- owl:FunctionalProperty (FunctionalProperty)
- owl:InverseFunctionalProperty (InverseFunctionalProperty)
- owl:IrreflexiveProperty (IrreflexiveProperty)
- owl:NamedIndividual (NamedIndividual)
- owl:NegativePropertyAssertion (NegativePropertyAssertion)
- owl:ObjectProperty (ObjectProperty)
- owl:Ontology (Ontology)
- owl:OntologyProperty (OntologyProperty)
- owl:ReflexiveProperty (ReflexiveProperty)
- owl:Restriction (Restriction)
- owl:SymmetricProperty (SymmetricProperty)
- owl:TransitiveProperty (TransitiveProperty)