question about complex subsumption checking
27 views
Skip to first unread message
Yue Ma
Nov 11, 2013, 5:23:33 AM11/11/13
to elk-reasone...@googlegroups.com
Dear ELK group,
I'm using ELK for answering questions like: A and B SubClassOf C? The following is my code. I'd like to know if it is a correct way
to do this because I get some strange results. I don't know it's the problem of the way I use ELK or there's some bizarre knowledge in my ontology. So I'd like to ask your help on checking my code.
-------------------------- My code --------------------------------------
Set<OWLClassExpression> lhs = new HashSet<OWLClassExpression>();
lhs.add(A);
lhs.add(B);
OWLClassExpression ComplexLhsConcept = op.getFactory().getOWLObjectIntersectionOf(lhs);
Set<OWLClass> supclasses = op.getReasoner().getSuperClasses(ComplexLhsConcept, false).getFlattened();
if( supclasses.contains(C)) return true;
else return false;
--------------------------------------------------------------------------------
The other thing is that, when I ask such questions, ELK keeps outputting messages as attached at the end, which seems to me that the incremental reasoning is invoked. Does ELK require incremental reasoning for answering complex subsumption question?
Looking forward to your reply,
Yue
----------------------- ELK message ----------------------------------
2188054 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning finished in 0 ms
2188054 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking started
2188054 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Consistency Checking using 24 workers
2188055 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking finished in 1 ms
2188055 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction started
2188055 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Construction using 24 workers
2188378 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction finished in 322 ms
2188388 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started
2188388 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 24 workers
2188392 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms finished in 4 ms
2188392 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion started
2188392 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Context Completion using 24 workers
2188392 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion finished in 0 ms
2188392 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization started
2188392 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletions Initialization using 24 workers
2188519 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization finished in 127 ms
2188568 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion started
2188568 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletion using 24 workers
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion finished in 17 ms
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning started
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Overdeletion Pruning using 24 workers
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning finished in 0 ms
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization started
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Additions Initialization using 24 workers
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization finished in 0 ms
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition started
2188585 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Addition using 24 workers
2188586 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition finished in 0 ms
2188586 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning started
2188586 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Cleaning using 24 workers
2188588 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning finished in 1 ms
2188588 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking started
2188588 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Consistency Checking using 24 workers
2188588 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking finished in 0 ms
2188588 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction started
2188588 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Construction using 24 workers
2188588 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction finished in 0 ms
2188831 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started
2188832 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 24 workers
2188872 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms finished in 40 ms
2188872 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion started
2188872 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Context Completion using 24 workers
2188872 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion finished in 0 ms
2188872 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization started
2188872 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletions Initialization using 24 workers
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization finished in 0 ms
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion started
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletion using 24 workers
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion finished in 0 ms
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning started
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Overdeletion Pruning using 24 workers
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning finished in 0 ms
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization started
2188873 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Additions Initialization using 24 workers
2189366 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization finished in 492 ms
2189367 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition started
2189367 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Addition using 24 workers
2189386 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition finished in 19 ms
2189386 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning started
2189386 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Cleaning using 24 workers
2189387 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning finished in 0 ms
2189387 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking started
2189387 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Consistency Checking using 24 workers
2189387 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking finished in 0 ms
2189387 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction started
2189387 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Construction using 24 workers
2189717 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction finished in 330 ms
2189728 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started
2189728 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 24 workers
2189732 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms finished in 4 ms
2189732 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion started
2189732 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Context Completion using 24 workers
2189732 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion finished in 0 ms
2189732 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization started
2189732 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletions Initialization using 24 workers
2190104 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization finished in 371 ms
2190154 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion started
2190154 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletion using 24 workers
2190173 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion finished in 18 ms
2190173 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning started
2190173 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Overdeletion Pruning using 24 workers
2190174 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning finished in 1 ms
2190174 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization started
2190174 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Additions Initialization using 24 workers
2190174 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization finished in 0 ms
2190174 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition started
2190175 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Addition using 24 workers
2190175 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition finished in 0 ms
2190175 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning started
2190175 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Cleaning using 24 workers
2190176 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning finished in 1 ms
2190176 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking started
2190176 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Consistency Checking using 24 workers
2190176 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking finished in 0 ms
2190176 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction started
2190176 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Construction using 24 workers
2190176 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction finished in 0 ms
2190447 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started
2190447 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 24 workers
2190488 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms finished in 41 ms
2190488 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion started
2190488 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Context Completion using 24 workers
2190488 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion finished in 0 ms
2190488 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization started
2190488 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletions Initialization using 24 workers
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization finished in 1 ms
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion started
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletion using 24 workers
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion finished in 0 ms
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning started
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Overdeletion Pruning using 24 workers
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning finished in 0 ms
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization started
2190490 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Additions Initialization using 24 workers
2190990 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization finished in 499 ms
2190991 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition started
2190991 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Addition using 24 workers
2191016 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition finished in 25 ms
2191016 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning started
2191016 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Cleaning using 24 workers
2191017 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning finished in 0 ms
2191017 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking started
2191017 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Consistency Checking using 24 workers
2191017 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking finished in 0 ms
2191017 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction started
2191018 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Construction using 24 workers
2191344 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction finished in 326 ms
2191353 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started
2191353 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 24 workers
2191358 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms finished in 4 ms
2191358 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion started
2191358 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Context Completion using 24 workers
2191358 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion finished in 0 ms
2191358 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization started
2191358 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletions Initialization using 24 workers
2191527 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization finished in 169 ms
2191576 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion started
2191576 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletion using 24 workers
2191593 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion finished in 17 ms
2191593 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning started
2191593 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Overdeletion Pruning using 24 workers
2191593 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning finished in 0 ms
2191593 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization started
2191593 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Additions Initialization using 24 workers
2191594 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization finished in 0 ms
2191594 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition started
2191594 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Addition using 24 workers
2191594 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition finished in 0 ms
2191594 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning started
2191594 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Cleaning using 24 workers
2191595 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning finished in 0 ms
2191595 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking started
2191595 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Consistency Checking using 24 workers
2191595 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking finished in 0 ms
2191595 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction started
2191595 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Construction using 24 workers
2191595 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction finished in 0 ms
2191874 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started
2191874 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 24 workers
2191916 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms finished in 41 ms
2191916 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion started
2191916 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Context Completion using 24 workers
2191916 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion finished in 0 ms
2191916 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization started
2191916 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletions Initialization using 24 workers
2191917 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletions Initialization finished in 0 ms
2191917 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion started
2191917 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Deletion using 24 workers
2191917 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Deletion finished in 0 ms
2191917 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning started
2191917 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Overdeletion Pruning using 24 workers
2191918 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Overdeletion Pruning finished in 0 ms
2191918 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization started
2191918 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Additions Initialization using 24 workers
2192069 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Additions Initialization finished in 150 ms
2192070 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition started
2192070 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Addition using 24 workers
2192105 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Addition finished in 35 ms
2192105 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning started
2192106 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Cleaning using 24 workers
2192106 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Cleaning finished in 0 ms
2192106 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking started
2192106 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Consistency Checking using 24 workers
2192106 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Consistency Checking finished in 0 ms
2192106 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction started
2192106 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Taxonomy Construction using 24 workers
2192430 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Taxonomy Construction finished in 323 ms
2192441 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms started
2192441 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Loading of Axioms using 24 workers
2192445 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Loading of Axioms finished in 4 ms
2192445 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion started
2192446 [main] INFO org.semanticweb.elk.reasoner.stages.AbstractReasonerStage - Incremental Context Completion using 24 workers
2192446 [main] INFO org.semanticweb.elk.reasoner.stages.LoggingStageExecutor - Incremental Context Completion finished in 0 ms
Yevgeny Kazakov
Nov 11, 2013, 5:56:49 AM11/11/13
to elk-reasone...@googlegroups.com
Dear Yue,
On Mon, Nov 11, 2013 at 11:23 AM, Yue Ma <bingy...@gmail.com> wrote:
> Dear ELK group,
>
> I'm using ELK for answering questions like: A and B SubClassOf C? The
> following is my code. I'd like to know if it is a correct way
> to do this because I get some strange results. I don't know it's the problem
> of the way I use ELK or there's some bizarre knowledge in my ontology. So
> I'd like to ask your help on checking my code.
>
> -------------------------- My code --------------------------------------
> Set<OWLClassExpression> lhs = new HashSet<OWLClassExpression>();
> lhs.add(A); lhs.add(B); OWLClassExpression ComplexLhsConcept =
> op.getFactory().getOWLObjectIntersectionOf(lhs); Set<OWLClass> supclasses =
> op.getReasoner().getSuperClasses(ComplexLhsConcept, false).getFlattened();
> if( supclasses.contains(C)) return true;
> else return false;
> --------------------------------------------------------------------------------
If C is a named class (atomic class), I think your code should work
fine. If C is a complex class, you will always obtain "false", because
getSuperClasses returns only named classes. In this case, If you want
to check entailment you can check satisfiability of "A and B and not
C" instead. Since v.0.4 ELK supports negations in this kind of
situations.
Let us know if you don't obtain the expected answers.
>
> The other thing is that, when I ask such questions, ELK keeps outputting
> messages as attached at the end, which seems to me that the incremental
> reasoning is invoked. Does ELK require incremental reasoning for answering
> complex subsumption question?
Yes, ELK checks complex DL queries using the incremental mode.
Essentially, under the hood the complex class expressions are
"materialized" by adding new equivalence axioms defining these classes
using new named classes, and subsumption is checked for new named
classes.
See here:
https://code.google.com/p/elk-reasoner/wiki/QueryingComplexClasses
If you need to check several entailments at once, this "manual"
approach should work faster.
Best regards,
Yevgeny
> --
> You received this message because you are subscribed to the Google Groups
> "elk-reasoner-discussion" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to elk-reasoner-disc...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
On Mon, Nov 11, 2013 at 11:23 AM, Yue Ma <bingy...@gmail.com> wrote:
> Dear ELK group,
>
> I'm using ELK for answering questions like: A and B SubClassOf C? The
> following is my code. I'd like to know if it is a correct way
> to do this because I get some strange results. I don't know it's the problem
> of the way I use ELK or there's some bizarre knowledge in my ontology. So
> I'd like to ask your help on checking my code.
>
> -------------------------- My code --------------------------------------
> Set<OWLClassExpression> lhs = new HashSet<OWLClassExpression>();
> lhs.add(A); lhs.add(B); OWLClassExpression ComplexLhsConcept =
> op.getFactory().getOWLObjectIntersectionOf(lhs); Set<OWLClass> supclasses =
> op.getReasoner().getSuperClasses(ComplexLhsConcept, false).getFlattened();
> if( supclasses.contains(C)) return true;
> else return false;
> --------------------------------------------------------------------------------
fine. If C is a complex class, you will always obtain "false", because
getSuperClasses returns only named classes. In this case, If you want
to check entailment you can check satisfiability of "A and B and not
C" instead. Since v.0.4 ELK supports negations in this kind of
situations.
Let us know if you don't obtain the expected answers.
>
> The other thing is that, when I ask such questions, ELK keeps outputting
> messages as attached at the end, which seems to me that the incremental
> reasoning is invoked. Does ELK require incremental reasoning for answering
> complex subsumption question?
Essentially, under the hood the complex class expressions are
"materialized" by adding new equivalence axioms defining these classes
using new named classes, and subsumption is checked for new named
classes.
See here:
https://code.google.com/p/elk-reasoner/wiki/QueryingComplexClasses
If you need to check several entailments at once, this "manual"
approach should work faster.
Best regards,
Yevgeny
> You received this message because you are subscribed to the Google Groups
> "elk-reasoner-discussion" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to elk-reasoner-disc...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
Reply all
Reply to author
Forward
0 new messages