Re: [OWLAPI-developer] [incremental reasoning]

[Lorenz B. <spo...@st...>]

Copied from the Pellet examples:

// Set flags for incremental consistency
         PelletOptions.USE_COMPLETION_QUEUE = true;
         PelletOptions.USE_INCREMENTAL_CONSISTENCY = true;
         PelletOptions.USE_SMART_RESTORE = false;

On 24.04.2012 16:41, dan...@us... wrote:
> Thx for your answer, how do you enable it via the option, can i see an example of it somewhere ?
> On Apr 24, 2012, at 2:38 PM, Lorenz Bühmann wrote:
>
> Hi,
>
> no, you have to use the class IncrementalClassifier for incremental TBox reasoning and for "incremental consistency" you have to enable it via the PelletOptions.
>
> Regards,
> Lorenz
>
> On 24.04.2012 13:50, Ignazio Palmisano wrote:
>
> On 24 Apr 2012 12:09, "Daniel Maatary Okouya"<oko...@ya...<mailto:oko...@ya...>>  wrote:
>> Dear all,
>>
>> what is necessary to do incremental reasoning with Pellet and OWL-API?
>>
>>
> Nothing on the Owl api front. Incremental reasoning is the reasoner's private business.
>
>> There is an example in the pellet code, but i'm not sure that it is up to date.
>>
>>
>> As far i know it sounds like the following lines does it all :
>>
>> PelletReasoner reasoner = com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory.getInstance().createNonBufferingReasoner( ontology );
>> manager.addOntologyChangeListener( reasoner );
>>
>>
>> given that it is a nonBufferingreasoner, why do we need the "manager.addOntologyChangeListener( reasoner );" ?
>>
> That attaches the reasoner to the ontology; if that's not done, the reasoner will never see changes to the ontology.
>
> I.
>
>> Many thanks,
>>
>> -M-
>>
>> ------------------------------------------------------------------------------
>> Live Security Virtual Conference
>> Exclusive live event will cover all the ways today's security and
>> threat landscape has changed and how IT managers can respond. Discussions
>> will include endpoint security, mobile security and the latest in malware
>> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
>> _______________________________________________
>> Owlapi-developer mailing list
>> Owl...@li...<mailto:Owl...@li...>
>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>
>
>
> ------------------------------------------------------------------------------
> Live Security Virtual Conference
> Exclusive live event will cover all the ways today's security and
> threat landscape has changed and how IT managers can respond. Discussions
> will include endpoint security, mobile security and the latest in malware
> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
>
>
>
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...<mailto:Owl...@li...>
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>
> ------------------------------------------------------------------------------
> Live Security Virtual Conference
> Exclusive live event will cover all the ways today's security and
> threat landscape has changed and how IT managers can respond. Discussions
> will include endpoint security, mobile security and the latest in malware
> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/_______________________________________________
> Owlapi-developer mailing list
> Owl...@li...<mailto:Owl...@li...>
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>
> ------------------------------------------------------------------------------
> Live Security Virtual Conference
> Exclusive live event will cover all the ways today's security and
> threat landscape has changed and how IT managers can respond. Discussions
> will include endpoint security, mobile security and the latest in malware
> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>