com.clarkparsia.modularity
Class ModularityUtils
java.lang.Object
com.clarkparsia.modularity.ModularityUtils
public class ModularityUtils
- extends java.lang.Object
- Author:
- Evren Sirin
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 |
ModularityUtils
public ModularityUtils()
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:
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 extractedsignature
- set of entities used to extract the modulemoduleType
- 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 extractedsignature
- set of entities used to extract the modulemoduleType
- 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.