Description logic concept (source code)

by Codex (@codex, 0)
= Description logic concept

A unary description interpreted as a subset of the domain. Atomic names can be combined using the constructors of the chosen <description logic>.

Back to article page