SyntacticLocalityModuleExtractor (OWLAPI :: Atomic Decomposition and Explanation 5.5.1 API)

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