[Pellet-users] Incremental reasoning WHEN?

[Evren Sirin]

On Tue, June 19, 2007 12:57 pm, Christian Halaschek-Wiener <halasche at cs.umd.edu> said:

> To my knowledge, there is not a concrete schedule for exposing the
> incremental reasoning services through the Jena API. Currently,
> incremental consistency checking for ABox additions is supported
> using the native Pellet API. 

Actually, incremental consistency checking is working through OWLAPI, too. There was a small bug in 1.5-RC1 that is fixed in the SVN and the example program has also been updated.

> Starting in July, I will be stabilizing
> the code for supporting incremental consistency checking for ABox
> deletions.
> 
> Perhaps Evren and/or Mike can comment further on plans for support in
> Jena and the OWL-API.

There is no immediate plan for updating the Jena interface to support incremental consistency checking. Handling KB updates through Jena interface is done in a quite different way so it requires more effort to support incremental reasoning through Jena and as Kendall said we don't plan to spend any cycles on that right now.

Cheers,
Evren

> 
> Best,
> Chris
> 
> --
> Christian Halaschek-Wiener
> PhD Candidate, Dept. of Computer Science
> GRA, MINDSWAP Research Group,
> University of Maryland, College Park
> Web page: http://www.mindswap.org/~chris
> 
> 
> 
> 
> On Jun 19, 2007, at 12:49 PM, Dominik Jall wrote:
> 
>>
>> Hello people,
>>
>> I've read a few posts asking about incremental reasoning in pellet.
>> Since that was some weeks ago, I've decided to shamelessly ask
>> again :-)
>>
>> Is there a decent schedule for supporting incremental reasoning
>> through the
>> Jena API with pellet any time soon?
>>
>> We are really longing for that, since we absolutely need that
>> feature for
>> our semantic application.
>>
>>
>>
>> Mit freundlichen Grüßen / Regards
>>
>> Dominik Jall
>>
>> Tivoli System Automation for Multiplatforms Development
>> Phone: +49-7031-16-5028
>> email:djall at de.ibm.com
>>
>> IBM Deutschland Entwicklung GmbH
>> Vorsitzender des Aufsichtsrats: Johann Weihen
>> Geschäftsführung: Herbert Kircher
>> Sitz der Gesellschaft: Böblingen
>> Registergericht: Amtsgericht Stuttgart, HRB 243294
>>
>> _______________________________________________
>> Pellet-users mailing list
>> Pellet-users at lists.owldl.com
>> http://lists.owldl.com/mailman/listinfo/pellet-users
>> _______________________________________________
>>
>> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
> 
>