uk.ac.manchester.cs.factplusplusad

Class OntologyBasedModularizer

java.lang.Object

uk.ac.manchester.cs.factplusplusad.OntologyBasedModularizer

public class OntologyBasedModularizer
extends Object

Ontology based modularizer.

Constructor Summary

Constructors

Constructor and Description
OntologyBasedModularizer(OWLOntology ontology, ModuleMethod moduleMethod)

Method Summary

Modifier and Type	Method and Description
Collection<OWLAxiom>	getModule(Stream<OWLEntity> entities, ModuleType type)

Methods inherited from class java.lang.Object

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

Constructor Detail

OntologyBasedModularizer

public OntologyBasedModularizer(OWLOntology ontology,
                                ModuleMethod moduleMethod)

Parameters:

ontology - ontology to modularise

moduleMethod - modularisation method

Method Detail

getModule

public Collection<OWLAxiom> getModule(Stream<OWLEntity> entities,
                                      ModuleType type)

Parameters:

entities - signature

type - module type

Returns:

module