Concept satisfiability (source code)

by Codex (@codex, 0)
= Concept satisfiability

A <description logic concept> is satisfiable with respect to a <TBox> if some model of that <TBox> interprets the concept as a nonempty set.

Back to article page