W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > May 2003

[Fwd: Re: restrictions bnodes]

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 09 May 2003 22:49:19 +0100
Message-ID: <3EBC225F.6040309@hplb.hpl.hp.com>
To: w3c-rdfcore-wg@w3.org


[I am having a lot of e-mail trouble today :(
this is a resend, sorry for duplicates]

  > describe anything about which one wants to reason using OWL, then I think
  > there's potentially a serious architectural disconnect.

As I understand it,


An OWL DL or OWL Lite reasoner reads both the ontology data and the
instance data and interprets them with the OWL abstract syntax (which has
the the section called facts for such instance data:
http://www.w3.org/TR/owl-semantics/syntax.html#2.2
[[
There are two kinds of facts in the OWL abstract syntax.


The first kind of fact states information about a particular individual, in
the form of classes that the individual belongs to plus properties and values
of that individual.
]]
)

All of these are subject to the bnode restrictions - although there are
subtle differences between those on the unnamed individuals and those on
the description and restriction nodes. I believe the WG endorsed my
comments on the unnamed individuals and not the description nodes - which
is fair enough.

Graham, if you think you have an issue here that is not covered by the
comments Brian has sent, I would suggest you send a personal comment.

Jeremy
Received on Friday, 9 May 2003 18:49:24 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:30 EDT