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 and Description
SemanticLocalityModuleExtractor(LocalityClass localityClass, Stream<OWLAxiom> axiomBase, OWLOntologyManager ontologyManager, OWLReasonerFactory reasonerFactory) Instantiates a new SemanticLocalityEvaluator.

Method Summary

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 Detail

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