No	Name	References	Description
02	owl_unionOf	owl_unionOf_mapping, owl_unionOf_rdf, owl_unionOf_semantics, owl_unionOf_syntax, transformation_Class_unionOf, transformation_unionOf	Set theoretical union
03	owl_intersectionOf	owl_intersectionOf_mapping, owl_intersectionOf_rdf, owl_intersectionOf_semantics, owl_intersectionOf_syntax, transformation_Class_intersectionOf, transformation_intersectionOf	Set theoretical intersection
04/05	owl_oneOf	owl_oneOf_mapping, owl_oneOf_rdf, owl_oneOf_semantics, owl_oneOf_syntax, transformation_oneOf, transformation_EnumeratedClass	Enumeration
06	owl_onProperty	owl_onProperty_syntax_lite, owl_onProperty_syntax, owl_onProperty_semantics, owl_onProperty_rdf	Properties constrained by a restriction
07	owl_allValuesFrom	owl_allValuesFrom_mapping, owl_allValuesFrom_rdf, owl_allValuesFrom_semantics, owl_allValuesFrom_syntax, owl_allValuesFrom_syntax_lite, transformation_allValuesFrom	Restrict the values of a property to be in a class
08	owl_someValuesFrom	owl_someValuesFrom_mapping, owl_someValuesFrom_rdf, owl_someValuesFrom_semantics, owl_someValuesFrom_syntax, owl_someValuesFrom_syntax_lite, transformation_someValuesFrom	Require some values of a property to be in a class
09/10	owl_hasValue	owl_hasValue_mapping, owl_hasValue_rdf, owl_hasValue_semantics, owl_hasValue_syntax, transformation_hasValue	Require a property to take a value
11	owl_minCardinality	owl_minCardinality_mapping, owl_minCardinality_rdf, owl_minCardinality_semantics, owl_minCardinality_syntax, owl_minCardinality_syntax_lite, transformation_minCardinality	Require that a property take a minimum number of values
12	owl_maxCardinality	owl_maxCardinality_mapping, owl_maxCardinality_rdf, owl_maxCardinality_semantics, owl_maxCardinality_syntax, owl_maxCardinality_syntax_lite, transformation_maxCardinality	Require that a property take a maximum number of values
13	owl_cardinality	owl_cardinality_mapping, owl_cardinality_rdf, owl_cardinality_semantics, owl_cardinality_syntax, owl_cardinality_syntax_lite, transformation_cardinality	Require that a property take exactly a specified number of values
14	owl_Class	owl_Class_syntax_lite, owl_Class_syntax, owl_Class_semantics, owl_DeprecatedClass_semantics, transformation_Class_partial, owl_Class_mapping, owl_DeprecatedClass_mapping, owl_DeprecatedClass_rdf, owl_Class_rdf, rdf_type_syntax, rdf_type_semantics, rdf_type_mapping	Set theoretical membership in a set
25	owl_disjointWith	owl_disjointWith_syntax, owl_disjointWith_semantics, owl_disjointWith_mapping, owl_disjointWith_rdf	Set theoretical disjointness
26	owl_equivalentClass	owl_equivalentClass_rdf, owl_equivalentClass_syntax_lite, owl_equivalentClass_syntax, owl_equivalentClass_semantics, transformation_Class_equivalentClass, transformation_EquivalentClass, owl_equivalentClass_mapping	Set theoretical equivalence of sets
27	rdfs_subClassOf	rdfs_subClassOf_semantics, transformation_SubClassOf, rdfs_subClassOf_rdf	Set theoretical subset relation
28	owl_DatatypeProperty	owl_DatatypeProperty_syntax_lite, owl_DatatypeProperty_syntax, owl_DatatypeProperty_semantics, transformation_DatatypeProperty, owl_DatatypeProperty_mapping, owl_DatatypeProperty_rdf, owl_DeprecatedProperty_semantics, owl_DeprecatedProperty_mapping, owl_DeprecatedProperty_rdf	A datatype property has only literal values.
29	owl_ObjectProperty	owl_ObjectProperty_syntax_lite, owl_ObjectProperty_syntax, owl_ObjectProperty_semantics, transformation_ObjectProperty, owl_ObjectProperty_mapping, owl_ObjectProperty_rdf, owl_DeprecatedProperty_semantics, owl_DeprecatedProperty_mapping, owl_DeprecatedProperty_rdf	An object property has only individuals as values.
31	owl_OntologyProperty	owl_OntologyProperty_syntax_lite, owl_OntologyProperty_syntax, owl_OntologyProperty_semantics, owl_OntologyProperty_mapping, transformation_OntologyProperty, owl_OntologyProperty_rdf, owl_built_in_ontology_properties, owl_priorVersion_mapping, owl_priorVersion_syntax, owl_versionInfo_mapping, owl_versionInfo_syntax	Properties of ontologies
32	owl_equivalentProperty	owl_equivalentProperty_syntax, owl_equivalentProperty_semantics, transformation_equivalentProperty_data, owl_equivalentProperty_mapping, transformation_equivalentProperty_object, owl_equivalentProperty_rdf	Set theoretical equivalence of properties
33	rdfs_subPropertyOf	rdfs_subPropertyOf_syntax, rdfs_subPropertyOf_semantics, transformation_subPropertyOf_data, rdfs_subPropertyOf_mapping, transformation_subPropertyOf_object, rdfs_subPropertyOf_rdf	Set theoretical equivalence of properties
34	owl_sameAs	owl_sameAs_syntax, owl_sameAs_semantics, transformation_sameAs, owl_sameAs_mapping, owl_sameAs_rdf	Paramodulation property
35	owl_differentFrom	owl_differentFrom_syntax, owl_differentFrom_semantics, transformation_differentFrom, owl_differentFrom_mapping, owl_differentFrom_rdf, transformation_AllDifferent, owl_AllDifferent_mapping, owl_AllDifferent_rdf, owl_distinctMembers_mapping, owl_distinctMembers_rdf	Two resources are different.
N/A	owl_imports	owl_imports_syntax, owl_imports_semantics, owl_imports_closure, owl_imports_mapping, RDF_graph_imports_closure, owl_imports_rdf	Ontology import
41	owl_DataRange	owl_DataRange_syntax, owl_DataRange_semantics, transformation_DataRange, owl_DataRange_mapping, owl_DataRange_rdf	A data range consists of literals.
42	owl_Nothing	owl_Nothing_syntax, owl_Nothing_semantics, owl_Nothing_mapping, owl_Nothing_rdf	Set theoretical empty set
43	owl_Restriction	owl_Restriction_syntax_lite, owl_Restriction_syntax, owl_Restriction_semantics, transformation_Restriction_multiple, owl_Restriction_mapping, owl_Restriction_rdf	Restrictions should be on exactly one property and have exactly one constraint.
44	owl_AnnotationProperty	owl_AnnotationProperty_syntax_lite, owl_AnnotationProperty_syntax, owl_AnnotationProperty_semantics, owl_AnnotationProperty_mapping, transformation_AnnotationProperty, owl_AnnotationProperty_rdf	Metaresources cannot participate in statements except for annotations.
N/A	owl_Thing	owl_Thing_syntax, owl_Thing_semantics, owl_Thing_mapping, owl_Thing_rdf	Set theoretical universal set
N/A	owl_annotation	owl_built_in_annotation_properties, transformation_ontology_ontology_annotation, transformation_ontology_annotation_urireference, transformation_ontology_annotation_literal, transformation_ontology_individual, transformation_annotation_urireference, transformation_annotation_literal, transformation_annotation_individual	Annotations
N/A	owl_inverseOf	owl_inverseOf_syntax_lite, owl_inverseOf_syntax, owl_inverseOf_semantics, owl_inverseOf_mapping, owl_inverseOf_rdf	Set theoretical transpose operation
N/A	owl_FunctionalProperty	owl_FunctionalProperty_syntax_lite, owl_FunctionalProperty_syntax, owl_FunctionalProperty_semantics, owl_FunctionalProperty_mapping, owl_FunctionalProperty_rdf	Set theoretical partial function
N/A	owl_InverseFunctionalProperty	owl_InverseFunctionalProperty_mapping, owl_InverseFunctionalProperty_rdf	Set theoretical transpose partial function
N/A	owl_TransitiveProperty	owl_TransitiveProperty_semantics, owl_TransitiveProperty_mapping, owl_TransitiveProperty_rdf	Transitive relation
N/A	owl_SymmetricProperty	owl_SymmetricProperty_mapping, owl_SymmetricProperty_rdf	Symmetric relation
51/52	dl_separation	3.1, 5.4	Pairwise disjointness of vocabularies.
53	dl_type	Class	An instance of a class cannot also be a class, except for some built-in classes.
54	dl_subPropertyOf	subPropertyOf-def	Object and datatype properties cannot be related by subPropertyOf.
55	dl_Class	ClassDescription	User-defined classes must be of type owl:Class.
56	dl_AnnotationProperty	Annotations	Annotation properties cannot be subproperties, superproperties, inverses, ...
57	dl_sameAs	sameAs-def	Only named individuals can be declared to be the same.
57	dl_differentFrom	differentFrom-def	Only named individuals can be declared to be different.
58	dl_TransitiveProperty	TransitiveProperty-def	Transitive properties may not have cardinality constraints.
61	lite_domain	OWLLite, domain-def	Anonymous domain constraint
62	lite_range	OWLLite, range-def	Anonymous and non-restriction range constraint
63	lite_subClassOf	OWLLite, subClassOf-def	Anonymous subclass
64	lite_superClassOf	OWLLite, subClassOf-def	Anonymous and non-restriction superclass
65	lite_allValuesFrom	OWLLite, allValuesFrom-def	All values from constraint on anonymous class
66	lite_cardinality	CardinalityRestriction	Cardinality constraint other than 0 or 1
67	lite_complementOf	OWLLite, complementOf-def	Complements
68	lite_DataRange	OWLLite, DataRange-def	Data ranges
69	lite_disjointWith	OWLLite, disjointWith-def	Disjoint
70	lite_equivalentClass	OWLLite, equivalentClass-def	Anonymous equivalent class
71	lite_equivalentProperty	equivalentProperty-def	Anonymous, non-restriction and non-intersection equivalent class
72	lite_hasValue	OWLLite, hasValue-def	Has value restriction
73	lite_intersectionOf	OWLLite, intersectionOf-def, DescriptionAxiom	Anonymous, non-named, intersection component
74	lite_trivialIntersection	OWLLite	Empty or single element intersection
75	lite_oneOf	OWLLite, oneOf-def	Enumeration
76	lite_someValuesFrom	OWLLite, someValuesFrom-def	Anonymous some values from restriction
77	lite_unionOf	OWLLite, unionOf-def	Union
N/A	rdfs_domain	rdfs_domain_syntax_lite, rdfs_domain_syntax, rdfs_domain_semantics, rdfs_domain_mapping, rdfs_domain_rdf	Property domain
N/A	rdfs_range	rdfs_range_syntax_lite, rdfs_range_mapping, rdfs_range_rdf	Property range
84	rdfs_Literal	literals, rdfs_Literal_syntax_lite, rdfs_Literal_syntax, rdfs_Literal_semantics, rdfs_Literal_mapping, transformation_dataLiteral, rdfs_Literal_rdf, datatype_theory	Literals
85	rdfs_List	rdf_List_mapping, rdf_List_rdf, rdf_nil_rdf, transformation_sequence_empty, transformation_sequence_nonempty	Lists
91	misc_incompatibleWith	owl_incompatibleWith_syntax, owl_incompatibleWith_mapping, owl_backwardCompatibleWith_syntax, owl_backwardCompatibleWith_mapping	Backward compatible conflicts with incompatible.
92	misc_Ontology	owl_Ontology_syntax, owl_Ontology_semantics, owl_Ontology_mapping, owl_Ontology_rdf, transformation_ontology_named, transformation_ontology_unnamed	Ontology should be a namespace.
81	misc_Property		Whether Property and Class are disjoint for OWL Full is not known.
82	misc_Container		Whether Containers must be one of Alt, Seq or Bag is not known.
83	misc_ContainerMembershipProperty		Whether container membership properties can be used outside a container is not known.
86	misc_Statement		Statement semantics is not known.
87	misc_predicate		Predicate semantics is not known.