|From:||Przemyslaw Jaskierski <przemjaskier@xxxxxxxxx>|
|Date:||Mon, 10 Jun 2013 01:04:38 +0200|
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.
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 Vote
So, the individual's type should be:
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
So I added these cardinality restrictions to the "equivalent classes":
1. In NegativeVoteResult:
hasVote min 1 NegativeVote
this works flawlessly - after running reasoner individual's type is set to NegativeVoteResult if there is at least one NegativeVote
2. PositiveVoteResult - I cannot make this work...
- hasVote max 0 NegativeVote
- 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?
_________________________________________________________________ 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] DC-2013/iPRES-2013 registration is now open!, DCMI Announce|
|Next by Date:||Re: [ontolog-forum] Strange problem with cardinality restrictions, William Frank|
|Previous by Thread:||[ontolog-forum] DC-2013/iPRES-2013 registration is now open!, DCMI Announce|
|Next by Thread:||Re: [ontolog-forum] Strange problem with cardinality restrictions, William Frank|
|Indexes:||[Date] [Thread] [Top] [All Lists]|