2021-09-08 09:54:32:941 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/type -> http://www.w3.org/1999/02/22-rdf-syntax-ns#type -> http://www.w3.org/1999/02/22-rdf-syntax-ns#Property 2021-09-08 09:54:32:980 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/formationYear -> http://www.w3.org/1999/02/22-rdf-syntax-ns#type -> http://www.w3.org/1999/02/22-rdf-syntax-ns#Property 2021-09-08 09:54:33:008 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/splitFromParty -> http://www.w3.org/1999/02/22-rdf-syntax-ns#type -> http://www.w3.org/1999/02/22-rdf-syntax-ns#Property 2021-09-08 09:54:33:052 +0200 [main] INFO org.unima.nheist.App - Loaded ontology from 10e2/clg_10e2.nt 2021-09-08 09:54:33:055 +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 60 [main] INFO org.semanticweb.elk.reasoner.Reasoner - ELK reasoner was created 76 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started 90 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 32 workers 98 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 98 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 108 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms took 19 ms 111 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Property Saturation Initialization started 113 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Property Saturation Initialization using 32 workers 140 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Property Saturation Initialization took 27 ms 141 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Reflexive Property Computation started 170 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Reflexive Property Computation using 32 workers 179 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Reflexive Property Computation took 12 ms 181 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Object Property Hierarchy and Composition Computation started 183 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Object Property Hierarchy and Composition Computation using 32 workers 189 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Object Property Hierarchy and Composition Computation took 6 ms 191 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Context Initialization started 192 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Context Initialization using 32 workers 195 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Context Initialization took 3 ms 207 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Consistency Checking started 211 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Consistency Checking using 32 workers 227 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Consistency Checking took 18 ms 229 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Class Taxonomy Computation started 237 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Class Taxonomy Computation using 32 workers 259 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Class Taxonomy Computation took 28 ms 262 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Instance Taxonomy Computation started 291 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Instance Taxonomy Computation using 32 workers 304 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Instance Taxonomy Computation took 15 ms 351 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getDisjointClasses(OWLClassExpression). 351 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getDisjointClasses(OWLClassExpression). 2021-09-08 09:54:33:470 +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) 414 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression). 414 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression). 2021-09-08 09:54:33:532 +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) 633 [main] INFO org.semanticweb.elk.reasoner.Reasoner - ELK reasoner has shut down 2021-09-08 09:54:33:751 +0200 [main] INFO org.unima.nheist.App - Finished reasoner ELK 2021-09-08 09:54:33:754 +0200 [main] INFO org.unima.nheist.App - Starting reasoner HermiT Building the class hierarchy... ... 1% 2% 3% 4% 5% 6% 7% 8% 9% 10% 11% 12% 13% 14% 15% 16% 17% 18% 19% 20% 21% 22% 23% 24% 25% 26% 27% 28% 29% 30% 31% 32% 33% 34% 35% 36% 37% 38% 39% 40% 41% 42% 43% 44% 45% 46% 47% 48% 49% 50% 51% 52% 53% 54% 55% 56% 57% 58% 59% 60% 61% 62% 63% 64% 65% 66% 67% 68% 69% 70% 71% 72% 73% 74% 75% 76% 77% 78% 79% 80% 81% 82% 83% 84% 85% 86% 87% 88% 89% 90% 91% 92% 93% 94% 95% 96% 97% 98% 99% 100% ... finished Initializing class instance data structures ... 75% 76% 77% 78% 79% 80% 81% 82% 83% 84% 85% 86% 87% 88% 89% 90% 91% 92% 93% 94% 95% 96% 97% 98% 99% 100% ... finished Classifying object properties... ... 50% 100% 150% 200% ... finished Initializing property instance data structures ... 75% 76% 77% 78% 79% 80% 81% 82% 83% 84% 85% 86% 87% 88% 89% 90% 91% 92% 93% 94% 95% 96% 97% 98% 99% 100% ... finished Classifying data properties... ... 33% ... finished 2021-09-08 09:54:39:111 +0200 [main] INFO org.unima.nheist.App - Finished reasoner HermiT