Mappings for prov:DictionaryInvolvement, prov:describesService, remov…

…e SKOS criteria

PROV/build/artifacts/unmapped-terms.csv

@@ -1,2 +0,0 @@
-targetTerm,label,swrlMapping
-http://www.w3.org/ns/prov#DictionaryInvolvement,,

PROV/prov-bfo-directmappings.ttl

@@ -156,6 +156,15 @@ prov:KeyEntityPair rdf:type owl:Class .
     rdfs:comment "A prov:KeyEntityPair exists in virtue of the fact that there is at least one of what may be multiple copies; it is the content or the pattern that the multiple copies share."@en .
 
 
+prov:DictionaryInvolvement rdf:type owl:Class .
+[]  rdf:type owl:Axiom ;
+    owl:annotatedSource   prov:DictionaryInvolvement ;
+    owl:annotatedProperty rdfs:subClassOf ;
+    owl:annotatedTarget   obo:BFO_0000003 ;
+    sssom:object_label    "occurrent" ;
+    rdfs:comment "prov:DictionaryInvolvement is undefined and only used in two canonical examples from PROV-Dictionary. Nevertheless, the example instances of prov:DictionaryInvolvement are instances of prov:Removal, which is an occurrent, which suggests that prov:DictionaryInvolvement should also be an occurrent."@en .
+
+
 
 # PROV object property mappings
 prov:hadMember rdf:type owl:ObjectProperty .

PROV/prov-cco-directmappings.ttl

@@ -246,6 +246,15 @@ prov:agent rdf:type owl:ObjectProperty .
 
 
 # PROV-Dictionary object property mappings
+prov:describesService rdf:type owl:ObjectProperty .
+[]  rdf:type owl:Axiom ;
+    owl:annotatedSource   prov:describesService ;
+    owl:annotatedProperty owl:propertyChainAxiom ;
+    owl:annotatedTarget   ( obo:BFO_0000101 cco:is_about ) ;
+    sssom:object_label    "carrier of something which is about" ;
+    rdfs:comment  "If a prov:ServiceDescription is a carrier of something which is about a service, then that prov:ServiceDescription 'describes service' that service."@en .
+
+
 prov:pairEntity rdf:type owl:ObjectProperty .
 []  rdf:type owl:Axiom ;
     owl:annotatedSource   prov:pairEntity ;
@@ -424,8 +433,4 @@ prov:qualifiedInvalidation rdf:type owl:ObjectProperty .
                             ] ;
                 rdf:rest rdf:nil
                 ]
- ] .
-
-
-###### Inverses that are covered by some mapping, but not yet correctly found by our SPARQL query
-# prov:wasPlanOf
+ ] .

PROV/sparql/unmapped-terms.rq

@@ -24,7 +24,8 @@ WHERE {
     # Predicate filter
     VALUES ?mappingPredicate { 
       rdfs:subClassOf rdfs:subPropertyOf owl:equivalentClass owl:equivalentProperty 
-      skos:closeMatch skos:exactMatch skos:broadMatch skos:narrowMatch skos:relatedMatch
+      # Note: these SKOS terms could be used, but aren't as useful for automated reasoning
+      # skos:closeMatch skos:exactMatch skos:broadMatch skos:narrowMatch skos:relatedMatch
     } .
 
     # Filter from source ontologies