Hello Przemyslaw, (01)
On Mon, Jun 10, 2013 at 01:04:38AM +0200, Przemyslaw Jaskierski wrote:
[...]
> 1. type PositiveVoteResult if all its connected through hasVote are of
> type PositiveVote
>
> 2. type NegativeVoteResult if there is at least one NegativeVote connected
> through hasVote
[...]
> 2. PositiveVoteResult - I cannot make this work...
>
> I've tried
>
> - hasVote max 0 NegativeVote
> - disjunction
> - other things in desperation mode...
>
> All my tries leads at best to classify individual as Vote (the superclass)
> if there is no NegativeVote properties...
>
> How can I make it to have PositiveVoteResult set properly? (02)
Do you expect your reasoner to infer PositiveVoteResult because there is no
NegativeVote in your data ? That would be against the open world assumption. (03)
Regards, (04)
Michael Brunnbauer (05)
--
++ Michael Brunnbauer
++ netEstate GmbH
++ Geisenhausener Straße 11a
++ 81379 München
++ Tel +49 89 32 19 77 80
++ Fax +49 89 32 19 77 89
++ E-Mail brunni@xxxxxxxxxxxx
++ http://www.netestate.de/
++
++ Sitz: München, HRB Nr.142452 (Handelsregister B München)
++ USt-IdNr. DE221033342
++ Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel (06)
_________________________________________________________________
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 (07)
|