[Pellet-users] Pellet bugs?

[Margaret A Mitchell]

That's perfect, thanks!


On Thu, 8 May 2008, Michael Smith wrote:

> You want all instances of the Red class to have some filler for the red
> property?  There are two equivalent, ways to do that, shown below in the
> OWL 2 abstract syntax
>
> 1) Use a someValuesFrom restriction
>
> SubClassOf( Red SomeValuesFrom( red owl:Thing) )
>
>
> 2) Use a minCardinality restriction
>
> SubClassOf( Red MinCardinality( 1 red ) )
>
>
> Has this helped, or have I misunderstood your intent?
> --
> Mike Smith
>
> Clark & Parsia
>
>