[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Przemyslaw Jaskierski <przemjaskier@xxxxxxxxx>
Date: Mon, 10 Jun 2013 11:35:56 +0200
Message-id: <CAM81Rh3izXVB1Z45vcF-hUWwCS_5A02caQokCP2a-FGySKqckg@xxxxxxxxxxxxxx>

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)

<Prev in Thread] Current Thread [Next in Thread>