[Pellet-users] OWL API Reasoner and OWLOntologyManager

[Swanson, Tim]

I'm not sure whether this is a Pellet question or an OWL API question. I think it's a Pellet question, so I'm going to ask here first.

The Pellet implementation of the OWL API reasoner classes (org.mindswap.pellet.owlapi.Reasoner) takes an OWLOntologyManager as a constructor argument and has a getManager() method. (As far as I can tell, the method isn't required by any of the OWL API interfaces.)

Why does the reasoner have the OWLOntologyManager object? Specifically, what happens if I try to load an ontology into the reasoner that is not managed by that manager? (i.e. reasoner.getManager.getOntologies().contains(ontology) returns false.)


Thanks,

Tim Swanson
Semantic Arts, Inc.
Fort Collins, Colorado
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080226/b195ada6/attachment.htm