W3C home > Mailing lists > Public > public-owl-wg@w3.org > August 2008

Re: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position

From: Ivan Herman <ivan@w3.org>
Date: Wed, 20 Aug 2008 09:37:21 +0200
Message-ID: <48ABC9B1.7000804@w3.org>
To: Alan Ruttenberg <alanruttenberg@gmail.com>
CC: Boris Motik <boris.motik@comlab.ox.ac.uk>, 'OWL Working Group WG' <public-owl-wg@w3.org>
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


Received on Wednesday, 20 August 2008 07:37:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 20 August 2008 07:37:55 GMT