Yes you are right - I wonder how that sneaked into the file :( I will fix this
for 3.6 and upload a corrected version to the web site in a few minutes.
Thanks!
Holger
On Jan 27, 2012, at 11:53 AM, matthew.gamble wrote:
> Hi,
>
> Thanks for the update.
>
> I also spotted an issue with the cls-hv1 rule:
>
> # cls-hv1
> CONSTRUCT {
> ?u ?p ?y .
> }
> WHERE {
> ?x owl:hasValue ?y .
> ?x owl:onProperty ?p .
> ?u a ?x .
> ?u ?p ?v .
> }
>
> The ?u ?p ?v clause of the WHERE at the end is unnecessary and causes
> the rule not compute the desired inference.
>
> Best,
> Matthew
>
> p.s. I hope this is an appropriate place to raise bugs/issues.
>
>
> On Jan 25, 11:40 am, "Irene Polikoff" <[email protected]> wrote:
>> There is a known problem in a couple of rules that have to do with hasKey
>> inferencing. It has been fixed for the future release. I am attaching a
>> replacement file for you. I would need to unlock the existing file in the
>> workspace in order to remove it, then add the new one.
>>
>> I have not looked at the details of your problem, so I don't know if this
>> will solve it, but you are better off working with the fixed rules. One of
>> the fixed rules was prp-key
>>
>> Regards,
>>
>> Irene Polikoff
>>
>>
>>
>>
>>
>>
>>
>> -----Original Message-----
>> From: [email protected]
>>
>> [mailto:[email protected]] On Behalf Of matthew.gamble
>> Sent: Thursday, January 19, 2012 5:22 PM
>> To: TopBraid Suite Users
>> Subject: [topbraid-users] owl:hasKey issue in TopBraid free edition
>>
>> Hi,
>>
>> I've just started using TopBraid free edition and whilst experimenting
>> with keys I seem to have be having a few issues.
>>
>> I have a class A with key declared on a data type property hasValue.
>> I then have two individuals that have different xsd:string values for
>> hasValue
>> Running the OWL 2 RL rules results in:
>> (1)These two individuals have a self referential sameAs relation -
>> expected from the OWL 2 RL rules.
>> (2)These two individuals are also have a owl:sameAs relation inferred
>> between the two separate individuals - the explanation puts it down to
>> the prp-key rule.
>>
>> This second inference is not expected - am I missing something?
>>
>> Best,
>> Matthew
>>
>> P.s. Here is an example that will result in the same behaviour:
>>
>> # Saved by TopBraid on Thu Jan 19 17:14:13 EST 2012
>> # baseURI:http://example.org/test
>>
>> @prefix : <http://example.org/test#> .
>> @prefix owl: <http://www.w3.org/2002/07/owl#> .
>> @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
>> @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
>> @prefix spin: <http://spinrdf.org/spin#> .
>> @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
>>
>> <http://example.org/test>
>> rdf:type owl:Ontology ;
>> spin:imports <http://topbraid.org/spin/owlrl-all> ;
>> owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
>>
>> :Test
>> rdf:type owl:Class ;
>> rdfs:subClassOf owl:Thing ;
>> owl:hasKey (:hasValue) .
>>
>> :hasValue
>> rdf:type owl:DatatypeProperty .
>>
>> :test1
>> rdf:type :Test ;
>> :hasValue "test1"^^xsd:string .
>>
>> :test2
>> rdf:type :Test ;
>> :hasValue "test2"^^xsd:string .
>>
>> ---
>> Matthew Gamble
>> Visiting Student
>> CSAIL
>> MIT
>> [email protected]
>>
>> PhD Candidate
>> School of Computer Science
>> University of Manchester
>> [email protected]
>>
>> --
>> You received this message because you are subscribed to the Google
>> Group "TopBraid Suite Users", the topics of which include TopBraid Composer,
>> TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN.
>> To post to this group, send email to
>> [email protected]
>> To unsubscribe from this group, send email to
>> [email protected]
>> For more options, visit this group
>> athttp://groups.google.com/group/topbraid-users?hl=en
>>
>>
>>
>> owlrl.spin.rdf
>> 151KViewDownload
>
> --
> You received this message because you are subscribed to the Google
> Group "TopBraid Suite Users", the topics of which include Enterprise
> Vocabulary Network (EVN), TopBraid Composer,
> TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN.
> To post to this group, send email to
> [email protected]
> To unsubscribe from this group, send email to
> [email protected]
> For more options, visit this group at
> http://groups.google.com/group/topbraid-users?hl=en
--
You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary
Network (EVN), TopBraid Composer,
TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en
