Dear all, (01)
I have struggled for too long by myself to try and understand the
following. If anyone can help, it would be much appreciated. (02)
I create a class in OWL and then define a subclass restriction on this
class. I then create an instance of the class with no restriction. I
do not understand why the reasoner does not complain that an instance of
the class exists without this restriction. (03)
Maybe this is easier to understand with a specific example: (04)
Two classes: Water and Fish.
Restriction: Fish subclassOf livesIn some Water
Two instances: Goldfish type Fish, River some Water. (05)
I do not understand the following: (06)
Goldfish is a member of Fish.
Fish implies (livesIn some Water) (07)
I have /*not */implemented the restriction but the reasoner does not
complain. Goldfish is a member of the class and therefore the
restriction is implied. The reasoner does not seem to see things this way. (08)
Any help would be appreciated. (09)
Thanks in advance, (010)
Mark (011)
> (012)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (013)
|