Class UnmergeOperation


  • public class UnmergeOperation
    extends Object
    Remove axioms from an ontology.
    Author:
    Chris Mungall
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method 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.
    • Constructor Detail

      • UnmergeOperation

        public UnmergeOperation()
    • Method Detail

      • unmerge

        public 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

        We use a list instead of a set because OWLAPI judges identity simply by the ontology IRI, even if two ontologies have different axioms.

        Parameters:
        ontologies - the list of ontologies to merge
        Returns:
        the first ontology
      • unmergeFrom

        public 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.
        Parameters:
        ontology - the source ontology to unmerge
        targetOntology - the ontology to remove axioms from
      • unmergeFrom

        public 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.
        Parameters:
        ontologies - the list of ontologies to unmerge
        targetOntology - the ontology to remove axioms from
      • unmergeFrom

        public 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.
        Parameters:
        ontology - the ontology to unmerge
        targetOntology - the ontology to remove axioms from
        includeAnnotations - true if ontology annotations should be merged; annotations on imports are not merged
      • unmergeFrom

        public 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.
        Parameters:
        ontologies - the list of ontologies to unmerge
        targetOntology - the ontology to remove axioms from
        includeAnnotations - true if ontology annotations should be remove