I have removed the axiom :intervalEquals owl:propertyDisjointWith :in…

…tervalIn that was repeated in the Spanish section
w3c · Feb 6, 2018 · e6c08c0 · e6c08c0
1 parent 4239832
commit e6c08c0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git 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
@@ -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>