improve reasoning

- remove restrictions on hasObjectiveProperty and owl:disjointWith to improve the reasoner performance - update version number
emmo-repo · Feb 8, 2024 · 6113dd3 · 6113dd3
1 parent a9d7f47
commit 6113dd3
Show file tree

Hide file tree

Showing 5 changed files with 105 additions and 379 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
diff --git a/FAIR.md b/FAIR.md
diff --git a/catalog-v001.xml b/catalog-v001.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <catalog prefer="public" xmlns="urn:oasis:names:tc:entity:xmlns:xml:catalog">
   <group id="Folder Repository, directory=, recursive=true, Auto-Update=false, version=2" prefer="public" xml:base="">
-    <uri name="https://w3id.org/emmo/domain/chemicalsubstance/0.2.0/chemicalsubstance" uri="https://raw.githubusercontent.com/emmo-repo/domain-chemical-substance/main/chemicalsubstance.ttl"/>
+    <uri name="https://w3id.org/emmo/domain/chemicalsubstance/0.3.0-beta/chemicalsubstance" uri="https://raw.githubusercontent.com/emmo-repo/domain-chemicalsubstance/main/chemicalsubstance.ttl"/>
     <uri name="http://emmo.info/emmo/domain/chameo/1.0.0-beta3/chameo" uri="https://raw.githubusercontent.com/emmo-repo/domain-characterisation-methodology/main/chameo.ttl"/>
     <uri name="https://w3id.org/emmo/domain/electrochemistry/0.8.0-alpha/electrochemistry" uri="./electrochemistry.ttl"/>
     <uri name="https://w3id.org/emmo/domain/electrochemistry/0.8.0-alpha/electrochemicalquantities" uri="./electrochemicalquantities.ttl"/>