- From: Jonathan Borden <jonathan@openhealth.org>
- Date: Wed, 22 May 2002 17:24:21 -0400
- To: "Dan Connolly" <connolly@w3.org>
- Cc: "WebOnt WG" <www-webont-wg@w3.org>
Dan Connolly wrote:
[[
In stead of those sorts of details, can you put the example
in the form of an entailment test, i.e. a pair of files,
one containing the premise, and the other containing the
conclusion, using a proposed syntax for RDF with
dark triples?
]]
----
In this case an OWL processor would be able to draw the conclusion, while an
RDF processor would not.
Assume owl:List, owl:first, owl:rest, owl:nil are dark
bind "owl" and "rdf" prefixes to namespace URIs
---PREMISE----
<owl:Class>
<owl:intersectionOf>
<owl:List>
<owl:first rdf:resource="#student"/>
<owl:rest>
<owl:List>
<owl:first rdf:resource="#employee"/>
<owl:rest rdf:resource="...#nil"/>
</owl:List>
</owl:rest>
</owl:List>
</owl:intersectionOf>
</owl:Class>
---PREMISE---
---CONCLUSION---
<owl:Class>
<owl:intersectionOf>
<owl:List>
<owl:first rdf:resource="#employee"/>
<owl:rest>
<owl:List>
<owl:first rdf:resource="#student"/>
<owl:rest rdf:resource="...#nil"/>
</owl:List>
</owl:rest>
</owl:List>
</owl:intersectionOf>
</owl:Class>
---CONCLUSION---
Does this do the trick?
Jonathan
Received on Wednesday, 22 May 2002 17:28:48 UTC