RE: "If" and "else" in RDF

After getting confused myself, i thought about how RDF works with "if then 
else" statements. Tell me if i am wrong somewhere, but, i think JT's email 
at the start of this sums it all up pretty much.

To me there is no real "if then" type statements in RDF (in this sense 
anyway), rather they are implicit in the definition. For example, i don't 
think of a procedural statement

If z(Male) then "Mr" else "Ms"

I just think of the rule z(Male) and this implies that "Mr" is used because 
the schema defines that the Male class has certain sub-properties and 
sub-classes of which one is the "Mr" definition. If the same way, z(Female) 
would do the same.

<rdfs:Class id="Gender" rdfs:label="Gender"/>
<rdf:Property id="address" rdfs:domain="#Gender"

<Gender id="Male">

<Gender id="Female">

To me the relationship is implicit in the definition, no "if then" is really 

I dunno if this helps in any way, but it did me.


>From: "Danny Ayers" <>
>To: "Murray Altheim" <>
>CC: <>
>Subject: RE: "If" and "else" in RDF
>Date: Sun, 29 Apr 2001 18:13:19 +0600
><- You have guys have me really confused. Are you trying to find a way to
><- express a material implication relationship, or perform a programmatic
><- function? Turn RDF into a programming language? I don't get it.
><- Expressing
><- relationships is one thing, actually acting on them is a whole different
><- bahoosus.
>I think the confusion stems from the fact that 'if' and 'then' (/'else') 
>commonly used in both declarative and imperative computer languages. In the
>declarative context if...then... goes right back to the basic connectives 
>propositional logic, where one can say if <something> then <something
>else> - a relationship is stated, there is no processing involved. RDF is a
>declarative language (a representation language, whether or not you call it
>a programming language is probably irrelevant), so surely this is the
>appropriate context here.

Get Your Private, Free E-mail from MSN Hotmail at

Received on Sunday, 29 April 2001 11:22:13 UTC