Ontology Ontology source Other visualisation visualise it with Date Current version Previous version Backward compatible with Incompatible with Abstract Introduction All Disjoint Classes General Subclass Definition General Equivalent Definition is subclass of is equivalent to functional inverse functional reflexive irreflexive symmetric asymmetric transitive Is defined by belongs to is same as is also defined as is disjoint with has keys has super-classes has sub-classes is in domain of is in range of has members is inverse of has sub-property chains has equivalent properties has super-properties has sub-properties has domain has range Imported Ontologies has facts Authors Contributors Publisher Table of Content ToC back to class Classes object property Object Properties data property Data Properties named individual Named Individuals annotation property Annotation Properties data range Data Ranges General Axioms rule SWRL Rules Rules default namespace Namespace Declarations This HTML document was obtained by processing the OWL ontology source code through developed by or Class ToC SWRL ToC Object Property ToC Data Property ToC Annotation Property ToC Named Individual ToC has characteristics Term rationale Example Property annotation Category Is required Source Term status Is deprecated domain includes range includes editorial note used by rule (in antecedent) used by rule (in consequent) external property