Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Query: Subclasses or Sibling

Ronald Cornet 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.

Good point.
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...

Ronald

> 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).
> 
> -Timothy
> 
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 
> Instructions for unsubscribing: 
> http://protege.stanford.edu/doc/faq.html#01a.03
> 
> 




More information about the protege-owl mailing list