public class SPARQLSampleDebugging extends Object
Constructor and Description |
---|
SPARQLSampleDebugging(SparqlEndpoint endpoint) |
Modifier and Type | Method and Description |
---|---|
void |
checkAsymmetryViolation(org.semanticweb.owlapi.model.OWLOntology ontology) |
void |
checkFunctionalityViolation(org.semanticweb.owlapi.model.OWLOntology ontology) |
void |
checkIrreflexivityViolation(org.semanticweb.owlapi.model.OWLOntology ontology) |
void |
computeSampleExplanations(org.semanticweb.owlapi.model.OWLOntology reference,
int nrOfExplanations) |
static void |
main(String[] args) |
void |
removeAxiomsWithNamespace(Set<String> namespaces) |
void |
runOptimized(org.semanticweb.owlapi.model.OWLOntology reference) |
void |
runPatternBasedDetection() |
public SPARQLSampleDebugging(SparqlEndpoint endpoint)
public void computeSampleExplanations(org.semanticweb.owlapi.model.OWLOntology reference, int nrOfExplanations) throws IOException
IOException
public void runOptimized(org.semanticweb.owlapi.model.OWLOntology reference) throws IOException
IOException
public void runPatternBasedDetection()
public void checkFunctionalityViolation(org.semanticweb.owlapi.model.OWLOntology ontology)
public void checkIrreflexivityViolation(org.semanticweb.owlapi.model.OWLOntology ontology)
public void checkAsymmetryViolation(org.semanticweb.owlapi.model.OWLOntology ontology)
public void removeAxiomsWithNamespace(Set<String> namespaces)
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann