W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: DTTF: How unasserted triples help

From: Jonathan Borden <jonathan@openhealth.org>
Date: Wed, 22 May 2002 17:24:21 -0400
Message-ID: <008301c201d7$0a076b50$0a2e249b@nemc.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT