Re: [OWLAPI-developer] [incremental reasoning with Pellet]

[<dan...@us...>]

Hi,

given that I'm more interested in incremental inconsistency and that's it's not robust enough and most importantly it doesn't supports properly rules, that i use all over my ontology,
what would be a proper way to cir-convene it. I mean, would is it fast and ok, to save the generated assertion axiom in the ontology after each addition of instance fact provided that it is consistent ? This way you would not recompute things all the time.

Many thanks
Daniel
On Apr 26, 2012, at 6:41 PM, Ignazio Palmisano wrote:


On 26 Apr 2012 16:10, "Lorenz Bühmann" <spo...@st...<mailto:spo...@st...>> wrote:
>
> Ok,
>
> i got 4 mails from the same user?! I think if you ask for it using one account would be enough.

I agree that the question is clear enough once asked twice, and better directed at the pellet mailing list.
I.

Anyway this is the wrong mailing list as you ask for a specific Pellet feature. It is also not clear if you mean incremental consistency or classification, both of them I guess are implemented in a different way.
>
> Please read this: http://clarkparsia.com/pellet/faq/incremental-reasoning/
> This will also give you the answer that incrmental consistency is not suitable for production systems.
>
> Regards,
> Lorenz
>
>
>
> On 26.04.2012 16:59, Daniel Maatary Okouya wrote:
>>
>> Do the incremental function of Pellet works properly, is it still experimental ? I'm having a lot of trouble with it, weather i'm using the OWL API or protege. thing that work properly with the reasoner in a normal mode, create some serious bug in the incremental bug.
>>
>> In protege this is visible in the class hierarchy, it show an OWLRuntimes exception occur etc...
>>
>>
>> Any idea?
>>
>>
>> Many thanks
>> ------------------------------------------------------------------------------
>> 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