ISSUE-118

bNode semantics

RESOLVED: Should bNodes in OWL 2 DL have existential or skolem semantics?

State:
CLOSED
Product:
Raised by:
Michael Schneider
Opened on:
2008-04-20
Description:
At the F2F2 we have decided to introduce bNodes for individuals in class assertions and property assertions. But we deferred the question which semantics such bNodes should have:

  "RESOLVED: Resolve Issue 3 and Issue 46, 
  accepting Boris's proposal
  (http://lists.w3.org/Archives/Public/public-owl-wg/2008Mar/0008.html)
  only in terms of the syntax of bnodes, 
  and open a new issue on the semantics of bnodes, [...]" 

  (see: <http://www.w3.org/2007/OWL/wiki/F2F2_Minutes#Issue_3_.26_Issue_46_anonymous_individuals_.2F_Unnamed_Individual_Restrictions>)

Since this issue has not yet been raised, and since there exists ACTION-132 w.r.t. this non-raised issue, I hereby raise it.
Related Actions Items:
No related actions
Related emails:
  1. Agenda TC 03/09/2008 (from hector.perez-urbina@comlab.ox.ac.uk on 2008-09-02)
  2. Re: ACTION-203 done (resolution of ISSUE-118 - semantics of anonymous individuals) (from bparsia@cs.man.ac.uk on 2008-08-29)
  3. Re: ACTION-203 done (resolution of ISSUE-118 - semantics of anonymous individuals) (from alanruttenberg@gmail.com on 2008-08-29)
  4. Re: ACTION-203 done (resolution of ISSUE-118 - semantics of anonymous individuals) (from bparsia@cs.man.ac.uk on 2008-08-28)
  5. Re: ACTION-203 done (resolution of ISSUE-118 - semantics of anonymous individuals) (from alanruttenberg@gmail.com on 2008-08-28)
  6. RE: ACTION-203 done (resolution of ISSUE-118 - semantics of anonymous individuals) (from boris.motik@comlab.ox.ac.uk on 2008-08-28)
  7. Re: ACTION-203 done (resolution of ISSUE-118 - semantics of anonymous individuals) (from alanruttenberg@gmail.com on 2008-08-28)
  8. ACTION-203 done (resolution of ISSUE-118 - semantics of anonymous individuals) (from boris.motik@comlab.ox.ac.uk on 2008-08-27)
  9. RE: Proposal to resolve ISSUE-118 (anonymous individual semantics) (from boris.motik@comlab.ox.ac.uk on 2008-08-20)
  10. Proposal to resolve ISSUE-118 (anonymous individual semantics) (from boris.motik@comlab.ox.ac.uk on 2008-08-20)
  11. ISSUE-118 (bNode semantics): Should bNodes in OWL 2 DL have existential or skolem semantics? (from sysbot+tracker@w3.org on 2008-04-20)

Related notes:

2008-04-23 03:34:48: Accepted per discussion Ian and Alan [Alan Ruttenberg]

2008-08-28 11:56:12: Resolved as per http://lists.w3.org/Archives/Public/public-owl-wg/2008Aug/0188.html
See http://www.w3.org/2007/OWL/meeting/2008-08-27#resolution_3 and
http://lists.w3.org/Archives/Public/public-owl-wg/2008Aug/0276.html
[Ian Horrocks]

Display change log ATOM feed


Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, Alan Ruttenberg <alanruttenberg@gmail.com>, Chairs, Ivan Herman <ivan@w3.org>, Sandro Hawke <sandro@w3.org>, Staff Contacts
Tracker, originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.231 2009/11/16 15:00:54 dom Exp $