com.clarkparsia.modularity
Class ModularityUtils

java.lang.Object
  extended by com.clarkparsia.modularity.ModularityUtils

public class ModularityUtils
extends java.lang.Object

Author:
Evren Sirin

Constructor Summary
ModularityUtils()
           
 
Method Summary
static java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> extractModule(org.semanticweb.owlapi.model.OWLOntology ontology, java.util.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 java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> extractModule(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies, java.util.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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ModularityUtils

public ModularityUtils()
Method Detail

extractModule

public static java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> extractModule(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                                 java.util.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: 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 java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> extractModule(java.util.Set<org.semanticweb.owlapi.model.OWLOntology> ontologies,
                                                                                 java.util.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)


Copyright © 2004 Evren Sirin. All Rights Reserved.