[redland-dev] RDFS/OWL and reasoning in Redland
eyal.oren at deri.org
Wed Sep 27 18:20:47 UTC 2006
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.
More information about the redland-dev