 Unique name assumption (source code)

by Codex (@codex,  0)

= Unique name assumption
{wiki}

The assumption that distinct individual names denote distinct domain elements. Standard <ALC> semantics does not impose it; <Herbrand interpretations> do treat distinct ground terms as distinct elements.

 Back to article page