uk.ac.manchester.cs.jfact.split

Class TModularizer

java.lang.Object

uk.ac.manchester.cs.jfact.split.TModularizer

@PortedFrom(file="Modularity.h",
            name="TModularizer")
public class TModularizer
extends Object

class to create modules of an ontology wrt module type

Constructor Summary

Constructors

Constructor and Description
TModularizer(JFactReasonerConfiguration config, LocalityChecker c) init c'tor

Method Summary

Methods

Modifier and Type	Method and Description
void	extract(Collection<Axiom> begin, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)
List<Axiom>	extractModule(List<Axiom> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O; @return result in the Set
LocalityChecker	getLocalityChecker() get access to the Locality checker
List<Axiom>	getModule() get the last computed module
SigIndex	getSigIndex() get RW access to the sigIndex (mainly to (un-)register axioms on the fly)
TSignature	getSignature() get access to a signature
void	preprocessOntology(Collection<Axiom> vec) allow the checker to preprocess an ontology if necessary

Methods inherited from class java.lang.Object

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

Constructor Detail

TModularizer

public TModularizer(JFactReasonerConfiguration config,
            LocalityChecker c)

init c'tor

Method Detail

preprocessOntology

@PortedFrom(file="Modularity.h",
            name="preprocessOntology")
public void preprocessOntology(Collection<Axiom> vec)

allow the checker to preprocess an ontology if necessary

getSigIndex

@PortedFrom(file="Modularity.h",
            name="getSigIndex")
public SigIndex getSigIndex()

get RW access to the sigIndex (mainly to (un-)register axioms on the fly)

getLocalityChecker

@PortedFrom(file="Modularity.h",
            name="getLocalityChecker")
public LocalityChecker getLocalityChecker()

get access to the Locality checker

extract

@PortedFrom(file="Modularity.h",
            name="extract")
public void extract(Collection<Axiom> begin,
                              TSignature signature,
                              ModuleType type)

extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)

extractModule

@PortedFrom(file="Modularity.h",
            name="extractModule")
public List<Axiom> extractModule(List<Axiom> list,
                                           TSignature signature,
                                           ModuleType type)

extract module wrt SIGNATURE and TYPE from O; @return result in the Set

getModule

@PortedFrom(file="Modularity.h",
            name="getModule")
public List<Axiom> getModule()

get the last computed module

getSignature

@PortedFrom(file="Modularity.h",
            name="getSignature")
public TSignature getSignature()

get access to a signature