2021-09-08 09:58:00:369 +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:58:00:468 +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:58:00:595 +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:58:00:754 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/established -> 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:58:00:765 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/location -> 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:58:00:772 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/headquarter -> 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:58:00:887 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/activeYearsEndYear -> 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:58:01:028 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/country -> 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:58:01:148 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/industry -> 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:58:01:153 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/foundingYear -> 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:58:01:276 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/birthPlace -> 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:58:01:400 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/occupation -> 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:58:01:429 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/owningCompany -> 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:58:01:452 +0200 [main] INFO org.semanticweb.owlapi.rdf.rdfxml.parser.TripleHandlers - Usage of rdf vocabulary: http://caligraph.org/ontology/language -> 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:58:02:409 +0200 [main] INFO org.unima.nheist.App - Loaded ontology from 10e3/clg_10e3.nt 2021-09-08 09:58:02:500 +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 172 [main] INFO org.semanticweb.elk.reasoner.Reasoner - ELK reasoner was created 185 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started 228 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 32 workers 257 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 257 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 384 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 384 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 571 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 571 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 593 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 593 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 726 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 726 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 811 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 811 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 833 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 833 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1015 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1015 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1214 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1214 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1249 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1249 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1643 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1643 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1674 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1674 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1832 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1832 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1996 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 1996 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2037 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2037 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2152 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2152 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2156 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2156 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2315 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2315 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2359 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2359 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2555 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2555 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2605 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2605 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2612 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2612 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2622 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2622 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2626 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2626 [main] WARN org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter - [reasoner.indexing.dataHasValue]ELK supports DataHasValue only partially. Reasoning might be incomplete! 2631 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms took 2404 ms 2633 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Property Saturation Initialization started 2635 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Property Saturation Initialization using 32 workers 2697 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Property Saturation Initialization took 63 ms 2699 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Reflexive Property Computation started 2705 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Reflexive Property Computation using 32 workers 2717 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Reflexive Property Computation took 16 ms 2718 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Object Property Hierarchy and Composition Computation started 2724 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Object Property Hierarchy and Composition Computation using 32 workers 2731 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Object Property Hierarchy and Composition Computation took 9 ms 2733 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Context Initialization started 2735 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Context Initialization using 32 workers 2740 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Context Initialization took 6 ms 2742 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Consistency Checking started 2749 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Consistency Checking using 32 workers 2769 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Consistency Checking took 26 ms 2773 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Class Taxonomy Computation started 2787 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Class Taxonomy Computation using 32 workers 2854 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Class Taxonomy Computation took 79 ms 2938 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Instance Taxonomy Computation started 2943 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Instance Taxonomy Computation using 32 workers 3401 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Instance Taxonomy Computation took 461 ms 4146 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getDisjointClasses(OWLClassExpression). 4146 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getDisjointClasses(OWLClassExpression). 2021-09-08 09:58:06:819 +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) 4979 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression). 4979 [main] WARN org.semanticweb.elk.owlapi.ElkReasoner - [owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression). 2021-09-08 09:58:07:617 +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) 11415 [main] INFO org.semanticweb.elk.reasoner.Reasoner - ELK reasoner has shut down 2021-09-08 09:58:14:140 +0200 [main] INFO org.unima.nheist.App - Finished reasoner ELK 2021-09-08 09:58:14:183 +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 ... 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 Classifying object properties... ... 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% 110% 120% ... finished Initializing property instance data structures ... 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