OWL API / Feature Requests / #77 Add OWLOntologyManager.removeOntology(OntologyID)

#77 Add OWLOntologyManager.removeOntology(OntologyID)

Status: closed

Owner: nobody

Labels: None

Priority: 5

Updated: 2012-10-26

Created: 2012-10-18

Creator: Peter Ansell

Private: No

The current OWLOntologyManager.removeOntology(OWLOntology) method requires the ontology to be present, but internally OWLOntologyManagerImpl only checks on the ontologyID being present.

This patch introduces a new method to the OWLOntologyManager interface that only requires an ontologyID, which is much easier to get or create than an OWLOntology instance.

Discussion

Peter Ansell - 2012-10-18

See a patch for this at:

https://github.com/ansell/owlapi/compare/master...SF-3578003

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Ignazio Palmisano - 2012-10-26

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Ignazio Palmisano - 2012-10-26

This has been implemented and will be merged soon

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Add OWLOntologyManager.removeOntology(OntologyID)

Group

Searches

Help

#77 Add OWLOntologyManager.removeOntology(OntologyID)

Discussion