Package org.obolibrary.robot

Class MaterializeOperation

java.lang.Object

org.obolibrary.robot.MaterializeOperation

public class MaterializeOperation
extends Object

Materialize SubClassOf axioms using Expression Materializing Reasoner.

Author:

Chris Mungall

See Also:

issue 7

Constructor Summary

Constructors

Constructor	Description
MaterializeOperation()

Method Summary

Modifier and Type	Method	Description
static Map<String,String>	getDefaultOptions()	Return a map from option name to default option value, for all the available reasoner options.
static void	materialize(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, Set<org.semanticweb.owlapi.model.OWLObjectProperty> properties, Map<String,String> options)	Replace EquivalentClass axioms with weaker SubClassOf axioms.
static void	materialize(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, Set<org.semanticweb.owlapi.model.OWLObjectProperty> properties, Map<String,String> options, boolean reasonOverImportsClosure)	Replace EquivalentClass axioms with weaker SubClassOf axioms.

Methods inherited from class java.lang.Object

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

Constructor Detail

MaterializeOperation

public MaterializeOperation()

Method Detail

getDefaultOptions

public static Map<String,String> getDefaultOptions()

Return a map from option name to default option value, for all the available reasoner options.

Returns:

a map with default values for all available options

materialize

public static void materialize(org.semanticweb.owlapi.model.OWLOntology ontology,
                               org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                               Set<org.semanticweb.owlapi.model.OWLObjectProperty> properties,
                               Map<String,String> options)
                        throws org.semanticweb.owlapi.model.OWLOntologyCreationException,
                               OntologyLogicException

Replace EquivalentClass axioms with weaker SubClassOf axioms.

Parameters:

ontology - The OWLOntology to relax

reasonerFactory - reasoner factory for the reasoner that is to be wrapped

properties - object properties whose existentials are to be materialized (null materializes all)

options - A map of options for the operation

Throws:

org.semanticweb.owlapi.model.OWLOntologyCreationException - if ontology cannot be created

OntologyLogicException - if ontology contains logical errors

materialize

public static void materialize(org.semanticweb.owlapi.model.OWLOntology ontology,
                               org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
                               Set<org.semanticweb.owlapi.model.OWLObjectProperty> properties,
                               Map<String,String> options,
                               boolean reasonOverImportsClosure)
                        throws OntologyLogicException,
                               org.semanticweb.owlapi.model.OWLOntologyCreationException

Replace EquivalentClass axioms with weaker SubClassOf axioms.

Parameters:

ontology - The OWLOntology to relax

reasonerFactory - reasoner factory for the reasoner that is to be wrapped

properties - object properties whose existentials are to be materialized (null materializes all)

options - A map of options for the operation

reasonOverImportsClosure - if true will first perform materialization over all ontologies in the import closure

Throws:

org.semanticweb.owlapi.model.OWLOntologyCreationException - on ontology problem

OntologyLogicException - on logic problem