Package org.semanticweb.owlapi.modularity.locality

Class SemanticLocalityModuleExtractor

java.lang.Object

org.semanticweb.owlapi.modularity.locality.LocalityModuleExtractor

org.semanticweb.owlapi.modularity.locality.SemanticLocalityModuleExtractor

All Implemented Interfaces:

ModuleExtractor

public final class SemanticLocalityModuleExtractor
extends LocalityModuleExtractor

Class to extract modules based on semantic locality.

Author:

Marc Robin Nolte

Constructor Summary

Constructors

Constructor	Description
SemanticLocalityModuleExtractor(LocalityClass localityClass, Stream<OWLAxiom> axiomBase, OWLOntologyManager ontologyManager, OWLReasonerFactory reasonerFactory)	Instantiates a new SemanticLocalityEvaluator.

Method Summary

Modifier and Type	Method	Description
void	dispose()	Disposes the reasoner and the empty ontology that is used to check whether axioms are tautologies via calling OWLReasoner.dispose().

Methods inherited from class org.semanticweb.owlapi.modularity.locality.LocalityModuleExtractor

axiomBase, containsAxiom, extract, getLocalityClass

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.modularity.ModuleExtractor

everyModuleContains, extract, extract, extractAsOntology, globals, noModuleContains, tautologies

Constructor Details

SemanticLocalityModuleExtractor

public SemanticLocalityModuleExtractor(LocalityClass localityClass,
 Stream<OWLAxiom> axiomBase,
 OWLOntologyManager ontologyManager,
 OWLReasonerFactory reasonerFactory)

Instantiates a new SemanticLocalityEvaluator.

Parameters:

localityClass - The LocalityClass to use

axiomBase - The axiom base of the new SemanticLocalityModuleExtractor

ontologyManager - The manager that should be used to instantiate an OWLReasoner

reasonerFactory - The factory that should be used to instantiate an OWLReasoner

Method Details

dispose

public void dispose()

Disposes the reasoner and the empty ontology that is used to check whether axioms are tautologies via calling OWLReasoner.dispose(). Must be called after this SemanticLocalityModuleExtractor is no longer used to free resources that are allocated by the reasoner and the ontology.