Hello Przemyslaw, (01)
On Mon, Jun 10, 2013 at 11:35:56AM +0200, Przemyslaw Jaskierski wrote:
> 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 (02)
Yes it is. How do you know there are no NegativeVote s ? Only with the
closed world assumption (CWA) that your triple data is complete. (03)
OWL CWA reasoning seems to be supported by some systems but there may be ways
to infer the PositiveVoteResult without CWA. Perhaps by modelling the votes
with RDF collections or by declaring cardinalities for special classes. Maybe
someone with more OWL experience can answer this... (04)
Regards, (05)
Michael Brunnbauer (06)
--
++ 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臟tsf?hrer: Michael Brunnbauer, Franz Brunnbauer
++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel (07)
_________________________________________________________________
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 (08)