These tests are ones that are either known from the literature (specifically from [DL ref-1] and [DL ref-2]), or from test suites contributed by DL implementors (specifically some group and some other group).
Some actual tests in this category ...
These tests are ones that are either known from the literature (specifically from [DL ref-1] and [DL ref-2]), or from test suites contributed by DL implementors (specifically some group and some other group).
Some actual tests in this category ...
These tests are ones that do not fit any other category. Some are taken from the [OWL Guide]; others reflect various aspects of OWL, that were not formal issues addressed by the working group.
A description of these tests needs to be added.
| Full | Negative Entailment Test: | 301 |
|---|---|---|
Description:
<miscellaneous/Manifest301#test>
|
Jeremy J. Carroll | |
| Annotations participate a little in the semantics. | ||
| Full | Premises:
<miscellaneous/premises301>
| |
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/miscellaneous/premises301#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/premises301" >
<owl:Thing rdf:about="#a">
<first:prop>foo</first:prop>
</owl:Thing>
</rdf:RDF> | ||
first:a rdf:type owl:Thing . first:a first:prop "foo" . | ||
| Full | Conclusions:
<miscellaneous/nonconclusions301>
| |
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/miscellaneous/premises301#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions301" >
<owl:Thing rdf:about="premises301#a">
<first:prop>bar</first:prop>
</owl:Thing>
</rdf:RDF> | ||
first:a rdf:type owl:Thing . first:a first:prop "bar" . | ||
| Lite | Negative Entailment Test: | 302 |
|---|---|---|
Description:
<miscellaneous/Manifest302#test>
|
Jeremy J. Carroll | |
| Annotations participate a little in the semantics. | ||
| Lite | Premises:
<miscellaneous/premises302>
| |
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/miscellaneous/premises302#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/premises302" >
<owl:AnnotationProperty rdf:ID="prop" />
<owl:Thing rdf:about="#a">
<first:prop>foo</first:prop>
</owl:Thing>
</rdf:RDF> | ||
first:prop rdf:type owl:AnnotationProperty . first:a rdf:type owl:Thing . first:a first:prop "foo" . | ||
| Lite | Conclusions:
<miscellaneous/nonconclusions302>
| |
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:first="http://www.w3.org/2002/03owlt/miscellaneous/premises302#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/nonconclusions302" >
<owl:AnnotationProperty rdf:about="premises302#prop" />
<owl:Thing rdf:about="premises302#a">
<first:prop>bar</first:prop>
</owl:Thing>
</rdf:RDF> | ||
first:prop rdf:type owl:AnnotationProperty . first:a rdf:type owl:Thing . first:a first:prop "bar" . | ||
| Lite | Consistent document. | 303 |
|---|---|---|
Description:
<miscellaneous/Manifest303#test>
|
Jeremy J. Carroll | |
| dc:creator may be declared as an annotation property. | ||
| Lite | Consistent:
<miscellaneous/consistent303>
| |
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/miscellaneous/consistent303" >
<owl:AnnotationProperty rdf:about='http://purl.org/dc/elements/1.0/creator'/>
</rdf:RDF> | ||
<http://purl.org/dc/elements/1.0/creator> rdf:type owl:AnnotationProperty . | ||