owl: <Class> <relationship> <individual> - is that okay?

Hi there,

My question is if an owl class can be linked
to an individual.

For example I need to express (in tripples):

Flag hasColor whiteColor.
Flag hasColor redColor.

slovakFlag rdf:type Flag.
slovakFlag hasColor blueColor.

flagWhiteRed rdf:type Flag.

Note that Flag is a class and slovakFlag,
whiteColor, blueColor and redColor are individuals.

Is that possible and legal?

I am going to write it in more specific manner:

ex:Flag   rdf:type Class.
ex:Color  rdf:type Class.

then properties:

hasColor rdf:type   rdfs:Property.
hasColor owl:domain Flag.
hasColor owl:range  Color.

then individuals:

whiteColor  rdf:type     Color.
blueColor   rdf:type     Color.
redColor    rdf:type     Color.

My question is, can I have following triples?:

Flag	hasColor	whiteColor
Flag	hasColor	redColor

Would that be okay regarding the OWL language? 

I believe it could also be rewritten with the same
semantic meaning as:

isColorIn owl:inverseOf hasColor.
whiteColor isColorIn Flag.
redColor isColorIn Flag.

The question now is again the last two statements.

Is that all legal? If not, how could I create
a class of which individuals would automaticaly
inherite its property values. I was also looking
at owl:hasValue but this the restricion. 

Thank you for a quick reply,

David

Received on Monday, 6 September 2004 14:52:24 UTC