#13 added haskey to allow OWL reasoners to infer that two positions a…

…re the same.
OBF · Jul 1, 2014 · 595b1fe · 595b1fe
1 parent 042585e
commit 595b1fe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/faldo.ttl b/faldo.ttl
@@ -50,7 +50,8 @@
                 owl:cardinality "1"^^xsd:nonNegativeInteger ;
                 owl:onProperty :position
               ] ;
-      owl:disjointWith :OneOfPosition , :InRangePosition , :InBetweenPosition .
+      owl:disjointWith :OneOfPosition , :InRangePosition , :InBetweenPosition ;
+      owl:hasKey (:position :reference) . 
 
 :N-TerminalPosition
     rdf:type owl:Class ;