Package org.semanticweb.owlapi.modularity.locality

Class SyntacticLocalityModuleExtractor

java.lang.Object

org.semanticweb.owlapi.modularity.locality.LocalityModuleExtractor

org.semanticweb.owlapi.modularity.locality.SyntacticLocalityModuleExtractor

All Implemented Interfaces:

ModuleExtractor

public class SyntacticLocalityModuleExtractor
extends LocalityModuleExtractor

Class to extract modules based on syntactic locality.

Author:

Marc Robin Nolte (modified version)

Constructor Summary

Constructors

Constructor	Description
SyntacticLocalityModuleExtractor(LocalityClass localityClass, Stream<OWLAxiom> axiomBase)	Instantiates a new SyntacticLocalityModuleExtractor.

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 Details

SyntacticLocalityModuleExtractor

public SyntacticLocalityModuleExtractor(LocalityClass localityClass,
 Stream<OWLAxiom> axiomBase)

Instantiates a new SyntacticLocalityModuleExtractor.

Parameters:

localityClass - The LocalityClass to use

axiomBase - The axiom base of the new SyntacticLocalityModuleExtractor