To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | William Frank <williamf.frank@xxxxxxxxx> |
Date: | Sun, 9 Jun 2013 19:53:59 -0400 |
Message-id: | <CALuUwtASrOxr9Y-xVujWBajCKzMTLbbx-=gPZ5pacyKxFJe9YA@xxxxxxxxxxxxxx> |
Here is a rough simplification of a part of my ontology:Sadly I've hit a problem that I can't understand.Hello!I'm still learning things. So far, so good - I've created a working POC in Protege and started to like how all this work.
classes:1. PositiveVote, NegativeVote - both subclasses of Vote
2. PositiveVoteResult, NegativeVoteResult - both subclasses of VoteResult
VoteResult has object property "hasVote" which connects it to 0..many of Vote individuals(!!!)What I want to accomplish is to make reasoner to set type (PositiveVoteResult, NegativeVoteResult) for an individual - according to types of all connected through hasVote individuals of class VoteSo, the individual's type should be:1. type PositiveVoteResult if all its connected through hasVote are of type PositiveVote2. type NegativeVoteResult if there is at least one NegativeVote connected through hasVote
So I added these cardinality restrictions to the "equivalent classes":1. In NegativeVoteResult:hasVote min 1 NegativeVotethis works flawlessly - after running reasoner individual's type is set to NegativeVoteResult if there is at least one NegativeVote2. 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?Best regards,Przemek
_________________________________________________________________
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
_________________________________________________________________ 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> |
---|---|---|
|
Previous by Date: | [ontolog-forum] Strange problem with cardinality restrictions , Przemyslaw Jaskierski |
---|---|
Next by Date: | Re: [ontolog-forum] Laws: physical and social , Pat Hayes |
Previous by Thread: | [ontolog-forum] Strange problem with cardinality restrictions , Przemyslaw Jaskierski |
Next by Thread: | Re: [ontolog-forum] Strange problem with cardinality restrictions , John F Sowa |
Indexes: | [Date] [Thread] [Top] [All Lists] |