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

James A Miller James_A_Miller at
Wed Apr 4 08:01:24 PDT 2007

protege-owl-bounces at wrote on 04/04/2007 09:37:17 AM:

> > 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).
> -Timothy

I'm trying to understand the implications of this. 
How does one move from open-world to closed-world? 
I thought that I had understood that OWL is open-world by definition.


> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:
> html#01a.03 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list