[Pellet-users] Incremental reasoning WHEN?

[Christian Halaschek-Wiener]

Hi Dominik,

I wanted to inform you (and the rest of the Pellet list) that support  
for incremental consistency checking for ABox additions using the  
Jena API has been implemented. Currently, both type and property  
assertions are supported; one limitation is that only atomic concepts  
are supported when performing type assertion additions (if a complex  
concept is used, then consistency will be performed from scratch). An  
example demonstrating how to use incremental consistency checking and  
the Jena API can be found in  
org.mindswap.pellet.examples.IncrementalConsistencyExample. The  
latest code is available in the Pellet SVN repository available at  
http://svn.versiondude.net/clark-parsia/pellet-devel/trunk/. Please  
let me know if you observe any issues.

Regards,
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/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070703/2e12faef/attachment.htm