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 raytheon.com
Wed Apr 4 08:01:24 PDT 2007


protege-owl-bounces at mailman.stanford.edu 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.

Jim

> 
> _______________________________________________
> 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 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070404/fa59917e/attachment.html>


More information about the protege-owl mailing list