Search Mailing List Archives
[protege-owl] Query: Subclasses or Sibling
r.cornet at amc.uva.nl
Wed Apr 4 23:14:29 PDT 2007
> > I do think that closed-world reasoning tends to be more of an issue
> > when dealing with instances than with concept subsumption, since I
> > don't think 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 more of an instance-level concern.
One potential counterexample is the VegetarianPizza.
It puts a kind of closure (all toppings are not meat).
In general, it seems as if negation introduces some kind of closure.
I will think of more examples in which closure makes sense in concept definitions...
> 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).
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing:
More information about the protege-owl