@Override public OWLOntologyManager getManager() { return reasoner.getManager(); }
@Override public OWLOntologyManager getManager() { return reasoner.getManager(); }
@Override public OWLOntologyManager getManager() { return reasoner.getManager(); }
public IncrementalClassifier(final OpenlletReasoner reasoner, final ModuleExtractor extractor) { _reasoner = reasoner; _extractor = extractor; final OWLOntology ontology = reasoner.getRootOntology(); ontology.importsClosure().map(OWLOntology::axioms).forEach(extractor::addAxioms); reasoner.getManager().addOntologyChangeListener(this); }
@Override public void dispose() { _reasoner.getManager().removeOntologyChangeListener(this); _reasoner.dispose(); }
public IncrementalClassifier(final OpenlletReasoner reasoner, final ModuleExtractor extractor) { _reasoner = reasoner; _extractor = extractor; final OWLOntology ontology = reasoner.getRootOntology(); ontology.importsClosure().map(OWLOntology::axioms).forEach(extractor::addAxioms); reasoner.getManager().addOntologyChangeListener(this); }
@Override public void dispose() { _reasoner.getManager().removeOntologyChangeListener(this); _reasoner.dispose(); }
public AxiomConverter(final OpenlletReasoner reasoner) { this(reasoner.getKB(), reasoner.getManager().getOWLDataFactory()); }
public AxiomConverter(final OpenlletReasoner reasoner) { this(reasoner.getKB(), reasoner.getManager().getOWLDataFactory()); }
public AxiomConverter(final OpenlletReasoner reasoner) { this(reasoner.getKB(), reasoner.getManager().getOWLDataFactory()); }
private void realize() { if (isRealized()) return; final Set<ATermAppl> allIndividuals = _reasoner.getKB().getIndividuals(); final Set<OWLClass> visitedClasses = new HashSet<>(); if (!allIndividuals.isEmpty()) realizeByConcept(ATermUtils.TOP, allIndividuals, _reasoner.getManager().getOWLDataFactory(), visitedClasses); _realized = true; }
private void realize() { if (isRealized()) return; final Set<ATermAppl> allIndividuals = _reasoner.getKB().getIndividuals(); final Set<OWLClass> visitedClasses = new HashSet<>(); if (!allIndividuals.isEmpty()) realizeByConcept(ATermUtils.TOP, allIndividuals, _reasoner.getManager().getOWLDataFactory(), visitedClasses); _realized = true; }
private PelletExplanation(final OpenlletReasoner reasoner, final boolean useGlassBox) { // Get the _factory object _factory = reasoner.getManager().getOWLDataFactory(); // Create a single explanation generator final TransactionAwareSingleExpGen singleExp = useGlassBox ? new GlassBoxExplanation(reasoner) : new BlackBoxExplanation(reasoner.getRootOntology(), new OpenlletReasonerFactory(), reasoner); // Create multiple explanation generator _expGen = new HSTExplanationGenerator(singleExp); // Create the converter that will translate axioms into class expressions _converter = new SatisfiabilityConverter(_factory); }
private PelletExplanation(final OpenlletReasoner reasoner, final boolean useGlassBox) { // Get the _factory object _factory = reasoner.getManager().getOWLDataFactory(); // Create a single explanation generator final TransactionAwareSingleExpGen singleExp = useGlassBox ? new GlassBoxExplanation(reasoner) : new BlackBoxExplanation(reasoner.getRootOntology(), new OpenlletReasonerFactory(), reasoner); // Create multiple explanation generator _expGen = new HSTExplanationGenerator(singleExp); // Create the converter that will translate axioms into class expressions _converter = new SatisfiabilityConverter(_factory); }
private PelletExplanation(final OpenlletReasoner reasoner, final boolean useGlassBox) { // Get the _factory object _factory = reasoner.getManager().getOWLDataFactory(); // Create a single explanation generator final TransactionAwareSingleExpGen singleExp = useGlassBox ? new GlassBoxExplanation(reasoner) : new BlackBoxExplanation(reasoner.getRootOntology(), new OpenlletReasonerFactory(), reasoner); // Create multiple explanation generator _expGen = new HSTExplanationGenerator(singleExp); // Create the converter that will translate axioms into class expressions _converter = new SatisfiabilityConverter(_factory); }
public IncrementalClassifier(final PersistedState persistedState) { _extractor = persistedState.getModuleExtractor(); _taxonomyImpl = persistedState.getTaxonomy(); _realized = persistedState.isRealized(); _modules = _extractor.getModules(); final OWLOntology ontology = OWL.Ontology(_extractor.axioms()); _reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology); _reasoner.getManager().addOntologyChangeListener(this); }
public IncrementalClassifier(final PersistedState persistedState) { _extractor = persistedState.getModuleExtractor(); _taxonomyImpl = persistedState.getTaxonomy(); _realized = persistedState.isRealized(); _modules = _extractor.getModules(); final OWLOntology ontology = OWL.Ontology(_extractor.axioms()); _reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology); _reasoner.getManager().addOntologyChangeListener(this); }
@Override public void visit(final OWLNegativeDataPropertyAssertionAxiom axiom) { final OWLIndividual s = axiom.getSubject(); if (s.isAnonymous()) { deferAxiom(axiom); return; } final OWLDataFactory factory = _reasoner.getManager().getOWLDataFactory(); final OWLClassExpression hasValue = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); final OWLClassExpression doesNotHaveValue = factory.getOWLObjectComplementOf(hasValue); _isEntailed = _kb.isType(_reasoner.term(s), _reasoner.term(doesNotHaveValue)); }
@Override public void visit(final OWLNegativeDataPropertyAssertionAxiom axiom) { final OWLIndividual s = axiom.getSubject(); if (s.isAnonymous()) { deferAxiom(axiom); return; } final OWLDataFactory factory = _reasoner.getManager().getOWLDataFactory(); final OWLClassExpression hasValue = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); final OWLClassExpression doesNotHaveValue = factory.getOWLObjectComplementOf(hasValue); _isEntailed = _kb.isType(_reasoner.term(s), _reasoner.term(doesNotHaveValue)); }
@Override public void visit(final OWLNegativeObjectPropertyAssertionAxiom axiom) { final OWLIndividual s = axiom.getSubject(); final OWLIndividual o = axiom.getObject(); if (s.isAnonymous() || o.isAnonymous()) { deferAxiom(axiom); return; } final OWLDataFactory factory = _reasoner.getManager().getOWLDataFactory(); final OWLClassExpression hasValue = factory.getOWLObjectHasValue(axiom.getProperty(), o); final OWLClassExpression doesNotHaveValue = factory.getOWLObjectComplementOf(hasValue); _isEntailed = _kb.isType(_reasoner.term(s), _reasoner.term(doesNotHaveValue)); }