Wikidata:WikiProject Ontology/Classes

This page summarizes basic aspects of classes in Wikidata. We will define a class-item is any item used as value in a instance of (P31) statement or with a subclass of (P279) statement (subclass) or used as value in a subclass of (P279) statement (superclass). Class-items are mostly used together with instance-items. By definition an instance-item in Wikidata is any item with a instance of (P31) statement.


For more information about classes and instances in Wikidata see:

this information should be consolidated and merged into one page

Aspects of classes in ontologies

edit

Definition

edit

There are multiple aspects of classes in ontologies. Please refer to the corresponding Wikipedia articles for definition of class and related terms.

  • class (Q5127848): group of things derived from extensional or intensional definition (philosophy)
  • class (Q16889133): collection of items defined by common characteristics
  • class (Q217594): mathematical collection of sets that can be defined based on a property of its members (set theory)

Subsumption

edit

A class is more general than another when every item that belongs to the second also belongs to the first, as in animal (Q729) is more general than dog (Q144). The more-general class is said to subsume the more-specific class. A class subsumed by another is called a subclass (or subtype) of the subsuming class (or supertype).

Because all items belonging to the subclass also belong to the superclass, any commonality of items belonging to the superclass is also a commonality of objects belonging to the subclass. This relationship is often called inheritance.

A class can be the direct subclass of several classes, permitting multiple inheritance.

Transitivity of Subsumption

edit

Because of the definition of subclass, if B is a subclass of A and C is a subclass of B then C is a subclass of A.

Subsumption Cycles

edit

A cycle is created if class A has a subclass B and B is a superclass of A.

Extensional vs. Intensional

edit

Most classes in ontologies have an intentional aspect, i.e., there is an implicit or explicit definition of which items belong to the class. For example, human (Q5) is the class of humans. An item belongs to this class if and only if it is a member of the species homo sapiens. This is independent of whether all such items are explicitly stated to belong to the class or whether there is a formal definition in the ontology of the membership requirements.

A few classes in ontologies may be strictly extensional, i.e., items belong to the class solely by being listed as a member of it.

Disjointness of Classes

edit

Classes may be disjoint from one another, i.e., they cannot have any instances in common, as in human (Q5) is disjoint from dog (Q144). Stating disjointness of classes in an ontology permits the flagging of questionable combinations of facts. For example, if disjointness of humans and dogs is stated in an ontology then items that belong to both classes could be flagged for investigation.

A collection of pairwise disjoint classes whose union has the same members as another class is said to be an exhaustive partition of that class.

Class restrictions

edit

Quantifier restrictions

edit

Quantifier restriction can be divided into two groups:

  • existential restriction: class with individuals having at least one property p with value a
  • universal restriction: class with individuals having only property p with value a

Cardinality restrictions

edit
  • minimal cardinality restriction: restriction defined by a minimal number of relations
  • maximal cardinality restriction: restriction defined by a maximal number of relations
  • qualified cardinality restriction: restriction defined by a fixed number of relations

Class in Wikidata

edit

Class naming

edit

Singular or plural?

Wikidata labels for classes should be singular, at least in English. See also the guidelines in Help:Label.

References

edit