2013-10-16 18:52:47,355 INFO  (ParserWrapper:186) parsing: ontology/extensions/go-plus.owl
2013-10-16 18:52:47,357 INFO  (ParserWrapper:201) parsing: file:/Users/cjm/repos/go/experimental/lego/owl/gaf-derived/ontology/extensions/go-plus.owl using uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@1f950198
2013-10-16 18:52:47,359 INFO  (ParserWrapper:68) Start loading ontology: file:/Users/cjm/repos/go/experimental/lego/owl/gaf-derived/ontology/extensions/go-plus.owl from: file:/Users/cjm/repos/go/experimental/lego/owl/gaf-derived/ontology/extensions/go-plus.owl
2013-10-16 18:52:47,437 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go.owl from: file:/Users/cjm/repos/go/ontology/go.owl
2013-10-16 18:52:56,735 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go.owl from: file:/Users/cjm/repos/go/ontology/go.owl
2013-10-16 18:52:56,747 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go/extensions/chebi_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/chebi_import.owl
2013-10-16 18:52:57,199 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/chebi_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/chebi_import.owl
2013-10-16 18:52:57,206 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go/extensions/cl_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/cl_import.owl
2013-10-16 18:52:57,263 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/cl_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/cl_import.owl
2013-10-16 18:52:57,270 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go/extensions/po_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/po_import.owl
2013-10-16 18:52:57,285 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/po_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/po_import.owl
2013-10-16 18:52:57,293 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go/extensions/x-taxon-importer.owl from: file:/Users/cjm/repos/go/ontology/extensions/x-taxon-importer.owl
2013-10-16 18:52:57,296 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go/extensions/x-taxon.owl from: file:/Users/cjm/repos/go/ontology/extensions/x-taxon.owl
2013-10-16 18:52:57,322 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/x-taxon.owl from: file:/Users/cjm/repos/go/ontology/extensions/x-taxon.owl
2013-10-16 18:52:57,323 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go/extensions/ncbitaxon_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/ncbitaxon_import.owl
2013-10-16 18:52:57,334 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/ncbitaxon_import.owl from: file:/Users/cjm/repos/go/ontology/extensions/ncbitaxon_import.owl
2013-10-16 18:52:57,336 INFO  (ParserWrapper:68) Start loading ontology: http://purl.obolibrary.org/obo/go/extensions/x-disjoint.owl from: file:/Users/cjm/repos/go/ontology/extensions/x-disjoint.owl
2013-10-16 18:52:57,355 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/x-disjoint.owl from: file:/Users/cjm/repos/go/ontology/extensions/x-disjoint.owl
2013-10-16 18:52:57,361 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/x-taxon-importer.owl from: file:/Users/cjm/repos/go/ontology/extensions/x-taxon-importer.owl
2013-10-16 18:52:57,849 INFO  (ParserWrapper:75) Finished loading ontology: http://purl.obolibrary.org/obo/go/extensions/go-plus.owl from: file:/Users/cjm/repos/go/experimental/lego/owl/gaf-derived/ontology/extensions/go-plus.owl
2013-10-16 18:52:58,039 INFO  (OWLGraphWrapperBasic:209) Adding 468055 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go.owl>) VersionIRI(<http://purl.obolibrary.org/obo/go/2013-10-16/go.owl>))) [Axioms: 468055 Logical Axioms: 86956]
2013-10-16 18:52:58,776 INFO  (OWLGraphWrapperBasic:209) Adding 2062 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/x-taxon.owl>))) [Axioms: 2062 Logical Axioms: 501]
2013-10-16 18:52:58,780 INFO  (OWLGraphWrapperBasic:209) Adding 1004 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/po_import.owl>))) [Axioms: 1004 Logical Axioms: 486]
2013-10-16 18:52:58,781 INFO  (OWLGraphWrapperBasic:209) Adding 2142 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/cl_import.owl>))) [Axioms: 2142 Logical Axioms: 987]
2013-10-16 18:52:58,783 INFO  (OWLGraphWrapperBasic:209) Adding 0 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/x-taxon-importer.owl>))) [Axioms: 0 Logical Axioms: 0]
2013-10-16 18:52:58,783 INFO  (OWLGraphWrapperBasic:209) Adding 954 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/ncbitaxon_import.owl>))) [Axioms: 954 Logical Axioms: 193]
2013-10-16 18:52:58,784 INFO  (OWLGraphWrapperBasic:209) Adding 94 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/x-disjoint.owl>))) [Axioms: 94 Logical Axioms: 45]
2013-10-16 18:52:58,792 INFO  (OWLGraphWrapperBasic:209) Adding 29902 from Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/chebi_import.owl>))) [Axioms: 29902 Logical Axioms: 18872]
2013-10-16 18:52:58,952 ERROR (CommandRunner:4264) Could not find an OWLObjectProperty for id: 'RO:0002223'
2013-10-16 18:52:58,986 INFO  (MinimalModelGenerator:207) Creating abox ontology. mgr = uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@1f950198
2013-10-16 18:52:58,986 INFO  (MinimalModelGenerator:221) Creating query ontology
2013-10-16 18:52:58,986 INFO  (MinimalModelGenerator:232) manager(T) = uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@1f950198
2013-10-16 18:52:58,986 INFO  (MinimalModelGenerator:233) manager(A) = uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@1f950198
2013-10-16 18:52:58,987 INFO  (MinimalModelGenerator:234) manager(Q) = uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@1f950198
2013-10-16 18:52:59,086 INFO  (MinimalModelGenerator:250) Creating reasoner on Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__query>))) [Axioms: 0 Logical Axioms: 0] ImportsClosure=[Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 0 Logical Axioms: 0], Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl>))) [Axioms: 510574 Logical Axioms: 115706], Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__query>))) [Axioms: 0 Logical Axioms: 0]]
2013-10-16 18:52:59,160 INFO  (Reasoner:117) ELK reasoner was created
2013-10-16 18:52:59,502 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:52:59,657 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:52:59,668 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:52:59,906 WARN  (ChangeIndexingProcessor:66) ELK does not support DisjointUnion. Axiom ignored:
DisjointUnion(<http://purl.obolibrary.org/obo/GO_0008150> <http://purl.obolibrary.org/obo/GO_0044699> <http://purl.obolibrary.org/obo/GO_0051704>)
2013-10-16 18:53:00,033 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,039 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,089 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,104 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectPropertyRange. Axiom ignored:
ObjectPropertyRange(<http://purl.obolibrary.org/obo/RO_0002162> <http://purl.obolibrary.org/obo/BFO_0000004>)
2013-10-16 18:53:00,199 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,257 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,284 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,370 WARN  (ChangeIndexingProcessor:66) ELK does not support InverseObjectProperties. Axiom ignored:
InverseObjectProperties(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/BFO_0000050>)
2013-10-16 18:53:00,416 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,482 WARN  (IndexedObjectUnionOf:92) ELK does not support positive occurrences of ObjectUnionOf. Reasoning might be incomplete!
2013-10-16 18:53:00,518 INFO  (MinimalModelGenerator:389) GNI type:<http://purl.obolibrary.org/obo/GO_0043597> // src=null via null
2013-10-16 18:53:00,520 INFO  (MinimalModelGenerator:1193) Adding: ClassAssertion(<http://purl.obolibrary.org/obo/GO_0043597> <http://purl.obolibrary.org/obo/GO_0043597-proto>) to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 0 Logical Axioms: 0]
2013-10-16 18:53:00,520 INFO  (MinimalModelGenerator:436)  I:<http://purl.obolibrary.org/obo/GO_0043597-proto>
2013-10-16 18:53:00,521 INFO  (MinimalModelGenerator:1091) Finding all nested anonymous expressions
2013-10-16 18:53:01,388 INFO  (MinimalModelGenerator:1103) TOTAL axioms in QMAP: 31811
2013-10-16 18:53:01,452 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:01,456 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:01,730 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 274 ms
2013-10-16 18:53:01,730 INFO  (LoggingStageExecutor:70) Property Saturation Initialization started
2013-10-16 18:53:01,731 INFO  (AbstractReasonerStage:179) Property Saturation Initialization using 8 workers
2013-10-16 18:53:01,731 INFO  (LoggingStageExecutor:103) Property Saturation Initialization finished in 0 ms
2013-10-16 18:53:01,731 INFO  (LoggingStageExecutor:70) Reflexive Property Computation started
2013-10-16 18:53:01,734 INFO  (AbstractReasonerStage:179) Reflexive Property Computation using 8 workers
2013-10-16 18:53:01,736 INFO  (LoggingStageExecutor:103) Reflexive Property Computation finished in 4 ms
2013-10-16 18:53:01,736 INFO  (LoggingStageExecutor:70) Object Property Hierarchy and Composition Computation started
2013-10-16 18:53:01,737 INFO  (AbstractReasonerStage:179) Object Property Hierarchy and Composition Computation using 8 workers
2013-10-16 18:53:01,751 INFO  (LoggingStageExecutor:103) Object Property Hierarchy and Composition Computation finished in 14 ms
2013-10-16 18:53:01,751 INFO  (LoggingStageExecutor:70) Context Initialization started
2013-10-16 18:53:01,751 INFO  (AbstractReasonerStage:179) Context Initialization using 8 workers
2013-10-16 18:53:01,752 INFO  (LoggingStageExecutor:103) Context Initialization finished in 0 ms
2013-10-16 18:53:01,753 INFO  (LoggingStageExecutor:70) Consistency Checking started
2013-10-16 18:53:01,758 INFO  (AbstractReasonerStage:179) Consistency Checking using 8 workers
2013-10-16 18:53:01,792 INFO  (LoggingStageExecutor:103) Consistency Checking finished in 39 ms
2013-10-16 18:53:01,793 INFO  (LoggingStageExecutor:70) Class Taxonomy Computation started
2013-10-16 18:53:01,798 INFO  (AbstractReasonerStage:179) Class Taxonomy Computation using 8 workers
2013-10-16 18:53:04,587 INFO  (LoggingStageExecutor:103) Class Taxonomy Computation finished in 2794 ms
2013-10-16 18:53:04,588 INFO  (LoggingStageExecutor:70) Instance Taxonomy Computation started
2013-10-16 18:53:04,612 INFO  (InstanceTaxonomyComputationStage:71) Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:04,612 INFO  (AbstractReasonerStage:179) Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:04,625 INFO  (LoggingStageExecutor:103) Instance Taxonomy Computation finished in 37 ms
2013-10-16 18:53:04,628 INFO  (MinimalModelGenerator:962) Supers for <http://purl.obolibrary.org/obo/GO_0043597-proto> is 23
2013-10-16 18:53:04,629 INFO  (MinimalModelGenerator:970) Supers in QMAP for <http://purl.obolibrary.org/obo/GO_0043597-proto> is 12
2013-10-16 18:53:04,630 INFO  (MinimalModelGenerator:445)   Rel: ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002160> <http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004>)
2013-10-16 18:53:04,632 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:04,632 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:04,633 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>)))
2013-10-16 18:53:04,633 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:04,635 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:04,635 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:04,637 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 2 ms
2013-10-16 18:53:04,638 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:04,639 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:04,642 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 3 ms
2013-10-16 18:53:04,642 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:04,643 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:04,648 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 5 ms
2013-10-16 18:53:04,648 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:04,650 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:04,655 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 6 ms
2013-10-16 18:53:04,655 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:04,655 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:04,663 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 7 ms
2013-10-16 18:53:04,663 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:04,663 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:04,664 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 1 ms
2013-10-16 18:53:04,664 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:04,665 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:04,667 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 2 ms
2013-10-16 18:53:04,667 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:04,667 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:04,711 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 43 ms
2013-10-16 18:53:04,711 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:04,712 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:04,715 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 4 ms
2013-10-16 18:53:04,716 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:04,716 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:04,716 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>)))
2013-10-16 18:53:04,716 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>)))
2013-10-16 18:53:04,717 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:04,717 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:04,717 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:04,719 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 1 ms
2013-10-16 18:53:04,719 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:04,719 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:04,719 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:04,720 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:04,720 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:04,723 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 3 ms
2013-10-16 18:53:04,723 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:04,723 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:04,725 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 1 ms
2013-10-16 18:53:04,725 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:04,726 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:04,726 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:04,726 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:04,726 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:04,728 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 1 ms
2013-10-16 18:53:04,728 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:04,728 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:04,728 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:04,729 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:04,729 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:04,746 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 17 ms
2013-10-16 18:53:04,746 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:04,746 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:04,751 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 4 ms
2013-10-16 18:53:04,752 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:04,752 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:04,752 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0043597>)))
2013-10-16 18:53:04,753 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:04,753 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:04,753 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:04,753 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:04,754 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:04,754 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:04,754 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:04,765 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:04,766 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:04,768 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 2 ms
2013-10-16 18:53:04,768 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:04,768 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:04,771 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 3 ms
2013-10-16 18:53:04,772 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:04,772 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:04,772 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:04,772 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:04,772 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:04,775 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 2 ms
2013-10-16 18:53:04,775 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:04,775 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:04,777 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 1 ms
2013-10-16 18:53:04,777 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:04,777 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:04,793 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 15 ms
2013-10-16 18:53:04,793 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:04,794 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:04,798 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 4 ms
2013-10-16 18:53:04,798 INFO  (MinimalModelGenerator:389) GNI type:<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> // src=<http://purl.obolibrary.org/obo/GO_0043597-proto> via <http://purl.obolibrary.org/obo/RO_0002160>
2013-10-16 18:53:04,798 INFO  (MinimalModelGenerator:1193) Adding: ClassAssertion(<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004> <http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004-proto>) to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 1 Logical Axioms: 1]
2013-10-16 18:53:04,798 INFO  (MinimalModelGenerator:436)  I:<http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004-proto>
2013-10-16 18:53:04,799 INFO  (MinimalModelGenerator:1200) Adding: [ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/RO_0002160> <http://purl.obolibrary.org/obo/GO_0043597-proto> <http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004-proto>)] to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 2 Logical Axioms: 2]
2013-10-16 18:53:04,800 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:04,800 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:04,808 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 7 ms
2013-10-16 18:53:04,808 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:04,808 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:04,810 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 1 ms
2013-10-16 18:53:04,810 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:04,810 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:04,810 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:04,810 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:04,810 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:04,814 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 3 ms
2013-10-16 18:53:04,814 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:04,814 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:04,819 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 5 ms
2013-10-16 18:53:04,819 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:04,820 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:04,847 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 27 ms
2013-10-16 18:53:04,847 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:04,847 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:04,851 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 3 ms
2013-10-16 18:53:04,851 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:04,851 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:04,852 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:04,852 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:04,852 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:04,868 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 16 ms
2013-10-16 18:53:04,869 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:04,869 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:04,873 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 4 ms
2013-10-16 18:53:04,873 INFO  (LoggingStageExecutor:70) Incremental Instance Taxonomy Computation started
2013-10-16 18:53:04,874 INFO  (AbstractReasonerStage:179) Incremental Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:04,878 INFO  (LoggingStageExecutor:103) Incremental Instance Taxonomy Computation finished in 4 ms
2013-10-16 18:53:04,878 INFO  (MinimalModelGenerator:962) Supers for <http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004-proto> is 7
2013-10-16 18:53:04,879 INFO  (MinimalModelGenerator:970) Supers in QMAP for <http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004-proto> is 0
2013-10-16 18:53:04,879 INFO  (MinimalModelGenerator:445)   Rel: ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0000229>)
2013-10-16 18:53:04,879 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:04,879 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:04,880 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:04,880 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:04,880 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:04,880 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:04,881 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:04,881 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:04,881 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:04,881 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:04,881 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:04,884 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 2 ms
2013-10-16 18:53:04,884 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:04,884 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:04,887 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 3 ms
2013-10-16 18:53:04,887 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:04,887 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:04,906 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 18 ms
2013-10-16 18:53:04,906 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:04,906 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:04,911 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 4 ms
2013-10-16 18:53:04,911 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:04,911 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:04,911 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:04,912 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:04,912 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:04,927 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 15 ms
2013-10-16 18:53:04,927 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:04,927 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:04,931 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 3 ms
2013-10-16 18:53:04,931 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:04,931 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:04,931 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:04,932 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:04,932 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:04,935 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 3 ms
2013-10-16 18:53:04,936 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:04,936 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:04,936 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:04,936 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:04,936 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:04,938 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 1 ms
2013-10-16 18:53:04,938 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:04,938 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:04,943 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 4 ms
2013-10-16 18:53:04,943 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:04,943 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:04,944 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:04,944 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:04,944 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:04,944 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:04,944 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:04,944 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:04,945 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:04,945 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:04,945 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:04,959 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:04,959 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:04,959 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:04,959 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:04,959 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:04,960 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:04,960 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:04,960 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:04,960 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:04,960 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:04,960 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:04,961 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:04,976 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 15 ms
2013-10-16 18:53:04,985 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:04,985 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:04,986 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:04,986 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:04,986 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:04,986 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:04,986 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:04,986 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:04,987 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:04,987 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:04,987 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:04,987 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:04,987 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:04,987 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:04,987 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:04,987 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:04,988 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,002 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 14 ms
2013-10-16 18:53:05,002 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,002 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,002 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,003 INFO  (MinimalModelGenerator:389) GNI type:<http://purl.obolibrary.org/obo/GO_0000229> // src=<http://purl.obolibrary.org/obo/GO_0043597-proto> via <http://purl.obolibrary.org/obo/BFO_0000050>
2013-10-16 18:53:05,003 INFO  (MinimalModelGenerator:1193) Adding: ClassAssertion(<http://purl.obolibrary.org/obo/GO_0000229> <http://purl.obolibrary.org/obo/GO_0000229-proto>) to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 3 Logical Axioms: 3]
2013-10-16 18:53:05,003 INFO  (MinimalModelGenerator:436)  I:<http://purl.obolibrary.org/obo/GO_0000229-proto>
2013-10-16 18:53:05,003 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0000229-proto> <http://purl.obolibrary.org/obo/GO_0043597-proto>
2013-10-16 18:53:05,003 INFO  (MinimalModelGenerator:1200) Adding: [ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0000229-proto> <http://purl.obolibrary.org/obo/GO_0043597-proto>), ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0043597-proto> <http://purl.obolibrary.org/obo/GO_0000229-proto>)] to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 4 Logical Axioms: 4]
2013-10-16 18:53:05,003 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,004 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,010 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 6 ms
2013-10-16 18:53:05,010 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,011 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,011 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,011 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,011 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,011 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,011 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,012 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,012 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,012 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,012 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,012 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,012 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,013 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,027 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 14 ms
2013-10-16 18:53:05,027 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,027 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,028 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,028 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,028 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,028 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,029 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,029 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,042 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,042 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,042 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,043 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,043 INFO  (LoggingStageExecutor:70) Incremental Instance Taxonomy Computation started
2013-10-16 18:53:05,043 INFO  (AbstractReasonerStage:179) Incremental Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:05,043 INFO  (LoggingStageExecutor:103) Incremental Instance Taxonomy Computation finished in 0 ms
2013-10-16 18:53:05,044 INFO  (MinimalModelGenerator:962) Supers for <http://purl.obolibrary.org/obo/GO_0000229-proto> is 14
2013-10-16 18:53:05,044 INFO  (MinimalModelGenerator:970) Supers in QMAP for <http://purl.obolibrary.org/obo/GO_0000229-proto> is 3
2013-10-16 18:53:05,044 INFO  (MinimalModelGenerator:445)   Rel: ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0005737>)
2013-10-16 18:53:05,044 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,044 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,044 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,045 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,045 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,045 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,045 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,045 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,045 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,045 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,046 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,046 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,046 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,046 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,046 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,046 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,046 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,058 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 11 ms
2013-10-16 18:53:05,058 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,059 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,059 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,059 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,059 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,059 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,059 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,059 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,073 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,073 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,073 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,074 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,074 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,074 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,074 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,074 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,074 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,075 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,075 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,075 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,075 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,075 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,075 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,076 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,076 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,076 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,076 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,076 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,076 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,076 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,076 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,077 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,077 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,077 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,077 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,077 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,077 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,077 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,093 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 15 ms
2013-10-16 18:53:05,093 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,093 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,094 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,094 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,094 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,094 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,094 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,094 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,094 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,095 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,095 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,104 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 9 ms
2013-10-16 18:53:05,113 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,113 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,113 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,113 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,113 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,114 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,114 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,114 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,114 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,114 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,114 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,114 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,114 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,115 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,115 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,115 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,115 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,129 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 14 ms
2013-10-16 18:53:05,129 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,130 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,130 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,130 INFO  (MinimalModelGenerator:389) GNI type:<http://purl.obolibrary.org/obo/GO_0005737> // src=<http://purl.obolibrary.org/obo/GO_0000229-proto> via <http://purl.obolibrary.org/obo/BFO_0000050>
2013-10-16 18:53:05,130 INFO  (MinimalModelGenerator:1193) Adding: ClassAssertion(<http://purl.obolibrary.org/obo/GO_0005737> <http://purl.obolibrary.org/obo/GO_0005737-proto>) to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 6 Logical Axioms: 6]
2013-10-16 18:53:05,130 INFO  (MinimalModelGenerator:436)  I:<http://purl.obolibrary.org/obo/GO_0005737-proto>
2013-10-16 18:53:05,130 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005737-proto> <http://purl.obolibrary.org/obo/GO_0000229-proto>
2013-10-16 18:53:05,131 INFO  (MinimalModelGenerator:1200) Adding: [ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0000229-proto> <http://purl.obolibrary.org/obo/GO_0005737-proto>), ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005737-proto> <http://purl.obolibrary.org/obo/GO_0000229-proto>)] to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 7 Logical Axioms: 7]
2013-10-16 18:53:05,131 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,131 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,137 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 6 ms
2013-10-16 18:53:05,137 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,138 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,138 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,138 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,138 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,138 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,138 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,139 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,139 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,139 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,139 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,139 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,139 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,139 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,150 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 10 ms
2013-10-16 18:53:05,150 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,151 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,151 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,151 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,151 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,151 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,151 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,152 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,165 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,165 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,165 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,166 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,166 INFO  (LoggingStageExecutor:70) Incremental Instance Taxonomy Computation started
2013-10-16 18:53:05,166 INFO  (AbstractReasonerStage:179) Incremental Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:05,166 INFO  (LoggingStageExecutor:103) Incremental Instance Taxonomy Computation finished in 0 ms
2013-10-16 18:53:05,166 INFO  (MinimalModelGenerator:962) Supers for <http://purl.obolibrary.org/obo/GO_0005737-proto> is 7
2013-10-16 18:53:05,167 INFO  (MinimalModelGenerator:970) Supers in QMAP for <http://purl.obolibrary.org/obo/GO_0005737-proto> is 2
2013-10-16 18:53:05,167 INFO  (MinimalModelGenerator:445)   Rel: ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0005622>)
2013-10-16 18:53:05,167 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,167 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,167 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,167 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,167 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,168 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,168 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,168 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,168 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,168 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,168 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,168 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,169 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,169 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,169 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,169 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,169 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,180 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 10 ms
2013-10-16 18:53:05,180 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,180 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,181 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,181 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,181 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,181 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,181 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,182 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,196 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 14 ms
2013-10-16 18:53:05,197 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,197 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,197 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,197 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,197 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,197 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,198 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,198 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,198 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,198 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,198 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,198 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,199 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,199 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,199 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,199 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,199 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,199 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,199 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,199 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,200 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,200 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,200 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,200 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,200 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,200 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,200 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,200 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,200 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,214 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,214 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,214 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,215 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,215 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,215 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,215 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,215 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,215 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,215 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,215 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,216 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,222 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 6 ms
2013-10-16 18:53:05,231 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,231 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,232 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,232 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,232 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,232 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,232 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,232 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,232 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,232 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,233 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,233 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,233 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,233 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,233 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,233 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,233 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,247 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,247 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,247 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,248 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,248 INFO  (MinimalModelGenerator:389) GNI type:<http://purl.obolibrary.org/obo/GO_0005622> // src=<http://purl.obolibrary.org/obo/GO_0005737-proto> via <http://purl.obolibrary.org/obo/BFO_0000050>
2013-10-16 18:53:05,248 INFO  (MinimalModelGenerator:1193) Adding: ClassAssertion(<http://purl.obolibrary.org/obo/GO_0005622> <http://purl.obolibrary.org/obo/GO_0005622-proto>) to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 9 Logical Axioms: 9]
2013-10-16 18:53:05,248 INFO  (MinimalModelGenerator:436)  I:<http://purl.obolibrary.org/obo/GO_0005622-proto>
2013-10-16 18:53:05,248 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005622-proto> <http://purl.obolibrary.org/obo/GO_0005737-proto>
2013-10-16 18:53:05,248 INFO  (MinimalModelGenerator:1200) Adding: [ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0005737-proto> <http://purl.obolibrary.org/obo/GO_0005622-proto>), ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005622-proto> <http://purl.obolibrary.org/obo/GO_0005737-proto>)] to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 10 Logical Axioms: 10]
2013-10-16 18:53:05,248 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,249 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,255 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 6 ms
2013-10-16 18:53:05,255 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,255 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,256 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,256 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,256 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,256 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,256 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,256 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,256 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,257 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,257 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,257 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,257 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,257 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,265 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 8 ms
2013-10-16 18:53:05,265 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,265 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,266 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,266 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,266 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,266 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,266 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,266 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,280 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,280 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,280 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,280 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,280 INFO  (LoggingStageExecutor:70) Incremental Instance Taxonomy Computation started
2013-10-16 18:53:05,280 INFO  (AbstractReasonerStage:179) Incremental Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:05,281 INFO  (LoggingStageExecutor:103) Incremental Instance Taxonomy Computation finished in 0 ms
2013-10-16 18:53:05,281 INFO  (MinimalModelGenerator:962) Supers for <http://purl.obolibrary.org/obo/GO_0005622-proto> is 5
2013-10-16 18:53:05,281 INFO  (MinimalModelGenerator:970) Supers in QMAP for <http://purl.obolibrary.org/obo/GO_0005622-proto> is 1
2013-10-16 18:53:05,281 INFO  (MinimalModelGenerator:445)   Rel: ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0005623>)
2013-10-16 18:53:05,281 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,281 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,281 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,282 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,282 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,282 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,282 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,282 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,282 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,282 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,283 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,283 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,283 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,283 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,283 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,283 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,283 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,290 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 6 ms
2013-10-16 18:53:05,290 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,291 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,291 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,291 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,291 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,291 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,291 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,291 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,305 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,305 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,306 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,306 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,306 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,306 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,306 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,306 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,306 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,307 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,307 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,307 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,307 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,307 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,307 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,307 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,308 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,308 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,308 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,308 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,308 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,308 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,308 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,308 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,309 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,309 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,309 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,309 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,309 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,309 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,323 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,323 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,323 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,323 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,323 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,323 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,323 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,323 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,324 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,324 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,324 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,324 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,331 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 6 ms
2013-10-16 18:53:05,339 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,339 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,339 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,340 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,340 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,340 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,340 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,340 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,340 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,341 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,341 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,341 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,341 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,341 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,341 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,341 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,341 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,355 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,355 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,355 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,356 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,356 INFO  (MinimalModelGenerator:389) GNI type:<http://purl.obolibrary.org/obo/GO_0005623> // src=<http://purl.obolibrary.org/obo/GO_0005622-proto> via <http://purl.obolibrary.org/obo/BFO_0000050>
2013-10-16 18:53:05,356 INFO  (MinimalModelGenerator:1193) Adding: ClassAssertion(<http://purl.obolibrary.org/obo/GO_0005623> <http://purl.obolibrary.org/obo/GO_0005623-proto>) to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 12 Logical Axioms: 12]
2013-10-16 18:53:05,356 INFO  (MinimalModelGenerator:436)  I:<http://purl.obolibrary.org/obo/GO_0005623-proto>
2013-10-16 18:53:05,356 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005623-proto> <http://purl.obolibrary.org/obo/GO_0005622-proto>
2013-10-16 18:53:05,356 INFO  (MinimalModelGenerator:1200) Adding: [ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0005622-proto> <http://purl.obolibrary.org/obo/GO_0005623-proto>), ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005623-proto> <http://purl.obolibrary.org/obo/GO_0005622-proto>)] to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 13 Logical Axioms: 13]
2013-10-16 18:53:05,356 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,357 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,363 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 6 ms
2013-10-16 18:53:05,363 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,363 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,364 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,364 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,364 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,364 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,364 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,364 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,364 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,365 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,365 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,365 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,365 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,365 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,372 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 7 ms
2013-10-16 18:53:05,372 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,372 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,373 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,373 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,373 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,373 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,373 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,373 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,387 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,388 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,388 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,388 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,388 INFO  (LoggingStageExecutor:70) Incremental Instance Taxonomy Computation started
2013-10-16 18:53:05,388 INFO  (AbstractReasonerStage:179) Incremental Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:05,388 INFO  (LoggingStageExecutor:103) Incremental Instance Taxonomy Computation finished in 0 ms
2013-10-16 18:53:05,388 INFO  (MinimalModelGenerator:962) Supers for <http://purl.obolibrary.org/obo/GO_0005623-proto> is 5
2013-10-16 18:53:05,389 INFO  (MinimalModelGenerator:970) Supers in QMAP for <http://purl.obolibrary.org/obo/GO_0005623-proto> is 1
2013-10-16 18:53:05,389 INFO  (MinimalModelGenerator:445)   Rel: ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002160> <http://purl.obolibrary.org/obo/NCBITaxon_131567>)
2013-10-16 18:53:05,389 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,389 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,389 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>)))
2013-10-16 18:53:05,389 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,389 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,389 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,390 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,390 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,390 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,390 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,390 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,390 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,390 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,391 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,391 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,391 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,391 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,391 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,391 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,391 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,391 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,392 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,392 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,392 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,392 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,392 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,392 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,406 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,406 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,406 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,407 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,407 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,407 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,407 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>)))
2013-10-16 18:53:05,407 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>)))
2013-10-16 18:53:05,407 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,407 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,407 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,408 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,408 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,408 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,408 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,408 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,408 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,409 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,409 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,409 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,409 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,409 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,409 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,409 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,409 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,410 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,410 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,410 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,410 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,410 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,410 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,410 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,424 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,424 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,424 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,424 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,424 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,424 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,425 WARN  (ChangeIndexingProcessor:66) ELK does not support ObjectInverseOf. Axiom ignored:
EquivalentClasses(<ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>))> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/NCBITaxon_131567> ObjectSomeValuesFrom(ObjectInverseOf(<http://purl.obolibrary.org/obo/RO_0002160>) <http://purl.obolibrary.org/obo/GO_0005623>)))
2013-10-16 18:53:05,425 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 0 ms
2013-10-16 18:53:05,425 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,425 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,425 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,425 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,425 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,426 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,434 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,434 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,434 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,434 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,434 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,435 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,435 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,435 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,435 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 0 ms
2013-10-16 18:53:05,435 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,435 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,435 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,436 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,436 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,436 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,436 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,436 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,450 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 14 ms
2013-10-16 18:53:05,450 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,450 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,450 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,451 INFO  (MinimalModelGenerator:389) GNI type:<http://purl.obolibrary.org/obo/NCBITaxon_131567> // src=<http://purl.obolibrary.org/obo/GO_0005623-proto> via <http://purl.obolibrary.org/obo/RO_0002160>
2013-10-16 18:53:05,451 INFO  (MinimalModelGenerator:1193) Adding: ClassAssertion(<http://purl.obolibrary.org/obo/NCBITaxon_131567> <http://purl.obolibrary.org/obo/NCBITaxon_131567-proto>) to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 15 Logical Axioms: 15]
2013-10-16 18:53:05,451 INFO  (MinimalModelGenerator:436)  I:<http://purl.obolibrary.org/obo/NCBITaxon_131567-proto>
2013-10-16 18:53:05,451 INFO  (MinimalModelGenerator:1200) Adding: [ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/RO_0002160> <http://purl.obolibrary.org/obo/GO_0005623-proto> <http://purl.obolibrary.org/obo/NCBITaxon_131567-proto>)] to Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox>))) [Axioms: 16 Logical Axioms: 16]
2013-10-16 18:53:05,451 INFO  (LoggingStageExecutor:70) Loading of Axioms started
2013-10-16 18:53:05,451 INFO  (AbstractReasonerStage:179) Loading of Axioms using 8 workers
2013-10-16 18:53:05,458 INFO  (LoggingStageExecutor:103) Loading of Axioms finished in 6 ms
2013-10-16 18:53:05,458 INFO  (LoggingStageExecutor:70) Incremental Context Completion started
2013-10-16 18:53:05,458 INFO  (AbstractReasonerStage:179) Incremental Context Completion using 8 workers
2013-10-16 18:53:05,458 INFO  (LoggingStageExecutor:103) Incremental Context Completion finished in 0 ms
2013-10-16 18:53:05,459 INFO  (LoggingStageExecutor:70) Incremental Deletions Initialization started
2013-10-16 18:53:05,459 INFO  (AbstractReasonerStage:179) Incremental Deletions Initialization using 8 workers
2013-10-16 18:53:05,459 INFO  (LoggingStageExecutor:103) Incremental Deletions Initialization finished in 0 ms
2013-10-16 18:53:05,459 INFO  (LoggingStageExecutor:70) Incremental Deletion started
2013-10-16 18:53:05,459 INFO  (AbstractReasonerStage:179) Incremental Deletion using 8 workers
2013-10-16 18:53:05,459 INFO  (LoggingStageExecutor:103) Incremental Deletion finished in 0 ms
2013-10-16 18:53:05,459 INFO  (LoggingStageExecutor:70) Incremental Overdeletion Pruning started
2013-10-16 18:53:05,459 INFO  (AbstractReasonerStage:179) Incremental Overdeletion Pruning using 8 workers
2013-10-16 18:53:05,460 INFO  (LoggingStageExecutor:103) Incremental Overdeletion Pruning finished in 0 ms
2013-10-16 18:53:05,460 INFO  (LoggingStageExecutor:70) Incremental Additions Initialization started
2013-10-16 18:53:05,460 INFO  (AbstractReasonerStage:179) Incremental Additions Initialization using 8 workers
2013-10-16 18:53:05,467 INFO  (LoggingStageExecutor:103) Incremental Additions Initialization finished in 7 ms
2013-10-16 18:53:05,467 INFO  (LoggingStageExecutor:70) Incremental Addition started
2013-10-16 18:53:05,467 INFO  (AbstractReasonerStage:179) Incremental Addition using 8 workers
2013-10-16 18:53:05,468 INFO  (LoggingStageExecutor:103) Incremental Addition finished in 0 ms
2013-10-16 18:53:05,468 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Cleaning started
2013-10-16 18:53:05,468 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Cleaning using 8 workers
2013-10-16 18:53:05,468 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Cleaning finished in 0 ms
2013-10-16 18:53:05,468 INFO  (LoggingStageExecutor:70) Incremental Consistency Checking started
2013-10-16 18:53:05,468 INFO  (AbstractReasonerStage:179) Incremental Consistency Checking using 8 workers
2013-10-16 18:53:05,482 INFO  (LoggingStageExecutor:103) Incremental Consistency Checking finished in 13 ms
2013-10-16 18:53:05,482 INFO  (LoggingStageExecutor:70) Incremental Taxonomy Construction started
2013-10-16 18:53:05,482 INFO  (AbstractReasonerStage:179) Incremental Taxonomy Construction using 8 workers
2013-10-16 18:53:05,483 INFO  (LoggingStageExecutor:103) Incremental Taxonomy Construction finished in 0 ms
2013-10-16 18:53:05,483 INFO  (LoggingStageExecutor:70) Incremental Instance Taxonomy Computation started
2013-10-16 18:53:05,483 INFO  (AbstractReasonerStage:179) Incremental Instance Taxonomy Computation using 8 workers
2013-10-16 18:53:05,483 INFO  (LoggingStageExecutor:103) Incremental Instance Taxonomy Computation finished in 0 ms
2013-10-16 18:53:05,483 INFO  (MinimalModelGenerator:962) Supers for <http://purl.obolibrary.org/obo/NCBITaxon_131567-proto> is 3
2013-10-16 18:53:05,483 INFO  (MinimalModelGenerator:970) Supers in QMAP for <http://purl.obolibrary.org/obo/NCBITaxon_131567-proto> is 0
2013-10-16 18:53:05,483 INFO  (MinimalModelGenerator:604) Collapsing...
2013-10-16 18:53:05,485 INFO  (MinimalModelGenerator:698)   ?collapsing <http://purl.obolibrary.org/obo/NCBITaxon_131567-proto> -> <http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004-proto>
2013-10-16 18:53:05,485 INFO  (MinimalModelGenerator:703)   ACTUALLY collapsing <http://purl.obolibrary.org/obo/NCBITaxon_131567-proto> -> <http://purl.obolibrary.org/obo/NCBITaxon_Union_0000004-proto>
2013-10-16 18:53:05,488 INFO  (MinimalModelGenerator:1361) removing redundant axioms, #=0
2013-10-16 18:53:05,488 INFO  (MinimalModelGenerator:1361) removing redundant axioms, #=0
2013-10-16 18:53:05,488 INFO  (MinimalModelGenerator:1361) removing redundant axioms, #=0
2013-10-16 18:53:05,488 INFO  (MinimalModelGenerator:1361) removing redundant axioms, #=0
2013-10-16 18:53:05,489 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005622-proto> <http://purl.obolibrary.org/obo/GO_0000229-proto>
2013-10-16 18:53:05,489 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005623-proto> <http://purl.obolibrary.org/obo/GO_0000229-proto>
2013-10-16 18:53:05,490 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005623-proto> <http://purl.obolibrary.org/obo/GO_0005737-proto>
2013-10-16 18:53:05,490 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005622-proto> <http://purl.obolibrary.org/obo/GO_0043597-proto>
2013-10-16 18:53:05,490 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005623-proto> <http://purl.obolibrary.org/obo/GO_0043597-proto>
2013-10-16 18:53:05,491 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005737-proto> <http://purl.obolibrary.org/obo/GO_0043597-proto>
2013-10-16 18:53:05,491 INFO  (MinimalModelGenerator:1361) removing redundant axioms, #=12
2013-10-16 18:53:05,491 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0000229-proto> <http://purl.obolibrary.org/obo/GO_0005622-proto>
2013-10-16 18:53:05,491 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0043597-proto> <http://purl.obolibrary.org/obo/GO_0005622-proto>
2013-10-16 18:53:05,492 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0000229-proto> <http://purl.obolibrary.org/obo/GO_0005623-proto>
2013-10-16 18:53:05,492 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0005737-proto> <http://purl.obolibrary.org/obo/GO_0005623-proto>
2013-10-16 18:53:05,492 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0043597-proto> <http://purl.obolibrary.org/obo/GO_0005623-proto>
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1173) Including inverse: <http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/GO_0043597-proto> <http://purl.obolibrary.org/obo/GO_0005737-proto>
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1361) removing redundant axioms, #=12
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1304) Normalizing: <http://purl.obolibrary.org/obo/BFO_0000066>
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1307) Inverse props: []
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1304) Normalizing: <http://purl.obolibrary.org/obo/BFO_0000050>
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1307) Inverse props: [<http://purl.obolibrary.org/obo/BFO_0000051>]
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1313)   FLIPPING:ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0000229-proto> <http://purl.obolibrary.org/obo/GO_0043597-proto>)
2013-10-16 18:53:05,493 INFO  (MinimalModelGenerator:1313)   FLIPPING:ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005623-proto> <http://purl.obolibrary.org/obo/GO_0005622-proto>)
2013-10-16 18:53:05,494 INFO  (MinimalModelGenerator:1313)   FLIPPING:ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005737-proto> <http://purl.obolibrary.org/obo/GO_0000229-proto>)
2013-10-16 18:53:05,494 INFO  (MinimalModelGenerator:1313)   FLIPPING:ObjectPropertyAssertion(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/GO_0005622-proto> <http://purl.obolibrary.org/obo/GO_0005737-proto>)
2013-10-16 18:53:05,494 INFO  (MinimalModelGenerator:1304) Normalizing: <http://purl.obolibrary.org/obo/RO_0002211>
2013-10-16 18:53:05,494 INFO  (MinimalModelGenerator:1307) Inverse props: []
saving:http://purl.obolibrary.org/obo/go/extensions/go-plus.owl__abox