Glossary of "RDF Semantics"

Term entries in the "RDF Semantics" glossary

W3C Glossaries

Showing results 21 - 35 of 35

model theory

From RDF Semantics (2004-02-10)

monotonic

From RDF Semantics (2004-02-10)

(adj., of a logic or inference system) Satisfying the condition that if S entails E then (S + T) entails E, i.e. adding information to some antecedents cannot invalidate a valid entailment.
nonmonotonic

From RDF Semantics (2004-02-10)

(adj.,of a logic or inference system) Not monotonic . Non-monotonic formalisms have been proposed and used in AI and various applications. Examples of nonmonotonic inferences include default reasoning , where one assumes a 'normal' general truth unless it is contradicted by more particular information (birds normally fly, but penguins don't fly); negation-by-failure , commonly assumed in logic programming systems, where one concludes, from a failure to prove a proposition, that the proposition is false; and implicit closed-world assumptions , often assumed in database applications, where one concludes from a lack of information about an entity in some corpus that the information is false (e.g. that if someone is not listed in an employee database, that he or she is not an employee.)
ontological

From RDF Semantics (2004-02-10)

(adj.) (Philosophy) Concerned with what kinds of things really exist. (Applied) Concerned with the details of a formal description of some topic or domain.
proposition

From RDF Semantics (2004-02-10)

(n.) Something that has a truth-value; a statement or expression that is true or false.
reify

From RDF Semantics (2004-02-10)

(v.), (n.) To categorize as an object; to describe as an entity. Often used to describe a convention whereby a syntactic expression is treated as a semantic object and itself described using another syntax. In RDF, a reified triple is a description of a triple-token using other RDF triples.
resource

From RDF Semantics (2004-02-10)

(n.)(as used in RDF)(i) An entity; anything in the universe. (ii) As a class name: the class of everything; the most inclusive category possible.
satisfy

From RDF Semantics (2004-02-10)

(v.t.), ,(n.) (adj., of an interpretation). To make true. The basic semantic relationship between an interpretation and an expression. X satisfies Y means that if the world conforms to the conditions described by X, then Y must be true.
semantic

From RDF Semantics (2004-02-10)

(adj.) , (n.). Concerned with the specification of meanings. Often contrasted with syntactic to emphasize the distinction between expressions and what they denote.
token

From RDF Semantics (2004-02-10)

universe

From RDF Semantics (2004-02-10)

(n., also Universe of discourse ) The universal classification, or the set of all things that an interpretation considers to exist. In RDF/S, this is identical to the set of resources.
use

From RDF Semantics (2004-02-10)

(v.) contrasted with mention ; to use a piece of syntax to denote or refer to something else. The normal way that language is used.
valid

From RDF Semantics (2004-02-10)

(adj., of an inference or inference process) Corresponding to an entailment , i.e. the conclusion of the inference is entailed by the antecedent of the inference. Also correct .
well-formed

From RDF Semantics (2004-02-10)

world

From RDF Semantics (2004-02-10)

(n.) (with the: ) (i) The actual world. (with a: ) (ii) A way that the actual world might be arranged. (iii) An interpretation (iv) A possible world.

The Glossary System has been built by Pierre Candela during an internship in W3C; it's now maintained by Dominique Hazael-Massieux

Copyright © 2000-2003W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply. Your interactions with this site are in accordance with our public and Member privacy statements.