[Pellet-users] Dynamic ABox: supporting user input

[Christian Halaschek-Wiener]

Evren - thanks for the clarification. To re-iterate Evren's comments;  
a totally stable incremental reasoning implementation is still a work  
in progress (sorry for the delay, I have just been very busy with  
other work). The implementation for ABox additions is much more  
stable that for deletions; further I would not even suggest trying to  
use the incremental deletions code yet, as I am still testing it.

In order to utilize the incremental consistency checking for abox  
additions, you simply need to set a few flags in  
org.mindswap.pellet.PelletOptions; specifically you need to set the  
following:

        1)      PelletOptions.USE_COMPLETION_QUEUE = true
        2)      PelletOptions.USE_INCREMENTAL_CONSISTENCY = true

Basically, setting these flags is all that is necessary. One thing I  
should point out is that we have not added hooks into the Jena and  
OWL-APIs yet (this should come eventually); therefore this will only  
work if you get a handle on the actual pellet KnowledgeBase object  
and add the Abox assertions through the api of that object. You can  
do this as following using the Jena api:

  -----------------------
  ModelReader reader = new ModelReader 
();                                                       	//create a  
new jena
  model reader
  Model model = reader.read 
( file );                                                                
     	//read in your ontology
  which is referenced by 'file'

  OWLReasoner reasoner = new OWLReasoner 
();                                     			//create a new owl  reasoner
  reasoner.load 
( model );                                                               
                        	//load the jena model into the  reasoner


  PelletOptions.USE_INCREMENTAL_CONSISTENCY =  
true;                     		//set necessary  flags
  PelletOptions. USE_COMPLETION_QUEUE =  
true;                                   		//set necessary flags

  KnowledgeBase kb = reasoner.getKB 
();                                                          	//get  
the pellet KB object

  kb.isConsistent();																//initial consistency check

  kb.addType(...)																	//add a type to an individual...see  
the KnowledgeBase api for details
  kb.addPropertyValue(...)															//add a property value to  
the KB...see the KnowledgeBase api for details

  kb.isConsistent();																//incremental check consistency
  ...

  -----------------------


Note that in the previous code snippet incremental deletions support  
is NOT turned on. We can chat about this off the public list if you  
would like to experiment with the preliminary deletions  
implementation (i.e., I could use some alpha/beta tester, however I  
do not really want everyone using it quite yet).

I should lastly point out, that this version of Pellet assumes Java  
1.5; additionally, if you are using the OWL-API in your programs, it  
assumes OWL-API 1.1.

Anyway, I hope this helps and let me know if you have any questions.

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




On Mar 29, 2007, at 11:39 AM, Evren Sirin wrote:

> On 3/29/07 9:42 AM, Hugo Ferreira wrote:
>> Christian,
>>
>> Appreciate the feedback.
>> I will wait for your's and Evren decision.
>>
> The development branch we have is open to public and we were just  
> waiting for the code to become more stable before pointing people  
> to the new SVN. I tihnk we are close to there and you can access  
> the development branch at:
> http://svn.versiondude.net/clark-parsia/pellet-devel/trunk/
>
> We are using a different SVN for the development branch because  
> this SVN repository is easier to administer and more robust than  
> the one at owldl.com.
>
> Cheers,
> Evren
>> 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
>>>
>>>
>>>
>>>
>>>
>>
>> _______________________________________________
>> 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/20070329/865d6b7f/attachment-0001.htm