W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

RE: ISSUE-3: REPORTED: Lack of anonymous individuals

From: Giorgos Stoilos <gstoil@image.ece.ntua.gr>
Date: Fri, 9 Nov 2007 12:17:52 +0200
Message-Id: <200711091017.lA9AHqNo027168@manolito.image.ece.ntua.gr>
To: "'Boris Motik'" <boris.motik@comlab.ox.ac.uk>
Cc: <public-owl-wg@w3.org>



> -----Original Message-----
> From: Boris Motik [mailto:boris.motik@comlab.ox.ac.uk]
> Sent: Thursday, November 08, 2007 2:14 PM
> To: gstoil@image.ece.ntua.gr; public-owl-wg@w3.org; 'Carsten Lutz'
> Subject: RE: ISSUE-3: REPORTED: Lack of anonymous individuals
> 
> Hello,
> 
> Here is an explanation how anonymous individuals in ABoxes correspond to
> conjunctive queries. I will use a "pidgin" LaTeX
> first-order logic notation for this. I'll use _:x for anonymous
> individuals, and I'll use != for inequality (DifferentFrom)
> assertions and & for conjunction.
> 
> 
> Imagine you have an ABox A containing the following assertions:
> 
> (1)  hor(_:1,_:2)
> (2)  ver(_:2,_:3)
> (3)  ver(_:1,_:4)
> (4)  hor(_:4,_:5)
> (5)  _:3 != _:5
> 
> Under the traditional semantics, anonymous individuals are actually
> existentially quantified variables. Hence, the ABox A is
> actually equivalent to the following first-order formula \varphi:

Hello,

But is it possible to have the above statements in OWL 1.1? Since _:3 and
_:5 are anonymous how can you refer to them in this difference assertion
(!=)?

Greetings,
-gstoil
Received on Friday, 9 November 2007 10:18:14 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT