com.clarkparsia.modularity
Class IncrementalClassifier

java.lang.Object
  com.clarkparsia.modularity.IncrementalClassifier

All Implemented Interfaces:

org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.inference.OWLReasonerBase, org.semanticweb.owl.inference.OWLSatisfiabilityChecker, org.semanticweb.owl.model.OWLOntologyChangeListener

public class IncrementalClassifier
extends java.lang.Object
implements org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.model.OWLOntologyChangeListener

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

static java.util.logging.Logger	log
Timers	timers

Constructor Summary

IncrementalClassifier(org.semanticweb.owl.model.OWLOntologyManager manager)

IncrementalClassifier(org.semanticweb.owl.model.OWLOntologyManager manager, Reasoner reasoner, ModuleExtractor extractor)

Method Summary

static Taxonomy<org.semanticweb.owl.model.OWLClass>	buildClassHierarchy(Reasoner reasoner) Build the class hierarchy based on the results from the reasoner
void	classify()
void	clearOntologies()
void	dispose()
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>>	getAncestorClasses(org.semanticweb.owl.model.OWLDescription clsC)
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>>	getDescendantClasses(org.semanticweb.owl.model.OWLDescription clsC)
java.util.Set<org.semanticweb.owl.model.OWLClass>	getEquivalentClasses(org.semanticweb.owl.model.OWLDescription clsC)
java.util.Set<org.semanticweb.owl.model.OWLClass>	getInconsistentClasses()
java.util.Set<org.semanticweb.owl.model.OWLOntology>	getLoadedOntologies()
MultiValueMap<org.semanticweb.owl.model.OWLEntity,org.semanticweb.owl.model.OWLEntity>	getModules() Get the modules
Reasoner	getReasoner() Get the underlying reasoner
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>>	getSubClasses(org.semanticweb.owl.model.OWLDescription clsC)
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>>	getSuperClasses(org.semanticweb.owl.model.OWLDescription clsC)
boolean	isClassified()
boolean	isDefined(org.semanticweb.owl.model.OWLClass cls)
boolean	isDefined(org.semanticweb.owl.model.OWLDataProperty prop)
boolean	isDefined(org.semanticweb.owl.model.OWLIndividual ind)
boolean	isDefined(org.semanticweb.owl.model.OWLObjectProperty prop)
boolean	isEquivalentClass(org.semanticweb.owl.model.OWLDescription clsC, org.semanticweb.owl.model.OWLDescription clsD)
boolean	isMultiThreaded() Returns the value of multi-threaded option.
boolean	isRealised()
boolean	isSatisfiable(org.semanticweb.owl.model.OWLDescription description)
boolean	isSubClassOf(org.semanticweb.owl.model.OWLDescription clsC, org.semanticweb.owl.model.OWLDescription clsD)
void	loadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)
void	loadOntology(org.semanticweb.owl.model.OWLOntology ontology)
void	ontologiesChanged(java.util.List<? extends org.semanticweb.owl.model.OWLOntologyChange> changes)
void	realise()
void	setMultiThreaded(boolean multiThreaded) Sets the multi-threading option.
void	unloadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final java.util.logging.Logger log

timers

public Timers timers

Constructor Detail

IncrementalClassifier

public IncrementalClassifier(org.semanticweb.owl.model.OWLOntologyManager manager)

IncrementalClassifier

public IncrementalClassifier(org.semanticweb.owl.model.OWLOntologyManager manager,
                             Reasoner reasoner,
                             ModuleExtractor extractor)

Method Detail

buildClassHierarchy

public static Taxonomy<org.semanticweb.owl.model.OWLClass> buildClassHierarchy(Reasoner reasoner)

Build the class hierarchy based on the results from the reasoner

classify

public void classify()
              throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

classify in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

clearOntologies

public void clearOntologies()
                     throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

clearOntologies in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

dispose

public void dispose()
             throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

dispose in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

getAncestorClasses

public java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getAncestorClasses(org.semanticweb.owl.model.OWLDescription clsC)
                                                                                    throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

getAncestorClasses in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

getDescendantClasses

public java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getDescendantClasses(org.semanticweb.owl.model.OWLDescription clsC)
                                                                                      throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

getDescendantClasses in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

getEquivalentClasses

public java.util.Set<org.semanticweb.owl.model.OWLClass> getEquivalentClasses(org.semanticweb.owl.model.OWLDescription clsC)
                                                                       throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

getEquivalentClasses in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

getInconsistentClasses

public java.util.Set<org.semanticweb.owl.model.OWLClass> getInconsistentClasses()
                                                                         throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

getInconsistentClasses in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

getLoadedOntologies

public java.util.Set<org.semanticweb.owl.model.OWLOntology> getLoadedOntologies()

Specified by:

getLoadedOntologies in interface org.semanticweb.owl.inference.OWLReasonerBase

getModules

public MultiValueMap<org.semanticweb.owl.model.OWLEntity,org.semanticweb.owl.model.OWLEntity> getModules()

Get the modules

getReasoner

public Reasoner getReasoner()

Get the underlying reasoner

getSubClasses

public java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getSubClasses(org.semanticweb.owl.model.OWLDescription clsC)
                                                                               throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

getSubClasses in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

getSuperClasses

public java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getSuperClasses(org.semanticweb.owl.model.OWLDescription clsC)
                                                                                 throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

getSuperClasses in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isClassified

public boolean isClassified()
                     throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isClassified in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isDefined

public boolean isDefined(org.semanticweb.owl.model.OWLClass cls)
                  throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isDefined in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isDefined

public boolean isDefined(org.semanticweb.owl.model.OWLDataProperty prop)
                  throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isDefined in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isDefined

public boolean isDefined(org.semanticweb.owl.model.OWLIndividual ind)
                  throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isDefined in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isDefined

public boolean isDefined(org.semanticweb.owl.model.OWLObjectProperty prop)
                  throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isDefined in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isEquivalentClass

public boolean isEquivalentClass(org.semanticweb.owl.model.OWLDescription clsC,
                                 org.semanticweb.owl.model.OWLDescription clsD)
                          throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isEquivalentClass in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isRealised

public boolean isRealised()
                   throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isRealised in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isSatisfiable

public boolean isSatisfiable(org.semanticweb.owl.model.OWLDescription description)
                      throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isSatisfiable in interface org.semanticweb.owl.inference.OWLSatisfiabilityChecker

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isSubClassOf

public boolean isSubClassOf(org.semanticweb.owl.model.OWLDescription clsC,
                            org.semanticweb.owl.model.OWLDescription clsD)
                     throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

isSubClassOf in interface org.semanticweb.owl.inference.OWLClassReasoner

Throws:

org.semanticweb.owl.inference.OWLReasonerException

loadOntologies

public void loadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)
                    throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

loadOntologies in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

loadOntology

public void loadOntology(org.semanticweb.owl.model.OWLOntology ontology)
                  throws org.semanticweb.owl.inference.OWLReasonerException

Throws:

org.semanticweb.owl.inference.OWLReasonerException

ontologiesChanged

public void ontologiesChanged(java.util.List<? extends org.semanticweb.owl.model.OWLOntologyChange> changes)
                       throws org.semanticweb.owl.model.OWLException

Specified by:

ontologiesChanged in interface org.semanticweb.owl.model.OWLOntologyChangeListener

Throws:

org.semanticweb.owl.model.OWLException

realise

public void realise()
             throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

realise in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

unloadOntologies

public void unloadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)
                      throws org.semanticweb.owl.inference.OWLReasonerException

Specified by:

unloadOntologies in interface org.semanticweb.owl.inference.OWLReasonerBase

Throws:

org.semanticweb.owl.inference.OWLReasonerException

isMultiThreaded

public boolean isMultiThreaded()

Returns the value of multi-threaded option.

Returns:

the value of multi-threaded option

See Also:

setMultiThreaded(boolean)

setMultiThreaded

public void setMultiThreaded(boolean multiThreaded)

Sets the multi-threading option. In multi-threaded mode, during the initial setup, the regular classification and module extraction are performed in two separate threads concurrently. Doing so might reduce overall processing time but it also increases the memory requirements because both processes need additional memory during running which will be freed at the end of the process.

Parameters:

multiThreaded - value to set the multi-threaded option