public class UnmergeOperation extends Object
Constructor and Description |
---|
UnmergeOperation() |
Modifier and Type | Method and Description |
---|---|
static org.semanticweb.owlapi.model.OWLOntology |
unmerge(List<org.semanticweb.owlapi.model.OWLOntology> ontologies)
Given one or more ontologies, remove all the axioms from the listed ontologies and their import
closure from the first ontology, and return the first ontology
|
static void |
unmergeFrom(List<org.semanticweb.owlapi.model.OWLOntology> ontologies,
org.semanticweb.owlapi.model.OWLOntology targetOntology)
Given a list of ontologies and a target ontology, remove all the axioms from the listed
ontologies and their import closure from the target ontology.
|
static void |
unmergeFrom(List<org.semanticweb.owlapi.model.OWLOntology> ontologies,
org.semanticweb.owlapi.model.OWLOntology targetOntology,
boolean includeAnnotations)
Given a list of ontologies and a target ontology, remove all the axioms from the listed
ontologies and their import closure from the target ontology.
|
static void |
unmergeFrom(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.model.OWLOntology targetOntology)
Given a source ontology and a target ontology, remove all the axioms from the listed ontologies
and their import closure from the target ontology.
|
static void |
unmergeFrom(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.model.OWLOntology targetOntology,
boolean includeAnnotations)
Given a source ontology and a target ontology, remove all the axioms from the listed ontologies
and their import closure from the target ontology.
|
public static org.semanticweb.owlapi.model.OWLOntology unmerge(List<org.semanticweb.owlapi.model.OWLOntology> ontologies)
We use a list instead of a set because OWLAPI judges identity simply by the ontology IRI, even if two ontologies have different axioms.
ontologies
- the list of ontologies to mergepublic static void unmergeFrom(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLOntology targetOntology)
ontology
- the source ontology to unmergetargetOntology
- the ontology to remove axioms frompublic static void unmergeFrom(List<org.semanticweb.owlapi.model.OWLOntology> ontologies, org.semanticweb.owlapi.model.OWLOntology targetOntology)
ontologies
- the list of ontologies to unmergetargetOntology
- the ontology to remove axioms frompublic static void unmergeFrom(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLOntology targetOntology, boolean includeAnnotations)
ontology
- the ontology to unmergetargetOntology
- the ontology to remove axioms fromincludeAnnotations
- true if ontology annotations should be merged; annotations on imports
are not mergedpublic static void unmergeFrom(List<org.semanticweb.owlapi.model.OWLOntology> ontologies, org.semanticweb.owlapi.model.OWLOntology targetOntology, boolean includeAnnotations)
ontologies
- the list of ontologies to unmergetargetOntology
- the ontology to remove axioms fromincludeAnnotations
- true if ontology annotations should be removeCopyright © 2015–2020. All rights reserved.