From 27a6b9469e89bfe6f6490b26b5fb559c5e1e5aff Mon Sep 17 00:00:00 2001
From: Sierra Taylor Moxon <sierra.taylor@gmail.com>
Date: Thu, 18 Mar 2021 16:02:46 -0700
Subject: [PATCH 1/2] add InverseAllSome to use in biolink-model

---
 owlstar.ttl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/owlstar.ttl b/owlstar.ttl
index 28dd050..5c0eb3d 100644
--- a/owlstar.ttl
+++ b/owlstar.ttl
@@ -77,6 +77,12 @@ os:AllSomeInterpretation rdfs:subClassOf os:LogicalInterpretation ;
   os:example "<<finger part-of hand>> os:interpretation os:AllSomeInterpretation -> finger rdfs:subClassOf [a owl:Restriction ; owl:onProperty part-of ; owl:someValuesFrom hand]" ;
   os:owlMapping "<<?s ?p ?o>> os:interpretation os:AllSomeInterpretation -> ?s rdfs:subClassOf [a owl:Restriction ; owl:onProperty ?p ; owl:someValuesFrom ?o]" .
 
+os:InverseAllSomeInterpretation rdfs:subClassOf os:LogicalInterpretation ;
+  rdfs:label "inverse all-some interpretation modifier"@en ;
+  rdfs:comment "A modifier on a triple that causes the triple to be interpreted as the inverse of an all-some statement" ;
+  os:example "<<hand has_part finger>> os:interpretation os:InverseAllSomeInterpretation -> hand rdfs:subClassOf [a owl:Restriction ; owl:onProperty has-part ; owl:someValuesFrom finger]";
+  os:owlMapping "<<?o ?p ?s>> os:interpretation os:InverseAllSomeInterpretation -> ?s rdfs:subClassOf [a owl:Restriction ; owl:onProperty ?p ; owl:someValuesFrom ?o]" .
+
 os:AllOnlyInterpretation rdfs:subClassOf os:LogicalInterpretation ;
   rdfs:label "all-only interpretation modifier"@en ;
   rdfs:comment "A modifier on a triple that causes the triple to be interpreted as an all-only statement" ;

From a7c2f69df555e14dda91d14c3e482905b65ca6c6 Mon Sep 17 00:00:00 2001
From: Chris Mungall <cjm@berkeleybop.org>
Date: Thu, 18 Mar 2021 19:43:41 -0700
Subject: [PATCH 2/2] Update owlstar.ttl

I think this is the desired interpretation
---
 owlstar.ttl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/owlstar.ttl b/owlstar.ttl
index 5c0eb3d..9885dea 100644
--- a/owlstar.ttl
+++ b/owlstar.ttl
@@ -80,8 +80,8 @@ os:AllSomeInterpretation rdfs:subClassOf os:LogicalInterpretation ;
 os:InverseAllSomeInterpretation rdfs:subClassOf os:LogicalInterpretation ;
   rdfs:label "inverse all-some interpretation modifier"@en ;
   rdfs:comment "A modifier on a triple that causes the triple to be interpreted as the inverse of an all-some statement" ;
-  os:example "<<hand has_part finger>> os:interpretation os:InverseAllSomeInterpretation -> hand rdfs:subClassOf [a owl:Restriction ; owl:onProperty has-part ; owl:someValuesFrom finger]";
-  os:owlMapping "<<?o ?p ?s>> os:interpretation os:InverseAllSomeInterpretation -> ?s rdfs:subClassOf [a owl:Restriction ; owl:onProperty ?p ; owl:someValuesFrom ?o]" .
+  os:example "<<hand has_part finger>> os:interpretation os:InverseAllSomeInterpretation -> finger rdfs:subClassOf [a owl:Restriction ; owl:onProperty [owl:inverseOf has-part] ; owl:someValuesFrom hand]";
+  os:owlMapping "<<?s ?p ?o>> os:interpretation os:InverseAllSomeInterpretation -> ?o rdfs:subClassOf [a owl:Restriction ; owl:onProperty [owl:inverseOf ?p] ; owl:someValuesFrom ?s]" .
 
 os:AllOnlyInterpretation rdfs:subClassOf os:LogicalInterpretation ;
   rdfs:label "all-only interpretation modifier"@en ;