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

> -----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 UTC