Matthew; Thanks for the detailed report. Sorry there wasn't an earlier response to this. The problem was verified in 3.5.2 and 3.5.4, but has been fixed in the 3.6.0 beta. You can take a look by downloading at http://www.topquadrant.com/products/TB_install.php
Thanks again, -- Scott On Jan 19, 8:32 pm, "matthew.gamble" <[email protected]> wrote: > Hi, > > I've just started using TopBraid free edition and whilst experimenting > with keys I have spotted an issue > > 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 also have a owl:sameAs relation inferred > between the two separate individuals - the explanation puts it down to > the prp-key rule. > > These inferences are not expected - I believe it is down to the fact that > when the prp-key rule is imported despite the owlrl:keyViolation's filter > being defined @http://topbraid.org/spin/owlrlas: > > <sp:ne rdf:nodeID="A68"> > <sp:arg2 rdf:parseType="Resource"> > <sp:varName rdf:datatype="http://www.w3.org/2001/XMLSchema#string"; > >z2</sp:varName> > </sp:arg2> > <sp:arg1 rdf:parseType="Resource"> > <sp:varName rdf:datatype="http://www.w3.org/2001/XMLSchema#string"; > >z1</sp:varName> > </sp:arg1> > </sp:ne> > > it gets imported with sp:eq rather than sp:ne - and therefore inverting the > behaviour. > > If I import it into my own workspace and edit the rule then it functions as > expected. > > Best, > Matthew > > P.s. Here is an example that will result in the described 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 . -- 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
