Icons in Detail View

The various icons used to display relationships between ontology items in Detail View are listed below, with a brief description. Icons are organized into the following groups:

Ontology items are classes, instances, properties, and literals. In the case of some items, variants are distinguished.

	The Class icon is used for both RDFS and OWL classes. Contrast the bevelled edges on the left of the Class icon with the rounded edges of the Instances icon.
	Instances of RDFS and OWL classes, and subjects of RDF Triples. (Instances are also known as Individuals in OWL terminology.)
	RDFS property. Distinguished from OWL properties by the lack of symbols in the top left-hand corner.
	OWL object property. Distinguished from OWL datatype properties by the O symbol at extreme top left. The other symbols, from left to right, are: functional property, inverse functional property, transitive property, and symmetric property. Clicking a symbol sets the property to that type.
	OWL datatype property. Distinguished from OWL object properties by the DT symbol at extreme top left. The property type can be set to functional by clicking the f symbol.
	OWL ontology. The ontology header is optional. It is useful for importing other ontologies and for declaring prior versions.

The following icons indicate class relationships, and can be inserted when a class is selected.

	rdf:Bag
	rdf:Seq
	rdf:Alt
	rdf:List

The following icons indicate class relationships, and can be inserted when a class is selected.

	owl:allValuesFrom. Specifies that all values allowed on a restriction must come from the specified class or data range.
	owl:someValuesFrom. Specifies that at least one value allowed on a restriction must come from the specified class or data range.
	owl:hasValue. Specifies the value that a restriction must take.
	owl:unionOf. A class that is a union of two or more classes is equal to that union.
	owl:intersectionOf. When a class ABC containing A's, B's, and C's intersects with a class CDE containing C's, D's, and E's, the resulting class contains C's.
	owl:complementOf. When a class A is a complement of class B, then no instance of A can be an instance of B.
	owl:oneOf. Describes a class by enumerating its instances.

The following icons indicate OWL class relationships, and can be inserted when a class is selected.

	rdfs:subClassOf. The selected class is a subclass of another class.
	owl:equivalentClass. Declares the equality of the selected class with another class.
	owl:disjointWith. Declares the inequality of the selected class with other classes.

The following icons indicate OWL class relationships, and can be inserted when a class is selected.

	rdfs:subPropertyOf. Declares the selected property as a subproperty of another property. For example, the property #hasMother could be a subproperty of the property #hasParent.
	rdfs:domain. Specifies the domain of a property P, i.e. the class of resources that may be the subject in a triple with the predicate P.
	rdfs:range. Specifies the range of a property P, i.e. the class of resources (or datatypes) that may be the value, in a triple, of the predicate P.
	owl:DataRange. Defines an enumeration of data values.
	owl:equivalentProperty. Declares equivalence between properties. Equivalent properties have the same property extensions.
	owl:inverseOf. Declares one property to be the inverse of another. For example, the property #hasChild could be the inverse of the property #hasParent.

The following icons indicate OWL class relationships, and can be inserted when a class is selected.

	owl:sameAs. Declares two individuals to be identical.
	owl:differentFrom. Declares the inequality of two individuals.
	owl:AllDifferent. Declares the pairwise inequality of all individuals in a group.