[Pellet-users] Dynamic ABox: supporting user input

[Hugo Ferreira]

Christian,

Appreciate the feedback.
I will wait for your's and Evren decision.

Thank you.
Hugo Ferreira.


Christian Halaschek-Wiener wrote:
>>
>>
>> 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
> 
> 
> 
>