Re: model theory publication draft

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 UTC