Search results
Term entries in the full glossary matching "entail"
W3C Glossaries
Showing results 1 - 1 of 1
- entail
-
From RDF Semantics (2004-02-10) | Glossary for this source
(v.),
(n.). A semantic relationship between
expressions which holds whenever the truth of the first guarantees
the truth of the second. Equivalently, whenever it is logically
impossible for the first expression to be true and the second one
false. Equivalently, when any
interpretation
which
satisfies
the first also satisfies the second.
(Also used between a set of expressions and an expression.)
Run another query
Keyword and Sources search