W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

Re: model theory publication draft

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Fri, 21 Sep 2001 09:25:27 -0500
Message-Id: <p05101012b7d0fd7258be@[]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org
>>  we want to see the entailment
>>    |- rdfs:range rdf:type rdfs:Property.
>>  i.e. out of nothing (besides those rules of course)
>That, would be broken inference.

It wouldn't be rdf-valid (for exactly the reasons you give), but it 
is valid in rdfs. In pure rdf, 'rdfs:range' and 'rdfs:Property' are 
just urirefs with no special meaning, but they do have a special 
meaning in rdfs.  That is why we have to  have extra rules, or 
something, to capture all of rdfs.


>The empty model with no assertions, i.e. every value of IEXT is empty, is a
>model for those rules.
>Hence if you can do the inference given, your rules of inference are

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Friday, 21 September 2001 10:25:31 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:51 UTC