uk.ac.manchester.cs.jfact.split

Class OntologyBasedModularizer

java.lang.Object

uk.ac.manchester.cs.jfact.split.OntologyBasedModularizer

All Implemented Interfaces:

Serializable

@PortedFrom(file="OntologyBasedModularizer.h",
            name="OntologyBasedModularizer")
public class OntologyBasedModularizer
extends Object
implements Serializable

modularizer

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OntologyBasedModularizer(Ontology ontology, TModularizer mod)

Method Summary

Methods

Modifier and Type	Method and Description
static TModularizer	buildTModularizer(boolean useSemantic, ReasoningKernel kernel)
TModularizer	getModularizer()
List<AxiomInterface>	getModule(List<AxiomInterface> axioms, TSignature sig, ModuleType type)
List<AxiomInterface>	getModule(TSignature sig, ModuleType type)

Methods inherited from class java.lang.Object

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

Constructor Detail

OntologyBasedModularizer

@PortedFrom(file="OntologyBasedModularizer.h",
            name="OntologyBasedModularizer")
public OntologyBasedModularizer(Ontology ontology,
                                           TModularizer mod)

Parameters:

ontology - ontology

mod - mod

Method Detail

buildTModularizer

public static TModularizer buildTModularizer(boolean useSemantic,
                             ReasoningKernel kernel)

Parameters:

useSemantic - useSemantic

kernel - kernel

Returns:

modularizer

getModule

@PortedFrom(file="OntologyBasedModularizer.h",
            name="getModule")
public List<AxiomInterface> getModule(TSignature sig,
                                                ModuleType type)

Parameters:

sig - sig

type - type

Returns:

module

getModule

@PortedFrom(file="OntologyBasedModularizer.h",
            name="getModule")
public List<AxiomInterface> getModule(List<AxiomInterface> axioms,
                                                TSignature sig,
                                                ModuleType type)

Parameters:

axioms - axioms

sig - sig

type - type

Returns:

module

getModularizer

@PortedFrom(file="OntologyBasedModularizer.h",
            name="getModularizer")
public TModularizer getModularizer()

Returns:

modularizer