[Pellet-users] Reasoning Efficiency in Pellet

[Alan Ruttenberg]

Is your only criterion efficiency? In my work, which deals with real  
world entities, I tend to make the choice of classes versus instance  
based on whether the things I am instances, which are chosen to be  
traceable to specific things in the world, and classes, which are  
collections of those things.

While this does mean that efficiency can be a problem sometimes, the  
representation is less likely to be have to change based on which  
reasoner you use, or a new advance in reasoning technology.

OTOH, if you are just trying to implement some calculation, such as  
with the Soduko example of Bijan's, then perhaps efficiency is the  
only thing that matters.

I'd be glad to chat about this with you, if you are interested,  but  
I'm not sure it is a matter for the Pellet list. 'Course you could  
reply here and wait and see whether Bijan kicks us off :)

Regards,
Alan


On Sep 4, 2007, at 12:25 PM, anushya marcus wrote:

>
> Hello,
>
> Are there any references that gives an indication of the efficiency  
> of the ABox and TBox reasoning in Pellet.
>
> In the domain I am interested in, the entities could be modelled  
> either as individuals or concepts (with certain restrictions). So I  
> am wondering which option to choose, depending on what is more  
> efficient, ABox or TBox reasoning.
>
> Any comments on this will be greatly appreciated.
>
> Thanks in advance,
> Anushya
>
> Copy addresses and emails from any email account to Yahoo! Mail -  
> quick, easy and free. Do it now...
> _______________________________________________
> 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/20070904/5bdebe90/attachment.htm