Skip to main content

Table 1 Schema of introduced relations

From: Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies

Relation

Domain:Range

Definition

x II-R y

Individual:Individual

The individuals x and y stand in the relationship II-R.

x IC-R y

Individual:Category

There exists an individual z, such that: z IC-instance-of y and x II-R z.

x CC-R y

Category:Category

For all individuals a such that: a IC-instance-of x, a IC-R y.

x CC-canonical-R y

Category:Category

For all individuals a such that: a IC-instance-of x, by default, a IC-R y.

x II-lacks-R y

Individual:Individual

The individuals x and y do not stand in the relationship II-R.

x IC-lacks-R y

Individual:Category

The individual x does not stand in the relationship IC-R to y.

x CC-lacks-R y

Category:Category

For all individuals a such that: a IC-instance-of x, a IC-lacks-R y.

  1. For each relation used in a biomedical ontology, a number of relations between categories, individuals and between individuals and categories can be created. The CC-canonical-R relationship is a default relation that is accompanied by axioms in an answer set program to describe its semantics as a default.