From e6c08c0bb21f3b63c6de0d4b1b6fadc3d6e1bc1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mariano=20Fern=C3=A1ndez-L=C3=B3pez?=
 <marianofl1971@gmail.com>
Date: Tue, 6 Feb 2018 20:33:42 +0100
Subject: [PATCH] I have removed the axiom :intervalEquals
 owl:propertyDisjointWith :intervalIn that was repeated in the Spanish section

---
 time/rdf/time.nt  | 1 -
 time/rdf/time.rdf | 1 -
 2 files changed, 2 deletions(-)

diff --git a/time/rdf/time.nt b/time/rdf/time.nt
index 3567fac7..91e3c572 100644
--- a/time/rdf/time.nt
+++ b/time/rdf/time.nt
@@ -1147,7 +1147,6 @@ _:Bc9a16196f5b9c890ea632708b5856e1d <http://www.w3.org/2001/XMLSchema#pattern> "
 <http://www.w3.org/2006/time#intervalEquals> <http://www.w3.org/2004/02/skos/core#definition> "Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2."@es .
 <http://www.w3.org/2006/time#intervalEquals> <http://www.w3.org/2000/01/rdf-schema#label> "intervalo igual"@es .
 <http://www.w3.org/2006/time#intervalEquals> <http://www.w3.org/2000/01/rdf-schema#comment> "Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2."@es .
-<http://www.w3.org/2006/time#intervalEquals> <http://www.w3.org/2002/07/owl#propertyDisjointWith> <http://www.w3.org/2006/time#intervalIn> .
 <http://www.w3.org/2006/time#intervalEquals> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Description> .
 <http://www.w3.org/2006/time#MonthOfYear> <http://www.w3.org/2004/02/skos/core#note> "La pertenencia a la clase 'mes del año' está abierta, a permitir calendarios anuales alternativos y diferentes nombres de meses."@es .
 <http://www.w3.org/2006/time#MonthOfYear> <http://www.w3.org/2004/02/skos/core#editorialNote> "Característica en riesgo - añadida en la revisión de 2017, y no utilizada todavía de forma amplia."@es .
diff --git a/time/rdf/time.rdf b/time/rdf/time.rdf
index d36d67a6..bf9c8228 100644
--- a/time/rdf/time.rdf
+++ b/time/rdf/time.rdf
@@ -1775,7 +1775,6 @@ It is deprecated in this edition of OWL-Time. </skos:historyNote>
 
 
     <rdfs:Description rdf:about="http://www.w3.org/2006/time#intervalEquals">
-        <owl:propertyDisjointWith rdf:resource="http://www.w3.org/2006/time#intervalIn"/>
         <rdfs:comment xml:lang="es">Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2.</rdfs:comment>
         <rdfs:label xml:lang="es">intervalo igual</rdfs:label>
         <skos:definition xml:lang="es">Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2.</skos:definition>