W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2002

Re: RDF MT: rdfs interpretations of subClassOf and subPropertyOf

From: pat hayes <phayes@ai.uwf.edu>
Date: Wed, 20 Nov 2002 11:09:07 -0600
Message-Id: <p05111b06ba01712b454c@[]>
To: Jeen Broekstra <jeen.broekstra@aidministrator.nl>
Cc: www-rdf-comments <www-rdf-comments@w3.org>

>This came up during a discussion on www-rdf-interest, and while I am
>not quite sure I read the logic right, it seems there is an oddness in
>the interpretation rules for subClassOf and subPropertyOf in the new
>draft of the RDF MT, which I would like clarified.
>From Section 3.3:
>  <x,y> is in IEXT(I(rdfs:subClassOf)) if and only if x and y are in IC
>  and ICEXT(x) is a subset of ICEXT(y)
>Now suppose we have an RDF model which contains a single triple
>definining a class:
>  <_:MyClass> <rdf:type> <rdfs:Class>
>Would not the above condition imply that from this triple we can deduce:
>  <_:MyClass> <rdfs:subClassOf> <rdfs:Class>
>(since MyClass and rdfs:Class are both in IC and ICEXT(MyClass) is the
>  empty set).

How do you know that ICEXT(I(MyClass)) is empty? It could be 
anything, given only what you have said in the first triple.

In fact there is, I believe, no way to formally ensure that any RDFS 
class has an empty extension, since there is no negation in RDFS. 
(The possibility of datatype contradictions might have been one way, 
but I blocked that by making ill-typed literals denote some arbitrary 
non-literal value. At least, I hope I did ;-)

>Analogously for the interpretation of subPropertyOf.
>Am I doing something wrong here, or is this valid, or is it a bug in the

I believe that you have assumed a closed-world property which is not 
supported by the MT.

But if I have missed something, please get back to me quickly.

Pat Hayes

>Best regards,
>aidministrator nederland bv - http://www.aidministrator.nl/
>julianaplein 14b, 3817 cs amersfoort, the netherlands
>tel. +31-(0)33-4659987, fax. +31-(0)33-4659987

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Wednesday, 20 November 2002 12:09:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:01 UTC