Unfortunately, that would not be enough. The current rule set allows for functional datatype properties (third rule in table 4) that could lead to a "1"^^xsd:integer owl:sameAs "1"^^xsd:integer for example. :-( Ivan Alan Ruttenberg wrote: > > On Aug 19, 2008, at 4:24 PM, Boris Motik wrote: > >> I really think we can't do much there. The problem occurs basically >> because already the RDFS model theory contains consequences that >> >> cannot be represented using the triple structure. For example, the >> "pidgin" triple >> >> >> ( "1"^^xsd:integer, rdf:type, xsd:integer ) >> > > We could consider having owl:isTypeOf as a reverse version of rdf:type, > then write: > > xsd:integer owl:isTypeOf "1"^^xsd:integer > > Perhaps the rules can be written using this instead and therefore keep > within the (current) triple model. > > -Alan -- Ivan Herman, W3C Semantic Web Activity Lead Home: http://www.w3.org/People/Ivan/ PGP Key: http://www.ivan-herman.net/pgpkey.html FOAF: http://www.ivan-herman.net/foaf.rdf
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 20 August 2008 07:37:55 GMT