Browse wiki
From OWL Test Cases
| DisjointClasses-001-RDFXML |
| Conclusion ontology |
<?xml version="1.0"?> <rdf:RDF xml:base = "http://example.org/" xmlns = "http://example.org/" xmlns:owl = "http://www.w3.org/2002/07/owl#" xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"> <owl:Ontology/> <owl:Class rdf:about="Girl" /> <rdf:Description rdf:about="Stewie"> <rdf:type> <owl:Class> <owl:complementOf rdf:resource="Girl" /> </owl:Class> </rdf:type> </rdf:Description> </rdf:RDF> |
|---|---|
| Features | Owl:disjointWith +, Owl:Class +, Owl:complementOf + |
| Modification dateThis property is a special property in this wiki. | 15 May 2009 20:11:52 + |
| Premise ontology |
<?xml version="1.0"?> <rdf:RDF xml:base = "http://example.org/" xmlns = "http://example.org/" xmlns:owl = "http://www.w3.org/2002/07/owl#" xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"> <owl:Ontology/> <owl:Class rdf:about="Boy" /> <owl:Class rdf:about="Girl" /> <rdf:Description rdf:about="Boy"> <owl:disjointWith rdf:resource="Girl" /> </rdf:Description> <Boy rdf:about="Stewie" /> </rdf:RDF> |
| Test case syntax | Test:RDFXML + |
| hide properties that link here |
| DisjointClasses-001 + | Auxiliary test inputs |
|---|
