Re: some errors in the MT

Pat,

> There are some serious bugs in the RDFS closure table in section 6 of
> the MT WP. See a recent message from Peter Patel-Schneider and my
> reply, on rdf-logic
> http://lists.w3.org/Archives/Public/www-rdf-logic/2001Sep/0033.html.
>   I will try to get the bugs out and produce a revision as soon as
> possible (couple of days).

yes, we also tried to do some testing
and for the moment we have the following triples
(which are true in any RDFS interpretation)

====
rdfs:Resource a rdfs:Class .
rdfs:domain a rdfs:ConstraintResource .
rdfs:range a rdfs:ConstraintResource .
rdf:type rdfs:domain rdfs:Resource .
rdf:type rdfs:range rdfs:Class .
rdfs:subClassOf rdfs:domain rdfs:Class .
rdfs:subClassOf rdfs:range rdfs:Class .
rdfs:subPropertyOf rdfs:domain rdfs:Property .
rdfs:subPropertyOf rdfs:range rdfs:Property .
rdfs:domain rdfs:domain rdf:Property .
rdfs:domain rdfs:range rdfs:Class .
rdfs:range rdfs:domain rdf:Property .
rdfs:range rdfs:range rdfs:Class .
====

plus the MT rules except 3a, 3b, 7, 9a and 9b

i'm not sure about
  rdf:type rdfs:domain rdfs:Resource .
which would also have lead to rule 7a and 7b

we now have that the schema-closure of the graph
consisting of the single triplet
  :foo :bar :baz .
is

====
:foo a rdfs:Resource .
:foo :bar :baz .
:bar a rdfs:Resource .
:bar a rdf:Property .
:baz a rdfs:Resource .
rdf:type a rdfs:Resource .
rdf:type a rdf:Property .
rdf:type rdfs:domain rdfs:Resource .
rdf:type rdfs:range rdfs:Class .
rdfs:Resource a rdfs:Class .
rdfs:Resource a rdfs:Resource .
rdf:Property a rdfs:Resource .
rdf:Property a rdfs:Class .
rdf:Property rdfs:subClassOf rdfs:Resource .
rdfs:Class a rdfs:Resource .
rdfs:Class a rdfs:Class .
rdfs:domain a rdfs:ConstraintResource .
rdfs:domain a rdfs:Resource .
rdfs:domain a rdf:Property .
rdfs:domain rdfs:domain rdf:Property .
rdfs:domain rdfs:range rdfs:Class .
rdfs:range a rdfs:ConstraintResource .
rdfs:range a rdfs:Resource .
rdfs:range a rdf:Property .
rdfs:range rdfs:domain rdf:Property .
rdfs:range rdfs:range rdfs:Class .
rdfs:subClassOf a rdfs:Resource .
rdfs:subClassOf a rdf:Property .
rdfs:subClassOf rdfs:domain rdfs:Class .
rdfs:subClassOf rdfs:range rdfs:Class .
rdfs:subPropertyOf a rdfs:Resource .
rdfs:subPropertyOf a rdf:Property .
rdfs:subPropertyOf rdfs:domain rdfs:Property .
rdfs:subPropertyOf rdfs:range rdfs:Property .
====

(as you know, we have proven that entailment
using some set of N3 rules and we have assumed
that literals are resources, but I won't touch
that subject now, because I feel some fever)

--
Jos De Roo

Received on Thursday, 27 September 2001 12:22:21 UTC