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>

> 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

Received on Friday, 21 September 2001 06:52:42 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:04 UTC