Search Mailing List Archives
[protege-owl] Query: Subclasses or Sibling
tredmond at stanford.edu
Wed Apr 4 07:37:17 PDT 2007
> I do think that closed-world reasoning tends to be more of an issue
> dealing with instances than with concept subsumption, since I don't
> there are any class subsumption inferences that require knowing
> that the
> current set of fillers is the complete set. That seems to me to be
> of an instance-level concern.
At first blush this sounds right. So if you are reasoning about
instances it is more likely that you actually want to have a closed
world assumption (as is desired with many queries).
More information about the protege-owl