com.clarkparsia.modularity

Class ModularityUtils

java.lang.Object

com.clarkparsia.modularity.ModularityUtils

public class ModularityUtils
extends Object

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
ModularityUtils()

Method Summary

Modifier and Type	Method and Description
static Set<org.semanticweb.owlapi.model.OWLAxiom>	extractModule(org.semanticweb.owlapi.model.OWLOntology ontology, Set<org.semanticweb.owlapi.model.OWLEntity> signature, uk.ac.manchester.cs.owlapi.modularity.ModuleType moduleType) Extract the module from the imports closure of the given ontology for the given signature.
static Set<org.semanticweb.owlapi.model.OWLAxiom>	extractModule(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies, Set<org.semanticweb.owlapi.model.OWLEntity> signature, uk.ac.manchester.cs.owlapi.modularity.ModuleType moduleType) Extract the module from a given set of ontologies (but not their imports) for the given signature.

Methods inherited from class java.lang.Object

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

Constructor Detail

ModularityUtils

public ModularityUtils()

Method Detail

extractModule

public static Set<org.semanticweb.owlapi.model.OWLAxiom> extractModule(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                       Set<org.semanticweb.owlapi.model.OWLEntity> signature,
                                                                       uk.ac.manchester.cs.owlapi.modularity.ModuleType moduleType)

Extract the module from the imports closure of the given ontology for the given signature. Modules contain axioms related to the signature elements that describe how they relate to each other. There are four module types supported with the following very rough explanations:

lower (top) module contains subclasses of the signature elements
• upper (bot) module contains superclasses of the signature elements
• upper-of-lower (bot_of_top) module extract the upper module from the lower module
• lower-of-upper (top_of_bot) module - extract the lower module from the upper module

The module types are closely related to the locality class used. Lower module is extracted with top locality and thus also called top module.

Parameters:

ontology - ontolgoy from which the module is extracted

signature - set of entities used to extract the module

moduleType - type of the module

Returns:

a set of axioms representing the relevant axioms for the signature elements

extractModule

public static Set<org.semanticweb.owlapi.model.OWLAxiom> extractModule(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies,
                                                                       Set<org.semanticweb.owlapi.model.OWLEntity> signature,
                                                                       uk.ac.manchester.cs.owlapi.modularity.ModuleType moduleType)

Extract the module from a given set of ontologies (but not their imports) for the given signature. Only the axioms in the given set of ontologies is considered. Only the axioms from the ontologies that explicitly exists in the given set will be included in the module.

Parameters:

ontologies - ontologies from which the module is extracted

signature - set of entities used to extract the module

moduleType - type of the module

Returns:

a set of axioms representing the relevant axioms for the signature elements

See Also:

extractModule(OWLOntology, Set, ModuleType)