[Pellet-users] Pellet bugs?

[Michael Smith]

On Thu, 2008-05-08 at 13:39 -0700, Margaret A Mitchell wrote:
> I was hoping that maybe it was some known problem that would be immediately recognizable once I explained what was happening, erring on the side of not pasting tons of code...
> But I figured it out, you guys were right, it was something wrong I had done in the ontology. 
> Specifically, I'd said something to the effect of "(class) Red has (property) red", which I guess is not something you can say in OWL, and was causing the weird error.
> I wanted a way to make every individual in the Red class automatically have the property 'red', but I can't figure out how to do that other than explicitly defining it by hand for each wine individual.

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