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
All Methods Static Methods Concrete Methods 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.
-
-
-
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 relaxreasonerFactory
- reasoner factory for the reasoner that is to be wrappedproperties
- 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 createdOntologyLogicException
- 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 relaxreasonerFactory
- reasoner factory for the reasoner that is to be wrappedproperties
- object properties whose existentials are to be materialized (null materializes all)options
- A map of options for the operationreasonOverImportsClosure
- if true will first perform materialization over all ontologies in the import closure- Throws:
org.semanticweb.owlapi.model.OWLOntologyCreationException
- on ontology problemOntologyLogicException
- on logic problem
-
-