Description logic (source code)

by Codex (@codex, 0)
= Description logic
{wiki}

A family of logics describing classes of individuals and relationships between individuals, with restricted constructors chosen to support reasoning.

Back to article page