[Pellet-users] class type query

[Evren Sirin]

On 2/21/08 11:08 AM, abdelhak attou wrote:
>
>
>      
>     Hi ,
>      
>      
>     1. if i have an ontology, can i define a class using the ontology
>     api (for example OWL-API) and query for its types according to the
>     ontology without having to add  it to the ontology.
>

Yes, you can do it. Just create the class using the data factory and 
pass it to the reasoner.getIndividuals function. There is a bug in 
Pellet 1.5.1 where such instance retrieval operations are slow if the 
ontology is not previously classified so you can classify the ontology 
upfront only once and then retrieve instances for classes as many times 
as you like.

>      
>     2. If i have to add the class first , will pellet reclassify the
>     whole ontology or just necessary parts according to some
>     incremental reasoning algorithm
>

Depending on what kind of change it is (addition of a new class, 
addition of a type assertion on existing individual and class, etc.) 
classification can be repeated. Currently there is no incrmental 
classification support in Pellet 1.5.1 but there is some preliminary 
incremental reasoning support for ABox changes.
>
>      
>      
>     3. if no such algorithm is supported, is it planned for future
>     pellet versions ?
>

In the next version of Pellet there will be incremental classification 
support, too.

Cheers,
Evren
>
>      
>     thx !
>      
>      
>     attou
>
>     ------------------------------------------------------------------------
>     Everything in one place. All new Windows Live!
>     <http://www.windowslive.co.uk/get-live> 
>
>
> ------------------------------------------------------------------------
> Messenger on the move. Text MSN to 63463 now! 
> <http://mobile.uk.msn.com/pc/messenger.aspx%20>
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/