org.aksw.commons.owlapi.reasoning.impl

Class PelletIncrementalClassifier

java.lang.Object

org.aksw.commons.owlapi.reasoning.impl.PelletIncrementalClassifier

All Implemented Interfaces:

IncrementalClassifier

public class PelletIncrementalClassifier
extends Object
implements IncrementalClassifier

Author:

Sebastian Hellmann

Constructor Summary

Constructors

Constructor and Description
PelletIncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology, com.clarkparsia.modularity.IncrementalClassifier incReasoner)

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PelletIncrementalClassifier

public PelletIncrementalClassifier(org.semanticweb.owlapi.model.OWLOntology ontology,
                           com.clarkparsia.modularity.IncrementalClassifier incReasoner)

Method Detail

getInstance

public static PelletIncrementalClassifier getInstance(org.semanticweb.owlapi.model.OWLOntology ontology)

getInstance

public static PelletIncrementalClassifier getInstance(org.semanticweb.owlapi.model.IRI iri)
                                               throws org.semanticweb.owlapi.model.OWLOntologyCreationException

Throws:

org.semanticweb.owlapi.model.OWLOntologyCreationException

getSubsumptionResult

public SubsumptionResult getSubsumptionResult(String classUri,
                                     boolean direct)

Specified by:

getSubsumptionResult in interface IncrementalClassifier

getSubsumptionResult

public SubsumptionResult getSubsumptionResult(org.semanticweb.owlapi.model.OWLClass cl,
                                     boolean direct)

addAxioms

public void addAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

removeAxioms

public void removeAxioms(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

removeAllpreviouslyAddedAxioms

public void removeAllpreviouslyAddedAxioms()