We have added one axiom in roh::Invention class

the added axiom: roh:produces only roh:ResearchObject
HerculesCRUE · Dec 1, 2021 · 3de3631 · 3de3631
1 parent 2fe1304
commit 3de3631
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/roh/modules/core/roh-core.ttl b/roh/modules/core/roh-core.ttl
@@ -3895,6 +3895,10 @@ A roh:FundingSource roh:feeds a roh:Funding with funds to sponsor some projects.
                                                              )
                                                ]
                            ] ,
+                           [ rdf:type owl:Restriction ;
+                             owl:onProperty :produces ;
+                             owl:allValuesFrom :ResearchObject
+                           ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty :spends ;
                              owl:allValuesFrom :PatentExpense