Relation DOMAIN

Slots on this relation:

Documentation:
DOMAIN is short for ``domain restriction''. A domain restriction of a binary relation is a constraint on the exact-domain of the relation. A domain restriction is superclass of the exact-domain; that is, all instances of the exact-domain of the relation are also instances of the DOMAIN restriction. Thus, the DOMAIN of a relation is not unique.

In an ontology, specifying a domain restriction of a binary relation is a way to specify partial information about the objects to which the relation applies. For example, one can state that favorite-beer is a relation from beer drinkers to beers as (domain favorite-beer person). This says that all people who have
a favorite-beer are instances of person, even though there may be some instances of person who do not have a favorite beer.

Representation systems can use these specifications to classify terms and check integrity constraints.

Instance-Of: Relation
Arity: 2
Domain: Binary-relation
Range: Class

Equivalence Axioms:

(<=> (Domain ?Relation ?Restriction)
     (And (Binary-Relation ?Relation)
          (Class ?Restriction)
          (Subclass-Of (Exact-Domain ?Relation) ?Restriction)))

Other Related Axioms:

(Domain All-Instances Class)

(Domain Subclass-Of Class)

(Domain Subrelation-Of Relation)

(Domain Arity Relation)

(Domain Exact-Domain Relation)

(Domain Exact-Range Relation)

(Domain Composition-Of Binary-Relation)

(Domain Alias Relation)

(=> (Domain $X $Y) (Class $Y))

(=> (Domain $X $Y) (Binary-Relation $X))

(<=> (Domain ?Relation ?Restriction)
     (And (Binary-Relation ?Relation)
          (Class ?Restriction)
          (Subclass-Of (Exact-Domain ?Relation) ?Restriction)))

(<=> (Domain-Of $Arg1 $Arg2) (Domain $Arg2 $Arg1))

(Inverse Domain-Of Domain)

(Domain Range Relation)

(Domain Relation-Universe Relation)

(Domain Subclass-Partition Class)

Notes: