Updated Reasoner Reference ttl files only

emmo-repo · Aug 24, 2023 · 48bdb22 · 48bdb22
1 parent 70381f8
commit 48bdb22
Show file tree

Hide file tree

Showing 33 changed files with 33 additions and 33 deletions.
diff --git a/disciplines/chemistry.ttl b/disciplines/chemistry.ttl
@@ -33,7 +33,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                            "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                            "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl
@@ -34,7 +34,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                                  "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                                  "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                      owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/disciplines/isq.ttl b/disciplines/isq.ttl
@@ -34,7 +34,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                      "The EMMO requires FaCT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                      "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                          owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/disciplines/manufacturing.ttl b/disciplines/manufacturing.ttl
@@ -34,7 +34,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                                "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                                "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                    owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/disciplines/materials.ttl b/disciplines/materials.ttl
@@ -33,7 +33,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                            "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                            "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/disciplines/math.ttl b/disciplines/math.ttl
@@ -165,7 +165,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en,
-    "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
+    "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
   owl:versionInfo "1.0.0-beta5" .
 
 owl:qualifiedCardinality a owl:AnnotationProperty .

diff --git a/disciplines/metrology.ttl b/disciplines/metrology.ttl
@@ -39,7 +39,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                            "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                            "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/disciplines/models.ttl b/disciplines/models.ttl
@@ -38,7 +38,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                         "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                         "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                             owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/disciplines/periodictable.py b/disciplines/periodictable.py
@@ -112,7 +112,7 @@ class hasChemicalSymbol(onto.hasProperty):
     'https://creativecommons.org/licenses/by/4.0/legalcode'))
 onto.metadata.versionInfo.append(en(version))
 onto.metadata.comment.append(en(
-    'The EMMO requires FacT++ reasoner plugin in order to visualize all '
+    'The EMMO requires HermiT reasoner plugin in order to visualize all '
     'inferences and class hierarchy (ctrl+R hotkey in Protege).'))
 onto.metadata.comment.append(en(
     'This ontology is generated with EMMOntoPy using data from the ASE '

diff --git a/disciplines/periodictable.ttl b/disciplines/periodictable.ttl
@@ -7,7 +7,7 @@
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
 
 : a owl:Ontology ;
-    emmo:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en,
+    emmo:EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en,
         "This ontology is generated with EMMOntoPy using data from the ASE Python package."@en,
         "You can contact EMMO Authors via [email protected]"@en ;
     dcterms:abstract "The periodic table domain ontology provide a simple reference implementation of all atoms in the periodic table with a few selected conventional properties.  It is ment as both an example for other domain ontologies as well as a useful assert by itself. Periodic table is released under the Creative Commons Attribution 4.0 International license (CC BY 4.0)."@en ;

diff --git a/domain/domain.ttl b/domain/domain.ttl
@@ -37,7 +37,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                          "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                          "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                              owl:versionInfo "1.0.0-beta5" .
 
 ###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/domain/simulation.ttl b/domain/simulation.ttl
@@ -34,7 +34,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                    "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                    "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                        owl:versionInfo "1.0.0-beta5" .
 
 
diff --git a/domain/todo/commonmaterials.ttl b/domain/todo/commonmaterials.ttl
@@ -35,7 +35,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                             "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                             "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                 owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/domain/todo/commonperceptual.ttl b/domain/todo/commonperceptual.ttl
@@ -35,7 +35,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                              "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                              "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                  owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/emmo-mlo.ttl b/emmo-mlo.ttl
@@ -39,7 +39,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                          "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                          "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                              owl:versionInfo "1.0.0-beta5" .
 
 ###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/emmo-tlo.ttl b/emmo-tlo.ttl
@@ -39,7 +39,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                      "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                      "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                          owl:versionInfo "1.0.0-beta5" .
 
 ###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/emmo.ttl b/emmo.ttl
@@ -39,7 +39,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                      "The EMMO should be reasoned in order to visualize all inferences and class hierarchy in Protege (ctrl+R hotkey).  It is tested with both the HermiT (preferred) and FacT++ reasoners."@en ;
+                                      "The EMMO should be reasoned in order to visualize all inferences and class hierarchy in Protege (ctrl+R hotkey).  It is tested with both the HermiT (preferred) and HermiT reasoners."@en ;
                          owl:versionInfo "1.0.0-beta5" ;
                          <http://xmlns.com/foaf/0.1/logo> "https://github.com/emmo-repo/EMMO/raw/master/doc/emmo-logo.png" .
 

diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl
@@ -243,7 +243,7 @@ Avenue Louise 54
 CBE no: 0731 621 312
 [email protected]"""@en;
   dcterms:title "Elementary Multiperspective Material Ontology"@en, "Mereocausality"@en;
-  rdfs:comment "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
+  rdfs:comment "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
   owl:versionInfo "1.0.0-beta5" .
 
 :EMMO_1246b120_abbe_4840_b0f8_3e4348b24a17 a owl:AnnotationProperty;

diff --git a/multiperspective/information.ttl b/multiperspective/information.ttl
@@ -29,7 +29,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                            "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                            "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/multiperspective/persholistic.ttl b/multiperspective/persholistic.ttl
@@ -29,7 +29,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                                    "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                                    "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                        owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/multiperspective/properties.ttl b/multiperspective/properties.ttl
@@ -37,7 +37,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                        "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                        "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                            owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/multiperspective/symbolic.ttl b/multiperspective/symbolic.ttl
@@ -71,7 +71,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en,
-    "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
+    "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
   owl:versionInfo "1.0.0-beta5" .
 
 :EMMO_02face50_43a1_40ce_a909_dfe54d5e186b a owl:DatatypeProperty, owl:FunctionalProperty;

diff --git a/perspectives/data.ttl b/perspectives/data.ttl
@@ -28,7 +28,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                        "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                        "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                            owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/perspectives/holistic.ttl b/perspectives/holistic.ttl
@@ -83,7 +83,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en,
-    "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
+    "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
   owl:versionInfo "1.0.0-beta5" .
 
 :EMMO_53e5b1e1_6026_4ddc_8a4a_3aaaa5fdbdb7 a owl:ObjectProperty;

diff --git a/perspectives/perceptual.ttl b/perspectives/perceptual.ttl
@@ -30,7 +30,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                              "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                              "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                  owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/perspectives/persistence.ttl b/perspectives/persistence.ttl
@@ -28,7 +28,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                               "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                               "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                   owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/perspectives/perspective.ttl b/perspectives/perspective.ttl
@@ -30,7 +30,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                               "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                               "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                   owl:versionInfo "1.0.0-beta5" .
 
 #################################################################

diff --git a/perspectives/perspectives.ttl b/perspectives/perspectives.ttl
@@ -48,7 +48,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                             "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                             "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                 owl:versionInfo "1.0.0-beta5" .
 
 ###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/perspectives/physicalistic.ttl b/perspectives/physicalistic.ttl
@@ -211,7 +211,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en,
-    "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
+    "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en;
   owl:versionInfo "1.0.0-beta5" .
 
 :EMMO_04f2a2d5_e799_4692_a654_420e76f5acc1 a owl:Class;

diff --git a/perspectives/reductionistic.ttl b/perspectives/reductionistic.ttl
@@ -30,7 +30,7 @@ email: [email protected]
 Emanuele Ghedini
 University of Bologna (IT)
 email: [email protected]"""@en ,
-                                                                  "The EMMO requires FacT++ reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
+                                                                  "The EMMO requires HermiT reasoner plugin in order to visualize all inferences and class hierarchy (ctrl+R hotkey in Protege)."@en ;
                                                      owl:versionInfo "1.0.0-beta5" .
 
 #################################################################