[Pellet-users] Updating Abox: equivalence of two constructs

[Paolo Bussotti]

Hello everybody,
I just wanted to ask you if the construct:

Model base=ModelFactory.createDefaultModel()
base.read("an_uri");
OntModel m=ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC,base)

is equivalent to:

OntModel m=ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC);
m.read("an_uri");

where "an_uri" is the URI of an ontology which contains only data and imports statements (an "abox") to the required "tbox" ontologies.
The former solution is what I use in order to update the ontmodel basemodel and it seems that it works (the same is done in the Pellet.java code)   

With reference to the message:
[Pellet-Users] jena rules + pellet
Nils Barnickel Nils.Barnickel at fokus.fraunhofer.de 
Fri Nov 11 14:41:14 UTC 2005   

I've learned that, in such construct, if I used an inference model instead of a Model, pellet would only take its base model for reasons of caution.
My question is this: If I load the upmentioned ontology (the one with data and the imports) in a simple model as shown in the code and then construct the Pellet-backed OntModel using it as a base, I'm not using any inference model as a base for the OntModel (there's no reasoner in it and the underlying graph is not an InfGraph) and  it should work, loading the imports in the same manner of the second construct. Is it correct?

I thank you in advance for any help
yours, sincerely
Paolo Bussotti
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080110/d749e6ad/attachment.htm