Sandro Hawke sandro@w3.org
An encoding for LX sentences and their syntactic components
into RDF triples. Since LX is an extension of RDF, this can be
used for RDF reification.
$Id: v1.rdf,v 1.2 2002/08/29 19:33:56 sandro Exp $
Obsoleted by
<a href="http://www.w3.org/2002/08/LX/RDF/v2">v2</a>
A formula whose truth value is the boolean "and" of the
truth values of its left and right subformulas.
A <a href="#Sentence">Sentence</a> which is as untrue as
the RDF statement(s) being used to state (or imply) that this is a true
sentence. These may not contain negated syntactic loops.
False Sentence
Falsehood
Refutation
The looping restriction, similar to KIF's wtr, makes
the existence of a liar paradox statement ('this is false')
forbidden. @@@ link to discussion?
A Triple or a Conjunction, Disjunction, Conditional,
Biconditional, or Quantification whose subformulas are Formulas.
Logic Formula
It's hard to find a good definition which is not
inductive, build from these subclasses. Maybe that's good
enough.
A formula whose truth value depends on the truth value
of its subformula after substition of its variable.
We don't distinguish between existential and universal
quantification here; that distinction is a property of the
variables themselves. This is somewhat non-traditional, but I
think it makes the formal semantics simpler.
A <a href="#Formula">Formula</a> with no free
variables.
For us this means every <a href="#Term">Term</a> either
has a <a href="#denotation">denotation<a/> or is
is quantified (using a properly structured <a
href="#Quantification">
Quantification</a>.
Closed Formula
Logic Sentence
A property relating formulas and their component
subformulas or 'child' formulas
Should this be a class of properties, or should it be a
property? Let's try a class for now.
An atomic formula which implicitly uses the ternary "rdf"
predicate to relate the things denoted by three terms: the <a
href="#subject">subject</a>, <a href="#predicate">predicate</a>,
and <a href="#drectObject">direct object</a>.
RDF Atomic Formula
Triple
This is very similar to an <a
href="http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement"
>rdf:Statement</a> but provides an additional a layer of
indirection so we can easily distinguish terms (variables and
constants) from the objects-in-the-domain-of-discourse which they
denote.
A <a href="#Sentence">Sentence</a> which is as true as
the RDF statement(s) being used to state (or imply) that this is a true
sentence. These may not contain negated syntactic loops.
Assertion
True Sentence
Truth
The looping restriction, similar to KIF's wtr, makes
the existence of a liar paradox statement ('this is false')
forbidden. @@@ link to discussion?
both
left subformula of conjunction
and
right subformula of conjunction
The thing (resource, object in domain of discourse) which
is denoted by the subject.
We normally use URI-References, but that's a special
case of this
log:uri may not be the same; it's not subject to
substitution.
A string which identifies exactly one thing (the subject)