@Override protected Stream<OWLAxiom> getObjects(OWLOntology ont) { return ont.logicalAxioms().map(x -> x); } }
@Override protected Stream<OWLAxiom> getObjects(OWLOntology ont) { return ont.logicalAxioms().map(x -> x); } }
@Override protected Stream<OWLAxiom> getObjects(OWLOntology ont) { return ont.logicalAxioms().map(x -> x); } }
@Override protected Stream<OWLAxiom> getObjects(OWLOntology ont) { return ont.logicalAxioms().map(x -> x); } }
@Override public Collection<OWLClassExpression> visit(OWLOntology ontology) { ontology.logicalAxioms().forEach(ax -> ax.accept(this)); return objects; }
private Stream<? extends OWLAxiom> getAxioms(OWLOntology ont) { if (mergeOnlyLogicalAxioms) { return ont.logicalAxioms(); } else { return ont.axioms(); } }
private Stream<? extends OWLAxiom> getAxioms(OWLOntology ont) { if (mergeOnlyLogicalAxioms) { return ont.logicalAxioms(); } else { return ont.axioms(); } }
@Override public Stream<OWLLogicalAxiom> logicalAxioms(Imports imports) { return withReadLock(() -> delegate.logicalAxioms(imports)); }
@Override public Collection<OWLClassExpression> visit(OWLOntology ontology) { ontology.logicalAxioms().forEach(ax -> ax.accept(this)); return objects; }
@Override public Integer visit(OWLOntology ontology) { return counter(ontology.logicalAxioms()); }
@Override public Integer visit(OWLOntology ontology) { return counter(ontology.logicalAxioms()); }
@Override public void visit(OWLOntology ontology) { checkNotNull(ontology, "ontology cannot be null"); ontology.logicalAxioms().sorted().forEach(ax -> { ax.accept(this); write("\n"); }); }
@Override public void visit(OWLOntology ontology) { checkNotNull(ontology, "ontology cannot be null"); ontology.logicalAxioms().sorted().forEach(ax -> { ax.accept(this); write("\n"); }); }
@Override public void visit(OWLOntology ontology) { checkNotNull(ontology, "ontology cannot be null"); ontology.logicalAxioms().sorted().forEach(ax -> { ax.accept(this); write("\n"); }); }
@Override public ExplanationGenerator<E> createExplanationGenerator(OWLOntology ontology, ExplanationProgressMonitor<E> progressMonitor) { Set<OWLAxiom> axioms = new HashSet<>(ontology.getLogicalAxiomCount()); ontology.importsClosure() .forEach(ont->add(axioms, ont.logicalAxioms())); return createExplanationGenerator(axioms, progressMonitor); }
@Override public ExplanationGenerator<OWLAxiom> createExplanationGenerator(OWLOntology ontology, ExplanationProgressMonitor<OWLAxiom> progressMonitor) { Set<OWLAxiom> axioms = new HashSet<>(ontology.getLogicalAxiomCount(Imports.INCLUDED)); ontology.importsClosure().forEach(ont -> add(axioms, ont.logicalAxioms())); return new BlackBoxExplanationGenerator2<>( axioms, consistencyEntailmentCheckerFactory, expansionStrategy, contractionStrategy, progressMonitor, m); }
@Override public ExplanationGenerator<E> createExplanationGenerator(OWLOntology ontology, ExplanationProgressMonitor<E> progressMonitor) { Set<OWLAxiom> axioms = new HashSet<>(ontology.getLogicalAxiomCount(Imports.INCLUDED)); ontology.importsClosure().forEach(ont -> add(axioms, ont.logicalAxioms())); return new BlackBoxExplanationGenerator2<>( axioms, configuration.getCheckerFactory(), configuration.getExpansionStrategy(), configuration.getContractionStrategy(), progressMonitor, configuration.getOntologyManagerSupplier()); }
protected OWLReasonerBase(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode) { this.rootOntology = checkNotNull(rootOntology, "rootOntology cannot be null"); this.bufferingMode = checkNotNull(bufferingMode, "bufferingMode cannot be null"); this.configuration = checkNotNull(configuration, "configuration cannot be null"); timeOut = configuration.getTimeOut(); manager = rootOntology.getOWLOntologyManager(); manager.addOntologyChangeListener(this::handleRawOntologyChanges); reasonerAxioms = asUnorderedSet( rootOntology.importsClosure().flatMap(o -> Stream.concat(o.logicalAxioms(), o .axioms(AxiomType.DECLARATION))) .map(ax -> OWLAxiom.getAxiomWithoutAnnotations(ax))); }
protected OWLReasonerBase(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode) { this.rootOntology = checkNotNull(rootOntology, "rootOntology cannot be null"); this.bufferingMode = checkNotNull(bufferingMode, "bufferingMode cannot be null"); this.configuration = checkNotNull(configuration, "configuration cannot be null"); timeOut = configuration.getTimeOut(); manager = rootOntology.getOWLOntologyManager(); manager.addOntologyChangeListener(this::handleRawOntologyChanges); reasonerAxioms = asUnorderedSet( rootOntology.importsClosure().flatMap(o -> Stream.concat(o.logicalAxioms(), o .axioms(AxiomType.DECLARATION))) .map(ax -> OWLAxiom.getAxiomWithoutAnnotations(ax))); }
@Override protected boolean isEntailed(final OWLOntology premise, final OWLOntology conclusion) { final OWLReasoner reasoner = _reasonerFactory.createReasoner(premise); return reasoner.isEntailed(conclusion.logicalAxioms()); }