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: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Wed, 20 Aug 2008 02:03:15 -0400
Message-Id: <646A16B8-F12A-4C6E-850D-DB363D1D97D7@gmail.com>
Cc: "'OWL Working Group WG'" <public-owl-wg@w3.org>
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk> 

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
Received on Wednesday, 20 August 2008 06:03:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 20 August 2008 06:03:59 GMT