public class PelletIncrementalClassifier extends Object implements IncrementalClassifier
| Constructor and Description |
|---|
PelletIncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology,
com.clarkparsia.modularity.IncrementalClassifier incReasoner) |
| Modifier and Type | Method and Description |
|---|---|
void |
addAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms) |
static PelletIncrementalClassifier |
getInstance(org.semanticweb.owlapi.model.IRI iri) |
static PelletIncrementalClassifier |
getInstance(org.semanticweb.owlapi.model.OWLOntology ontology) |
SubsumptionResult |
getSubsumptionResult(org.semanticweb.owlapi.model.OWLClass cl,
boolean direct) |
SubsumptionResult |
getSubsumptionResult(String classUri,
boolean direct) |
void |
removeAllpreviouslyAddedAxioms() |
void |
removeAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms) |
public PelletIncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology,
com.clarkparsia.modularity.IncrementalClassifier incReasoner)
public static PelletIncrementalClassifier getInstance(org.semanticweb.owlapi.model.OWLOntology ontology)
public static PelletIncrementalClassifier getInstance(org.semanticweb.owlapi.model.IRI iri) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyCreationExceptionpublic SubsumptionResult getSubsumptionResult(String classUri, boolean direct)
getSubsumptionResult in interface IncrementalClassifierpublic SubsumptionResult getSubsumptionResult(org.semanticweb.owlapi.model.OWLClass cl, boolean direct)
public void addAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
public void removeAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
public void removeAllpreviouslyAddedAxioms()
Copyright © 2013. All Rights Reserved.