- From: Giorgos Stoilos <gstoil@image.ece.ntua.gr>
- Date: Fri, 9 Nov 2007 12:17:52 +0200
- 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 UTC