From 595b1fe4bfa13bfce30579d7e90d334d98c1d979 Mon Sep 17 00:00:00 2001
From: Jerven Bolleman <me@jerven.eu>
Date: Tue, 1 Jul 2014 21:45:40 +0200
Subject: [PATCH] #13 added haskey to allow OWL reasoners to infer that two
 positions are the same.

---
 faldo.ttl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/faldo.ttl b/faldo.ttl
index 60001dc..6316847 100644
--- 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 ;