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