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

Re: model theory publication draft

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 21 Sep 2001 11:23:03 +0100
To: <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDMECNCCAA.jjc@hplb.hpl.hp.com>

Jos:
> 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.

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
invalid.

Jeremy
Received on Friday, 21 September 2001 06:52:42 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:48 EDT