@Override public void dispose() { reset(); }
protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology) { this.owlOntologyManager = owlOntologyManager; this.ontology = ontology; mergeImportsClosure(); }
public OWLClassExpression getDebuggerClassExpression() { if (desc != null) { return desc; } else { return super.getDebuggerClassExpression(); } }
protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
/** * Instantiates a new justification map. * * @param desc the class expression * @param axioms the axioms */ public JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms) { this.axioms = checkNotNull(axioms, "axioms cannot be null"); this.desc = checkNotNull(desc, "desc cannot be null"); createMap(); }
public Debugger(OWLOntologyManager manager, OWLOntology ontology, OWLReasonerFactory reasonerFactory) { this.ontology = ontology; checker = reasonerFactory.createNonBufferingReasoner(ontology); /* Create a new debugger */ debugger = new BlackBoxOWLDebugger(manager, ontology, reasonerFactory); }
@Override public void dispose() { reset(); }
/** * Instantiates a new abstract owl debugger. * * @param owlOntologyManager the owl ontology manager * @param ontology the ontology */ protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology) { man = checkNotNull(owlOntologyManager, "owlOntologyManager cannot be null"); this.ontology = checkNotNull(ontology, "ontology cannot be null"); df = man.getOWLDataFactory(); mergeImportsClosure(); }
protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
/** * Instantiates a new justification map. * * @param desc the class expression * @param axioms the axioms */ public JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms) { this.axioms = checkNotNull(axioms, "axioms cannot be null"); this.desc = checkNotNull(desc, "desc cannot be null"); createMap(); }
@Override public void dispose() { reset(); }
/** * Instantiates a new abstract owl debugger. * * @param owlOntologyManager the owl ontology manager * @param ontology the ontology */ protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology) { man = checkNotNull(owlOntologyManager, "owlOntologyManager cannot be null"); this.ontology = checkNotNull(ontology, "ontology cannot be null"); df = man.getOWLDataFactory(); mergeImportsClosure(); }
protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
/** * Instantiates a new justification map. * * @param desc the class expression * @param axioms the axioms */ public JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms) { this.axioms = checkNotNull(axioms, "axioms cannot be null"); this.desc = checkNotNull(desc, "desc cannot be null"); createMap(); }
@Override public void dispose() { reset(); }
/** * Instantiates a new abstract owl debugger. * * @param owlOntologyManager the owl ontology manager * @param ontology the ontology */ protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology) { man = checkNotNull(owlOntologyManager, "owlOntologyManager cannot be null"); this.ontology = checkNotNull(ontology, "ontology cannot be null"); df = man.getOWLDataFactory(); mergeImportsClosure(); }
protected void removeAndTest(OWLAxiom ax) { debuggingAxioms.remove(ax); if (isSatisfiable()) { // Affects satisfiability, so add back in debuggingAxioms.add(ax); } }
/** * Instantiates a new justification map. * * @param desc the class expression * @param axioms the axioms */ public JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms) { this.axioms = checkNotNull(axioms, "axioms cannot be null"); this.desc = checkNotNull(desc, "desc cannot be null"); createMap(); }
public void dispose() { reset(); // reasoner.dispose(); }
/** * Instantiates a new abstract owl debugger. * * @param owlOntologyManager the owl ontology manager * @param ontology the ontology */ protected AbstractOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology) { man = checkNotNull(owlOntologyManager, "owlOntologyManager cannot be null"); this.ontology = checkNotNull(ontology, "ontology cannot be null"); df = man.getOWLDataFactory(); mergeImportsClosure(); }