Re: [Wsml2reasoner-support] Incrementally adding ontologies?

[Barry B. <bar...@st...>]

Hi Mark!

This is intended behaviour, I'm afraid.

If the starting point for a logic program (the facts and rules from an
ontology) are changed then the model of the resulting logic program can
be arbitrarily different.

So there is not much to be gained by loading/unloading individual
ontology objects into/from the reasoner. Any query execution will have
to start from scratch anyway.

The only thing that could be saved is the normalisation time (the time
it takes to convert a WSML ontology in to Datalog), but this is pretty
fast anyway. Parsing WSML from a file is much slower.

I hope this helps,
barry


Alessio Carenini wrote:
> Hi Mark,
> with the turnk version of wsml2reasoner is not possible to do what you
> ask (Barry or wsml2reasoner maintainers can explain better than me why).
> I dealt with this problem in the sRBE tool, so if you want to have a
> peek at the code I can help you.
> 
> Cheers
> 
> Alessio
> 
> [Tue, Nov 11, 2008 at 03:44:45PM +0100] - Mark Evenson scrive:
>> Working with WSML-Flight against the wsml2reasoner SVN HEAD, I would
>> like to be able to incrementally add ontologies to an IRIS reasoner
>> instance (the ontologies represent events that occur in the execution of
>> a business process).
>>
>> It seems that all of the various register*() methods on
>> org.wsml.reasoner.api.WSMLReasoner unload all of the previous loaded
>> ontological information even though registerOntologyNoVerification()
>> claims in the javadoc "If the ontology is already registered, updates
>> the ontology content."  Is the intent of all these calls to reset the
>> reasoner as if unregister() had been called or is this a bug?
>>
>> Mark <eve...@gm...>
>>
>> --
>> "No, this is not a disentanglement from, but a progressive
>> /knotting-into/ […]"
>>
>>
>> -------------------------------------------------------------------------
>> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
>> Build the coolest Linux based applications with Moblin SDK & win great prizes
>> Grand prize is a trip for two to an Open Source event anywhere in the world
>> http://moblin-contest.org/redirect.php?banner_id=100&url=/
>> _______________________________________________
>> wsml2reasoner-support mailing list
>> wsm...@li...
>> https://lists.sourceforge.net/lists/listinfo/wsml2reasoner-support
> 
> --
> --------------------------------------------
> Alessio Carenini
> CEFRIEL * Politecnico di Milano
> Via Fucini, 2 * 20133 Milano (Italy)
> email: ale...@ce...
> --------------------------------------------
> 
> Le informazioni contenute in questa comunicazione e negli allegati sono riservate; e' vietato a soggetti diversi dai destinatari qualsiasi uso, copia, diffusione di quanto in essi contenuto.
> Se avete ricevuto questa copia per errore, vi preghiamo di distruggerla immediatamente ed informarci via e-mail.
> 
> Prima di stampare questa e-mail consideratene l’impatto sull’ambiente. Grazie per la collaborazione.
> 
> 
> This e-mail and any attachment(s) are strictly confidential. This message must not be copied, disclosed or used by anybody other than the intended recipient(s).
> If you are not the intended recipient, please inform the sender by e-mail and destroy this message immediately.
> 
> Please consider the environment before printing this e-mail. Thank you for your cooperation.
> 
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> wsml2reasoner-support mailing list
> wsm...@li...
> https://lists.sourceforge.net/lists/listinfo/wsml2reasoner-support

-- 
Barry Bishop
Senior Scientific Programmer
Semantic Technology Institute (STI)
University of Innsbruck, Austria
-----------------------------------
E-Mail: bar...@st...
Tel:    +43 512 507 96873
-----------------------------------