Oedipus test case (OWL-DL semantics)

• From: Bijan Parsia <bparsia@isr.umd.edu>
• Date: Mon, 26 Sep 2005 23:03:05 -0400
• To: RDF Data Access Working Group <public-rdf-dawg@w3.org>
• Message-Id: <ef7951e18b7374a4a2f301a87f7154ad@isr.umd.edu>

You can see the behavioral difference in the Pellet online demo (which  
is why I've kept the RDQL syntax). This is example 8 from the drop down  
list.

This example requires case analysis:

<http://www.mindswap.org/cgi-bin/2003/pellet/pelletGet.cgi? 
inputFile=&inputFormat=RDF%2FXML&inputString=&Consistency=true&classifyF 
ormat=NONE&queryFile=&queryString=SELECT+%3Fx%0D%0AFROM+%3Chttp%3A%2F%2F 
www.mindswap.org%2Fontologies%2Foedipus%3E%0D%0AWHERE+%28%3Fx%2C+ns%3Aha 
sChild%2C+%3Fy%29%2C%0D%0A+++++++%28%3Fy%2C+rdf%3Atype%2C+ns%3APatricide 
%29%2C%0D%0A+++++++%28%3Fy%2C+ns%3AhasChild%2C+%3Fz%29%2C%0D%0A+++++++%2 
8%3Fz%2C+rdf%3Atype%2C+ns%3ANotPatricide%29+%0D%0AUSING+ns+FOR++%3Chttp% 
3A%2F%2Fwww.mindswap.org%2Fontologies%2Foedipus%23%3E>

SELECT ?x
FROM <http://www.mindswap.org/ontologies/oedipus>
WHERE (?x, ns:hasChild, ?y),
        (?y, rdf:type, ns:Patricide),
        (?y, ns:hasChild, ?z),
        (?z, rdf:type, ns:NotPatricide)
USING ns FOR  <http://www.mindswap.org/ontologies/oedipus#>


This has one hit: <http://www.mindswap.org/ontologies/oedipus#IOKASTE>

Make ?y distinguished and there are no hits:

<http://www.mindswap.org/cgi-bin/2003/pellet/pelletGet.cgi? 
inputFile=&inputFormat=RDF%2FXML&inputString=&Consistency=true&classifyF 
ormat=NONE&queryFile=&queryString=SELECT+%3Fx%2C%3Fy%0D%0AFROM+%3Chttp%3 
A%2F%2Fwww.mindswap.org%2Fontologies%2Foedipus%3E%0D%0AWHERE+%28%3Fx%2C+ 
ns%3AhasChild%2C+%3Fy%29%2C%0D%0A+++++++%28%3Fy%2C+rdf%3Atype%2C+ns%3APa 
tricide%29%2C%0D%0A+++++++%28%3Fy%2C+ns%3AhasChild%2C+%3Fz%29%2C%0D%0A++ 
+++++%28%3Fz%2C+rdf%3Atype%2C+ns%3ANotPatricide%29+%0D%0AUSING+ns+FOR++% 
3Chttp%3A%2F%2Fwww.mindswap.org%2Fontologies%2Foedipus%23%3E>

SELECT ?x, ?y
FROM <http://www.mindswap.org/ontologies/oedipus>
WHERE (?x, ns:hasChild, ?y),
        (?y, rdf:type, ns:Patricide),
        (?y, ns:hasChild, ?z),
        (?z, rdf:type, ns:NotPatricide)
USING ns FOR  <http://www.mindswap.org/ontologies/oedipus#>	

Received on Tuesday, 27 September 2005 03:03:26 UTC