diff --git a/src/ontology/imports/go_taxon_constraints.owl b/src/ontology/imports/go_taxon_constraints.owl index 03e27d3a4a..bc304f310f 100644 --- a/src/ontology/imports/go_taxon_constraints.owl +++ b/src/ontology/imports/go_taxon_constraints.owl @@ -1617,6 +1617,25 @@ + + + + + + + + + + + + + + + + + + + @@ -2295,12 +2314,12 @@ - - - + + + - + @@ -2308,7 +2327,7 @@ - + @@ -2316,26 +2335,26 @@ - + - + PMID:30034391 - + PMID:30034391 - + PMID:30034391 @@ -2888,30 +2907,64 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - + - + PMID:24739148 - + PMID:24739148 @@ -3004,6 +3057,74 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3318,27 +3439,27 @@ - - + + - + - + - + PMID:12382326 - + PMID:12382326 @@ -6677,6 +6798,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6974,7 +7129,7 @@ - + @@ -6985,7 +7140,7 @@ - + @@ -6994,24 +7149,24 @@ - + - + - + PMID:19802707 - + PMID:19802707 @@ -7594,24 +7749,24 @@ - - - - - - - - - - - - + + + + + + + + + + + + - + @@ -7619,7 +7774,7 @@ - + @@ -7627,7 +7782,7 @@ - + @@ -7635,7 +7790,7 @@ - + @@ -7643,7 +7798,7 @@ - + @@ -7651,7 +7806,7 @@ - + @@ -7659,7 +7814,7 @@ - + @@ -7667,7 +7822,7 @@ - + @@ -7675,92 +7830,92 @@ - + - + - + - + - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 @@ -7927,10 +8082,10 @@ - - - - + + + + @@ -7951,10 +8106,10 @@ - - - - + + + + @@ -7967,10 +8122,10 @@ - - - - + + + + @@ -7978,7 +8133,7 @@ - + @@ -7986,7 +8141,7 @@ - + @@ -7994,7 +8149,7 @@ - + @@ -8002,7 +8157,7 @@ - + @@ -8010,7 +8165,7 @@ - + @@ -8018,7 +8173,7 @@ - + @@ -8026,7 +8181,7 @@ - + @@ -8034,7 +8189,7 @@ - + @@ -8042,92 +8197,92 @@ - + - + - + - + - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 @@ -8718,24 +8873,24 @@ - - - - - - - - - - - - + + + + + + + + + + + + - + @@ -8743,7 +8898,7 @@ - + @@ -8751,7 +8906,7 @@ - + @@ -8759,7 +8914,7 @@ - + @@ -8767,7 +8922,7 @@ - + @@ -8775,7 +8930,7 @@ - + @@ -8783,7 +8938,7 @@ - + @@ -8791,7 +8946,7 @@ - + @@ -8799,92 +8954,92 @@ - + - + - + - + - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 @@ -11425,27 +11580,27 @@ - - + + - + - + - + PMID:28193819 - + PMID:28193819 @@ -12639,16 +12794,16 @@ - - - - - - + + + + + + - + @@ -12656,7 +12811,7 @@ - + @@ -12664,7 +12819,7 @@ - + @@ -12672,7 +12827,7 @@ - + @@ -12680,48 +12835,48 @@ - + - + - + PMID:29456243 - + PMID:29456243 - + PMID:29456243 - + PMID:29456243 - + PMID:29456243 - + PMID:29456243 @@ -12814,28 +12969,28 @@ - - + + - + - + - + PMID:10629216 PMID:14504266 - + PMID:10629216 PMID:14504266 @@ -12845,28 +13000,28 @@ - - + + - + - + - + PMID:10629216 PMID:14504266 - + PMID:10629216 PMID:14504266 @@ -12876,28 +13031,28 @@ - - + + - + - + - + PMID:10629216 PMID:14504266 - + PMID:10629216 PMID:14504266 @@ -12907,28 +13062,28 @@ - - + + - + - + - + PMID:10629216 PMID:14504266 - + PMID:10629216 PMID:14504266 @@ -12938,28 +13093,28 @@ - - + + - + - + - + PMID:10629216 PMID:14504266 - + PMID:10629216 PMID:14504266 @@ -12969,28 +13124,28 @@ - - + + - + - + - + PMID:10629216 PMID:14504266 - + PMID:10629216 PMID:14504266 @@ -13240,27 +13395,27 @@ - - + + - + - + - + PMID:12722949 - + PMID:12722949 @@ -15095,30 +15250,98 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - + - + PMID:11082195 - + PMID:11082195 @@ -15807,6 +16030,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15820,6 +16077,12 @@ + + + + + + @@ -15830,6 +16093,12 @@ + + + + + + @@ -16962,6 +17231,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -18183,12 +18486,12 @@ - - - + + + - + @@ -18196,7 +18499,7 @@ - + @@ -18204,26 +18507,26 @@ - + - + PMID:37550452 - + PMID:37550452 - + PMID:37550452 @@ -18311,6 +18614,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19700,7 +20037,7 @@ - + @@ -19717,7 +20054,7 @@ - + @@ -19730,11 +20067,11 @@ - + - + @@ -19742,7 +20079,7 @@ - + @@ -19750,26 +20087,26 @@ - + - + GOC:kmv - + GOC:kmv - + GOC:kmv @@ -19989,27 +20326,27 @@ - - + + - + - + - + PMID:15803654 - + PMID:15803654 @@ -23309,27 +23646,27 @@ - - + + - + - + - + PMID:28326 - + PMID:28326 @@ -24616,30 +24953,64 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - + - + PMID:16535664 - + PMID:16535664 @@ -24648,27 +25019,27 @@ - - + + - + - + - + PMID:15073291 - + PMID:15073291 @@ -24730,27 +25101,27 @@ - - + + - + - + - + PMID:17400742 - + PMID:17400742 @@ -25010,21 +25381,21 @@ - - - - - - - - + + + + + + + + - + @@ -25032,7 +25403,7 @@ - + @@ -25040,11 +25411,11 @@ - + - + @@ -25052,7 +25423,7 @@ - + @@ -25060,64 +25431,64 @@ - + - + - + - + PMID:34140356 - + PMID:34140356 - + https://en.wikipedia.org/wiki/Animal_echolocation - + PMID:34140356 - + PMID:34140356 - + https://en.wikipedia.org/wiki/Animal_echolocation - + PMID:34140356 - + PMID:34140356 @@ -25418,24 +25789,24 @@ - - - - - - - - - - - - + + + + + + + + + + + + - + @@ -25443,7 +25814,7 @@ - + @@ -25451,7 +25822,7 @@ - + @@ -25459,7 +25830,7 @@ - + @@ -25467,7 +25838,7 @@ - + @@ -25475,7 +25846,7 @@ - + @@ -25483,7 +25854,7 @@ - + @@ -25491,7 +25862,7 @@ - + @@ -25499,92 +25870,92 @@ - + - + - + - + - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 - + PMID:21311032 @@ -27298,27 +27669,27 @@ - - + + - + - + - + PMID:23212898 - + PMID:23212898 @@ -30760,27 +31131,27 @@ - - + + - + - + - + PMID:33031395 - + PMID:33031395 @@ -34232,12 +34603,12 @@ - - - + + + - + @@ -34245,7 +34616,7 @@ - + @@ -34253,26 +34624,26 @@ - + - + PMID:18068186 - + PMID:18068186 - + PMID:18068186 @@ -35519,27 +35890,27 @@ - - + + - + - + - + PMID:24739148 - + PMID:24739148 @@ -35567,27 +35938,27 @@ - - + + - + - + - + PMID:15557260 - + PMID:15557260 @@ -35596,27 +35967,27 @@ - - + + - + - + - + PMID:31546611 - + PMID:31546611 diff --git a/src/taxon_constraints/never_in_taxon.ofn b/src/taxon_constraints/never_in_taxon.ofn index 57e60be87d..b67552b2d4 100644 --- a/src/taxon_constraints/never_in_taxon.ofn +++ b/src/taxon_constraints/never_in_taxon.ofn @@ -45,8 +45,11 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -96,6 +99,7 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -183,6 +187,8 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -194,6 +200,7 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -202,6 +209,7 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -218,6 +226,7 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -294,6 +303,7 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -779,6 +789,13 @@ SubClassOf( ObjectComplementOf(Object SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses( ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) @@ -793,6 +810,20 @@ SubClassOf( ObjectComplementOf(Object SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses( ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) @@ -1196,6 +1227,13 @@ SubClassOf( ObjectComplementOf(Object SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses( ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) @@ -1957,6 +1995,20 @@ SubClassOf( ObjectComplementOf(Object SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses( ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) @@ -2046,6 +2098,13 @@ SubClassOf( ObjectComplementOf(Object SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses( ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) @@ -2154,6 +2213,13 @@ SubClassOf( ObjectComplementOf(Object SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses( ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) @@ -2278,6 +2344,13 @@ SubClassOf(Annotation( "PMI SubClassOf(Annotation( "PMID:37550452"^^xsd:string) ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses(Annotation( "PMID:37550452"^^xsd:string) ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) @@ -2910,6 +2983,13 @@ SubClassOf( ObjectComplementOf(Object SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) DisjointClasses( ObjectSomeValuesFrom( )) +# Class: () + +AnnotationAssertion( ) +SubClassOf( ObjectComplementOf(ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( ObjectComplementOf())) +DisjointClasses( ObjectSomeValuesFrom( )) + # Class: () AnnotationAssertion( ) diff --git a/src/taxon_constraints/only_in_taxon.ofn b/src/taxon_constraints/only_in_taxon.ofn index 7f1ba53a20..091e406252 100644 --- a/src/taxon_constraints/only_in_taxon.ofn +++ b/src/taxon_constraints/only_in_taxon.ofn @@ -52,6 +52,7 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -383,6 +384,7 @@ Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) +Declaration(Class()) Declaration(Class()) Declaration(Class()) Declaration(Class()) @@ -1207,6 +1209,11 @@ SubClassOf( ObjectAllValuesFrom( ObjectSomeValuesFrom( )) SubClassOf( ObjectAllValuesFrom( )) +# Class: () + +SubClassOf( ObjectSomeValuesFrom( )) +SubClassOf( ObjectAllValuesFrom( )) + # Class: () SubClassOf( ObjectSomeValuesFrom( )) @@ -2868,6 +2875,11 @@ SubClassOf( ObjectAllValuesFrom( ObjectSomeValuesFrom( )) SubClassOf( ObjectAllValuesFrom( )) +# Class: () + +SubClassOf( ObjectSomeValuesFrom( )) +SubClassOf( ObjectAllValuesFrom( )) + # Class: () SubClassOf( ObjectSomeValuesFrom( ))