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

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