question about complex subsumption checking

26 views
Skip to first unread message

Yue Ma

unread,
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

unread,
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.
Reply all
Reply to author
Forward
0 new messages