[Pellet-users] Dynamic ABox: supporting user input

[Christian Halaschek-Wiener]

>
>
> On Mar 29, 2007, at 8:51 AM, Hugo Ferreira wrote:
>
>> Hello,
>>
>> I am aware that work on dynamic ABox in Pellet is being done. We were
>> counting on this for the implementation of prototype so that we could
>> (at least) allow users to insert instance data.
>
>
> Yes this is in progress. There is actually a prototype in a  
> developement fork in the Pellet SVN which supports incremental  
> consistency checking under ABox additions for SHIQ and SHIQ KBs.

Slight typo here...this should read SHIQ and SHOQ KBs.

Cheers,
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




-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070329/7b9285cd/attachment.htm