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

Ie, it is even worse:-)

Ivan

Michael Schneider wrote:
> Ivan Herman wrote:
> 
>> 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
> 
> You don't need functional properties for this. If there is any triple in the graph having the literal "1"^^xsd:integer in its object position, then you get the above RDF-invalid triple from applying the rules for owl:sameAs. See table 3, first row.
> 
> Cheers,
> Michael
> 
>> 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
> 
> --
> Dipl.-Inform. Michael Schneider
> FZI Forschungszentrum Informatik Karlsruhe
> Abtl. Information Process Engineering (IPE)
> Tel  : +49-721-9654-726
> Fax  : +49-721-9654-727
> Email: Michael.Schneider@fzi.de
> Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555
> 
> FZI Forschungszentrum Informatik an der Universität Karlsruhe
> Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
> Tel.: +49-721-9654-0, Fax: +49-721-9654-959
> Stiftung des bürgerlichen Rechts
> Az: 14-0563.1 Regierungspräsidium Karlsruhe
> Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
> Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
> 

-- 

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