Re: [RDFTM] preliminary draft

>Dear all,
>
>here the pointer to our preliminary 
>draft: <http://tesi.fabio.web.cs.unibo.it/RDFTM/RDFTMInteroperabilityGuidelines>http://tesi.fabio.web.cs.unibo.it/RDFTM/RDFTMInteroperabilityGuidelines
>At the moment we worked out the "informal" description of the rules.

If I might make a suggestion, it is usually less 
work in the long run to work out the formal 
mappings first, and then make sure that the 
informal account follows the mathematics. 
Informal rules made without paying attention to 
the underlying foundations are almost never 
correct.

>Unfortunately we did not address all the issues 
>but it is very important for the TF to have your 
>opinion about the approach taken and the 
>structure of the document.

A first quick look prompts the following immediate comment.

The translation from RDFS to TM is defined in 
such a way that it depends on information which 
may not be available, in particular whether a 
resource is a member of the class 
rdftm:InformationResource. What is the intended 
translation technique to be used when membership 
in this class is unknown (as it will often be, 
presumably)?

A related point, the document gives as an RDFTM 'rule',

"If the resource is not an instance of 
rdftm:InformationResource, the resource becomes a 
subject locator..."

How is it possible to determine in RDFS that a 
resource is NOT an instance of a class? Such 
information can be expressed in OWL, but not in 
RDFS. It is not valid to infer non-membership in 
a class from a failure to prove membership in 
that class. The translation rule as stated seems 
therefore to be inapplicable to RDFS-to-TM 
translation, or ill-defined, or possibly both.

I will send other comments later when I have had 
time to study the document more carefully, but 
these points seem central and require immediate 
attention.

Pat Hayes

>
>We are still adding contents, so it's likely 
>we'll have few more elements to discuss about 
>during the f2f.
>
>Many thanks for your help.
>
>Regards,
>Valentina
>
>
>-----------------------------------------------------------
>
>Valentina Presutti
>
>
>Phd Student of Computer Science
>
>Department of Computer Science
>
>University of Bologna
>
>Mura anteo Zamboni 7
>
>Ph. +39 (0)51 20 94871
>
>Fax. +39 (0)51 20 94510
>
>home page: <http://www.cs.unibo.it/~presutti>http://www.cs.unibo.it/~presutti


-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Thursday, 27 October 2005 20:14:17 UTC