diff --git a/disciplines/chemistry.ttl b/disciplines/chemistry.ttl index a3cb830c..29a9b87c 100644 --- a/disciplines/chemistry.ttl +++ b/disciplines/chemistry.ttl @@ -33,7 +33,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index bc5d511c..5332ba50 100644 --- a/disciplines/computerscience.ttl +++ b/disciplines/computerscience.ttl @@ -34,7 +34,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index c143502b..ebb8e721 100644 --- a/disciplines/isq.ttl +++ b/disciplines/isq.ttl @@ -34,7 +34,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index deda87ae..7d39edbe 100644 --- a/disciplines/manufacturing.ttl +++ b/disciplines/manufacturing.ttl @@ -34,7 +34,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index cd9e0482..1a4df525 100644 --- a/disciplines/materials.ttl +++ b/disciplines/materials.ttl @@ -33,7 +33,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 98932767..7a88a345 100644 --- a/disciplines/math.ttl +++ b/disciplines/math.ttl @@ -165,7 +165,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 89b27d23..f431ed1b 100644 --- a/disciplines/metrology.ttl +++ b/disciplines/metrology.ttl @@ -39,7 +39,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 7356b7bf..75160c2f 100644 --- a/disciplines/models.ttl +++ b/disciplines/models.ttl @@ -38,7 +38,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index a6562eb9..82ac8d2c 100755 --- 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 index 00be9b9d..e351bd42 100644 --- a/disciplines/periodictable.ttl +++ b/disciplines/periodictable.ttl @@ -7,7 +7,7 @@ @prefix xsd: . : 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 emmo@emmc.eu"@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 index 0e0c2884..c46a4c62 100644 --- a/domain/domain.ttl +++ b/domain/domain.ttl @@ -37,7 +37,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index dd9b14f1..4c01b257 100644 --- a/domain/simulation.ttl +++ b/domain/simulation.ttl @@ -34,7 +34,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index a51fb7ab..06664688 100644 --- a/domain/todo/commonmaterials.ttl +++ b/domain/todo/commonmaterials.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 465fdcce..640be69f 100644 --- a/domain/todo/commonperceptual.ttl +++ b/domain/todo/commonperceptual.ttl @@ -35,7 +35,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index c26385cf..e7ae97d7 100644 --- a/emmo-mlo.ttl +++ b/emmo-mlo.ttl @@ -39,7 +39,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index a8f51e24..c89ae926 100644 --- a/emmo-tlo.ttl +++ b/emmo-tlo.ttl @@ -39,7 +39,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index b81f68a8..d2ac8b59 100644 --- a/emmo.ttl +++ b/emmo.ttl @@ -39,7 +39,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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" ; "https://github.com/emmo-repo/EMMO/raw/master/doc/emmo-logo.png" . diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl index 7e6202f5..897b0bd2 100644 --- a/mereocausality/mereocausality.ttl +++ b/mereocausality/mereocausality.ttl @@ -243,7 +243,7 @@ Avenue Louise 54 CBE no: 0731 621 312 contact@emmc.eu"""@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 index e11b1684..7544be4f 100644 --- a/multiperspective/information.ttl +++ b/multiperspective/information.ttl @@ -29,7 +29,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 8b231b18..0c6c2361 100644 --- a/multiperspective/persholistic.ttl +++ b/multiperspective/persholistic.ttl @@ -29,7 +29,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 67b38315..40193405 100644 --- a/multiperspective/properties.ttl +++ b/multiperspective/properties.ttl @@ -37,7 +37,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 9593ce08..b0baad43 100644 --- a/multiperspective/symbolic.ttl +++ b/multiperspective/symbolic.ttl @@ -71,7 +71,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index e1acf31e..0dfd2ccd 100644 --- a/perspectives/data.ttl +++ b/perspectives/data.ttl @@ -28,7 +28,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 698e0803..92ecdc6a 100644 --- a/perspectives/holistic.ttl +++ b/perspectives/holistic.ttl @@ -83,7 +83,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 35b6e079..de9d0db4 100644 --- a/perspectives/perceptual.ttl +++ b/perspectives/perceptual.ttl @@ -30,7 +30,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 09a4e3c1..bd433e04 100644 --- a/perspectives/persistence.ttl +++ b/perspectives/persistence.ttl @@ -28,7 +28,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 6f59447f..076e42b7 100644 --- a/perspectives/perspective.ttl +++ b/perspectives/perspective.ttl @@ -30,7 +30,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index a2a59747..d0c85093 100644 --- a/perspectives/perspectives.ttl +++ b/perspectives/perspectives.ttl @@ -48,7 +48,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index 1d9800ba..a1609d17 100644 --- a/perspectives/physicalistic.ttl +++ b/perspectives/physicalistic.ttl @@ -211,7 +211,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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 index cd9b260d..809aeb61 100644 --- a/perspectives/reductionistic.ttl +++ b/perspectives/reductionistic.ttl @@ -30,7 +30,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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/semiotics.ttl b/perspectives/semiotics.ttl index 75cf5b8b..27ffa49f 100644 --- a/perspectives/semiotics.ttl +++ b/perspectives/semiotics.ttl @@ -30,7 +30,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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/standardmodel.ttl b/perspectives/standardmodel.ttl index 34357709..7452c00f 100644 --- a/perspectives/standardmodel.ttl +++ b/perspectives/standardmodel.ttl @@ -28,7 +28,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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/todo/ordinal.ttl b/perspectives/todo/ordinal.ttl index e77178f9..9ba7eb17 100644 --- a/perspectives/todo/ordinal.ttl +++ b/perspectives/todo/ordinal.ttl @@ -25,7 +25,7 @@ email: gerhard@goldbeck-consulting.com Emanuele Ghedini University of Bologna (IT) email: emanuele.ghedini@unibo.it"""@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" . #################################################################