[Pellet-users] Tableaus / models

[Rinke Hoekstra]

After a secret tip from mystery man, I'll start out by having a  
*proper* look at Tweezers.

-Rinke

On 24 apr 2008, at 16:13, Rinke Hoekstra wrote:
> 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
> -----------------------------------------------
>
>
>
> _______________________________________________
> 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/

-----------------------------------------------
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
-----------------------------------------------