public class ProvenanceReasonerWrapper extends Object
Modifier and Type | Field and Description |
---|---|
org.semanticweb.owlapi.model.OWLOntology |
outputOntology |
Constructor and Description |
---|
ProvenanceReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerFactory rf) |
Modifier and Type | Method and Description |
---|---|
Set<owltools.mooncat.ProvenanceReasonerWrapper.OWLEdge> |
getEdges() |
org.semanticweb.owlapi.model.OWLOntologyManager |
getManager() |
boolean |
isEdgeEntailed(owltools.mooncat.ProvenanceReasonerWrapper.OWLEdge e,
org.semanticweb.owlapi.model.OWLOntology currentOntology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner) |
void |
reason() |
void |
reasonLeavingOneOut(org.semanticweb.owlapi.model.OWLOntology leaveOutOntology) |
public ProvenanceReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory rf)
public void reason() throws org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyCreationException
public void reasonLeavingOneOut(org.semanticweb.owlapi.model.OWLOntology leaveOutOntology) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyCreationException
public boolean isEdgeEntailed(owltools.mooncat.ProvenanceReasonerWrapper.OWLEdge e, org.semanticweb.owlapi.model.OWLOntology currentOntology, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
public Set<owltools.mooncat.ProvenanceReasonerWrapper.OWLEdge> getEdges()
public org.semanticweb.owlapi.model.OWLOntologyManager getManager()
Copyright © 2010–2016. All rights reserved.