Owl/RDF/RDFS Syntax

CmapTools COE labels

Axioms

rdfs: subClassOf

Class A “are” class B

The object “is a” member of the Class A

owl: equivalentClass

Class A “same as” class B

owl: disjointWith

Class A “cannot be” class B

Descriptions

owl: oneOf

Class A “is defined as one of” individual B

owl: intersectionOf

Class A “is defined as all of” classes B, C, etc.

owl: unionOf

Class A “is defined as any of” classes B, C, etc.

owl: complementOf

Class A “exact opposite of” class B

Cardinalities

owl: minCardinality

Class A “at least ” individual B

owl: maxCardinality

Class A “at most ” individual B

owl: cardinality

Class A “exactly ” individual B