2021-09-08 09:30:06:826 +0200 [main] INFO org.unima.nheist.App - Loaded ontology from 10e1/clg_10.ttl 2021-09-08 09:30:06:832 +0200 [main] INFO org.unima.nheist.App - Starting reasoner ELK 0 [main] INFO org.semanticweb.elk.config.ConfigurationFactory - Loading default configuration parameters for class org.semanticweb.elk.reasoner.config.ReasonerConfiguration 76 [main] INFO org.semanticweb.elk.reasoner.Reasoner - ELK reasoner was created 79 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started 94 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 32 workers 102 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 102 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 107 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms took 14 ms 109 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Property Saturation Initialization started 111 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Property Saturation Initialization using 32 workers 112 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Property Saturation Initialization took 1 ms 113 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Reflexive Property Computation started 117 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Reflexive Property Computation using 32 workers 129 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Reflexive Property Computation took 14 ms 131 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Object Property Hierarchy and Composition Computation started 149 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Object Property Hierarchy and Composition Computation using 32 workers 185 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Object Property Hierarchy and Composition Computation took 38 ms 187 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Context Initialization started 188 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Context Initialization using 32 workers 192 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Context Initialization took 4 ms 193 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Consistency Checking started 201 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Consistency Checking using 32 workers 222 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Consistency Checking took 27 ms 224 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Class Taxonomy Computation started 233 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Class Taxonomy Computation using 32 workers 244 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Class Taxonomy Computation took 19 ms 247 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Instance Taxonomy Computation started 252 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Instance Taxonomy Computation using 32 workers 260 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Instance Taxonomy Computation took 12 ms 273 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getDisjointClasses(OWLClassExpression). 273 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getDisjointClasses(OWLClassExpression). 2021-09-08 09:30:07:153 +0200 [main] WARN org.semanticweb.owlapi.util.InferredOntologyGenerator - Error generating Disjoint classes axioms using null, version 0.0.0 java.lang.UnsupportedOperationException: OWL API reasoner method is not implemented: getDisjointClasses(OWLClassExpression). at org.semanticweb.elk.owlapi.ElkReasoner.unsupportedOwlApiMethod(ElkReasoner.java:246) at org.semanticweb.elk.owlapi.ElkReasoner.getDisjointClasses(ElkReasoner.java:434) at org.semanticweb.owlapi.util.InferredDisjointClassesAxiomGenerator.addAxioms(InferredDisjointClassesAxiomGenerator.java:39) at org.semanticweb.owlapi.util.InferredDisjointClassesAxiomGenerator.addAxioms(InferredDisjointClassesAxiomGenerator.java:33) at org.semanticweb.owlapi.util.InferredEntityAxiomGenerator.createAxioms(InferredEntityAxiomGenerator.java:51) at org.semanticweb.owlapi.util.InferredOntologyGenerator.fillOntology(InferredOntologyGenerator.java:130) at org.unima.nheist.App.runReasoner(App.java:82) at org.unima.nheist.App.main(App.java:33) 428 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression). 428 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression). 2021-09-08 09:30:07:307 +0200 [main] WARN org.semanticweb.owlapi.util.InferredOntologyGenerator - Error generating Property assertions (property values) axioms using null, version 0.0.0 java.lang.UnsupportedOperationException: OWL API reasoner method is not implemented: getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression). at org.semanticweb.elk.owlapi.ElkReasoner.unsupportedOwlApiMethod(ElkReasoner.java:246) at org.semanticweb.elk.owlapi.ElkReasoner.getObjectPropertyValues(ElkReasoner.java:587) at org.semanticweb.owlapi.util.InferredPropertyAssertionGenerator.addAxioms(InferredPropertyAssertionGenerator.java:49) at org.semanticweb.owlapi.util.InferredPropertyAssertionGenerator.addAxioms(InferredPropertyAssertionGenerator.java:35) at org.semanticweb.owlapi.util.InferredEntityAxiomGenerator.createAxioms(InferredEntityAxiomGenerator.java:51) at org.semanticweb.owlapi.util.InferredOntologyGenerator.fillOntology(InferredOntologyGenerator.java:130) at org.unima.nheist.App.runReasoner(App.java:82) at org.unima.nheist.App.main(App.java:33) 600 [main] INFO org.semanticweb.elk.reasoner.Reasoner - ELK reasoner has shut down 2021-09-08 09:30:07:478 +0200 [main] INFO org.unima.nheist.App - Finished reasoner ELK 2021-09-08 09:30:07:480 +0200 [main] INFO org.unima.nheist.App - Starting reasoner HermiT Building the class hierarchy... ... 9% 18% 27% 36% 45% 54% 63% 72% 81% 90% 100% ... finished Initializing class instance data structures ... 83% 88% 94% 100% ... finished Classifying object properties... ... 100% 200% 300% ... finished Initializing property instance data structures ... 83% 88% 94% 100% ... finished Classifying data properties... ... 33% ... finished 2021-09-08 09:30:08:453 +0200 [main] INFO org.unima.nheist.App - Finished reasoner HermiT