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 at http://groups.google.com/group/topbraid-users?hl=en
