[redland-dev] RDFS/OWL and reasoning in Redland

[Eyal Oren]

On 09/27/06/09/06 19:15 +0100, Richard Newman wrote:

>Ontologies do not enforce the validity of anything (at least, not in the sense
>in which you are thinking of 'enforcing').
>
>You can try to do validation by making your store logically inconsistent:
>
>Richard is a Person
>Richard has a Wheel
>Anything with Wheels is a Car
> People are disjoint from Cars  <<< this is your attempt at validation.

but please remember, there is no 'disjoint' statement in RDFS (or any other 
"negative" information) so making such statements is not possible in RDFS.

Another way to see it: RDFS only understands/knows positive information.

 -eyal