Search Mailing List Archives
[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).
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 lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl