Re: [ontolog-forum] Strange problem with cardinality restrictions

[Przemyslaw Jaskierski <przemjaskier@xxxxxxxxx>]

Do you expect your reasoner to infer PositiveVoteResult because there is no
NegativeVote in your data ? That would be against the open world assumption.

I think you're right when wa define it this way. But is against open world assumption when we redefine your sentence this way:

I'm expecting that reasoner infer PositiveVoteResult only when there are only PositiveVote s  connected to hasVote
? I'm still new to this, but it looks ok...

Still, I'm not feeling that I'm any closer to the solution :(

_________________________________________________________________
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    (01)