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

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:

Display change log