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

Timothy Redmond tredmond at
Wed Apr 4 07:37:17 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.

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 mailing list