/** * {@inheritDoc} */ @Override public OWLOntology getRootOntology() { return _reasoner.getRootOntology(); }
/** * {@inheritDoc} */ @Override public OWLOntology getRootOntology() { return _reasoner.getRootOntology(); }
public GlassBoxExplanation(final OpenlletReasonerFactory factory, final OpenlletReasoner reasoner) { super(reasoner.getRootOntology(), factory, reasoner); _axiomConverter = new AxiomConverter(reasoner); }
public GlassBoxExplanation(final OpenlletReasonerFactory factory, final OpenlletReasoner reasoner) { super(reasoner.getRootOntology(), factory, reasoner); _axiomConverter = new AxiomConverter(reasoner); }
public GlassBoxExplanation(final OpenlletReasonerFactory factory, final OpenlletReasoner reasoner) { super(reasoner.getRootOntology(), factory, reasoner); _axiomConverter = new AxiomConverter(reasoner); }
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); }
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); }
private TransactionAwareSingleExpGen getSingleExplanationGenerator() { if (_useBlackBox) { if (_options.getOption("inconsistent") != null) { if (!_options.getOption("inconsistent").getValueAsBoolean()) { return new BlackBoxExplanation(_reasoner.getRootOntology(), OpenlletReasonerFactory.getInstance(), _reasoner); } else { output("WARNING: black method cannot be used to explain inconsistency. Switching to glass."); return new GlassBoxExplanation(_reasoner); } } else { return new BlackBoxExplanation(_reasoner.getRootOntology(), OpenlletReasonerFactory.getInstance(), _reasoner); } } else { return new GlassBoxExplanation(_reasoner); } }
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 void explainClassHierarchy() throws OWLException { final Set<OWLClass> visited = new HashSet<>(); _reasoner.flush(); startTask("Classification"); _reasoner.getKB().classify(); finishTask("Classification"); startTask("Realization"); _reasoner.getKB().realize(); finishTask("Realization"); _monitor = new ConsoleProgressMonitor(); _monitor.setProgressTitle("Explaining"); _monitor.setProgressLength((int) _reasoner.getRootOntology().classesInSignature().count()); _monitor.taskStarted(); final Node<OWLClass> bottoms = _reasoner.getEquivalentClasses(OWL.Nothing); explainClassHierarchy(OWL.Nothing, bottoms, visited); final Node<OWLClass> tops = _reasoner.getEquivalentClasses(OWL.Thing); explainClassHierarchy(OWL.Thing, tops, visited); _monitor.taskFinished(); }