Re: DTTF: How unasserted triples help

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