Ontology
imports: rdf-schema
comment: This file specifies in RDF Schema format the built-in classes and properties that together form the basis of the RDF/XML syntax of OWL Full, OWL DL and OWL Lite. We do not expect people to import this file explicitly into their ontology. People that do import this file should expect their ontology to be an OWL Full ontology.
comment: $Id: owl-schema.rdf,v 1.1 2008-07-08 10:43:24 larsl Exp $
version info: $Id: owl-schema.rdf,v 1.1 2008-07-08 10:43:24 larsl Exp $

Class
subclass of: Class

Thing
type: Class
union of: Nothing
union of: Class
  complement of: Nothing

Nothing
type: Class
complement of: Thing

equivalentClass
type: Property
sub property of: subClassOf
domain: Class
range: Class

disjointWith
type: Property
domain: Class
range: Class

equivalentProperty
type: Property
sub property of: subPropertyOf

sameAs
type: Property
domain: Thing
range: Thing

differentFrom
type: Property
domain: Thing
range: Thing

AllDifferent
type: Class

distinctMembers
type: Property
domain: AllDifferent
range: List

unionOf
type: Property
domain: Class
range: List

intersectionOf
type: Property
domain: Class
range: List

complementOf
type: Property
domain: Class
range: Class

oneOf
type: Property
domain: Class
range: List

Restriction
type: Class
subclass of: Class

onProperty
type: Property
domain: Restriction
range: Property

allValuesFrom
type: Property
domain: Restriction
range: Class

hasValue
type: Property
domain: Restriction

someValuesFrom
type: Property
domain: Restriction
range: Class

minCardinality
type: Property
domain: Restriction
range: nonNegativeInteger

maxCardinality
type: Property
domain: Restriction
range: nonNegativeInteger

cardinality
type: Property
domain: Restriction
range: nonNegativeInteger

ObjectProperty
type: Class
subclass of: Property

DatatypeProperty
type: Class
subclass of: Property

inverseOf
type: Property
domain: ObjectProperty
range: ObjectProperty

TransitiveProperty
type: Class
subclass of: ObjectProperty

SymmetricProperty
type: Class
subclass of: ObjectProperty

FunctionalProperty
type: Class
subclass of: Property

InverseFunctionalProperty
type: Class
subclass of: ObjectProperty

Ontology
type: Class

imports
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

versionInfo
type: Property
type: AnnotationProperty

priorVersion
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

backwardCompatibleWitesh
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

incompatibleWith
type: Property
type: OntologyProperty
domain: Ontology
range: Ontology

DeprecatedClass
type: Class
subclass of: Class

DeprecatedProperty
type: Class
subclass of: Property

DataRange
type: Class