[Pellet-users] Tableaus / models

[Rinke Hoekstra]

Hi,

In many cases, the classes I try to define in OWL are highly  
structured and the problem I usually face is to constrain the number  
of valid models (i.e. different configurations of relations between  
individuals) covered by a class description. Some idea of the valid  
models of a class description would be really (really) helpful. For  
sure, I know that in SROIQ the number of these models can possibly be  
infinite, so some way of retrieving at least the smallest/minimal  
valid model for a class would already be a big help.

As I understand the tableau algorithm does this winding-up thing of  
infinite branches in a tree model to turn it into a manageable, semi- 
finite model when checking satisfiability of a class. I was wondering  
whether there is some way to access these tree-models?

I'm sure it's not as simple as I describe it above, but well...

Cheers,

-Rinke

-----------------------------------------------
Drs. Rinke Hoekstra

Email: hoekstra at uva.nl    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------