- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Wed, 29 Jan 2003 21:39:13 +0100
- To: pfps@research.bell-labs.com
- Cc: bwm@hplb.hpl.hp.com, www-rdf-comments@w3.org, www-rdf-comments-request@w3.org
[sorry to reply again...]
> For example,
>
> ex:Cretan rdf:subClassOf ex:Person .
> ex:Cretan rdfs:comment "All Cretans are liars" .
>
> would mean that the model theoretic consequences of
>
> ex:John rdf:type ex:Cretan .
>
> would include that John is a liar.
Not when you write that as ex:John rdf:type ex:Liar.
"All Cretans are liars" is just a plain literal
A plain literal is either
* a Unicode string in Normal Form C
* a pair of such a string and a language tag
and is opaque to any likely RDF inference engine
but *can* be carried by formal entailments
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 29 January 2003 15:40:11 UTC