In OWL this query works fine
"person and hasChild min 3"
it works fine and it gives me all persons who have more than 3 children
but this one does not work
"person and hasChild max 3"
it should give me all persons who have less than 3 children however it does not work
does any one have an idea about this??
why "min" works while "max" does not give any results!??
Thanks
The reason why the 2nd query "does not work" is Open World Assumption, and possibly also (the lack of) Unique Name Assumption.
Say you state:
The following questions are answered in the following way by an OWL reasoner.
Whenever the OWL reasoner comes back with a Maybe, the user interface (such as Protege) tends to show nothing.
In order to get the answers that you probably want, you need to add a lot more information to the knowledge base, e.g.
Hope this helps. Looking at how few views your recent questions have received on Stack Overflow, I'd say it's better to ask these questions on the Protege mailing list for the time being. Or even better, look at the mailing list archives. The Open World Assumption related questions come up at least once a week there.