Test:RDFXML
From OWL Test Cases
This page represents the RDF-XML syntax of test cases, and thus it corresponds to the element test:RDFXML (Test case ontology). Together with test:OWLXML and test:FUNCTIONAL it is one of the possible values of the property test case species.
[edit] Test cases
The following test cases currently use this syntax (refresh view)info.pngQuery results are cached with wiki pages for some time, even if the data changes. This link purges a page's cache to get the most recent results.Note that there may be more tests than fit this page: use the link to further results at the bottom if needed.
| author | description | species | QL | EL | RL | I | C | P | N | |
|---|---|---|---|---|---|---|---|---|---|---|
| Bnode2somevaluesfrom | Bijan Parsia | Shows that a BNode is an existential variable. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Chain2trans | Bijan Parsia | A role chain can be a synonym for transitivity. | Test:DL Test:FULL |
0- | 1EL | 1RL | 0 | 0 | 1X | 0 |
| Consistent-but-all-unsat | Uli Sattler | An ontology that is consistent, but all named classes are unsatisfiable. Ideas by Alan Ruttenberg | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Footnote-not-about-self | Alan Ruttenberg | Test checking of local irreflexivity | Test:DL Test:FULL |
0- | 0- | 0- | 1X | 0 | 0 | 0 |
| Name | Add a short description here. | 0- | 0- | 0- | 0 | 0 | 1X | 0 | ||
| New-Feature-ObjectPropertyChain-BJP-003 | Bijan Parsia | A simple test of role chains and role hierarchy. | Test:DL Test:FULL |
0- | 1EL | 1RL | 0 | 0 | 1X | 0 |
| New-Feature-ObjectPropertyChain-BJP-004 | Bijan Parsia | A test of an interaction between a role chain +hierarchy and transitivity axioms. | Test:DL Test:FULL |
0- | 1EL | 1RL | 0 | 0 | 0 | 1X |
| One equals two | Alan Ruttenberg | Start with 3 classes, a,b,c and relate them so instances have to be in a 1:1 relationship with each other.
The class b-and-c is the union of b and c. Therefore there have to be 2 instances of b-and-c for every instance of a. Relate the class 2a to b-and-c so that *their* instances are in 1:1 relationship. Now relate 2a to a so that *their* instances are in a 1:1 relationship. This should lead to a situation in which every instance of 2a is 1:1 with an instance of a, and at the same time 2:1 with an instance of a. Unless all the classes have an infinite number of members or are empty this doesn't work. This example has a is the enumerated class {i,j,k} (i,j,k all different individuals). So it should be inconsistent. |
Test:DL Test:FULL |
0- | 0- | 0- | 1X | 0 | 0 | 0 |
| Owl2-rl-anonymous-individual | Zhe Wu | OWL 2 RL allows anonymous individual. | Test:DL Test:FULL |
0- | 0- | 1RL | 0 | 1X | 0 | 0 |
| Owl2-rl-invalid-leftside-allvaluesfrom | Zhe Wu | OWL 2 RL does not allow left side allValuesFrom in a subClassOf axiom. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-invalid-leftside-maxcard | Zhe Wu | Invalid OWL 2 RL due to maxCardinality usage. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-invalid-oneof | Zhe Wu | OWL 2 RL does not permit owl:oneOf to define a named class (it can be used as a subclass expression). | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-invalid-owlreal | Zhe Wu | Invalid OWL 2 RL because owl:real is used. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-invalid-rightside-somevaluesfrom | Zhe Wu | This is not a valid OWL 2 RL because someValuesFrom shows up on the right hand side of a SubClassOf axiom. | Test:DL Test:FULL |
1QL | 1EL | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-invalid-rightside-unionof | Zhe Wu | Incorrect OWL 2 RL syntax. unionOf shows up at the right hand side of a SubClassOf axiom. | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-invalid-unionof | Zhe Wu | OWL 2 RL does not allow owl:unionOf to define a named class (it can be used as a subclass expression). | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-rules-fp-differentFrom | Zhe Wu | This test checks the interaction between an OWL functional property and differentFrom assertions. | Test:DL Test:FULL |
0- | 0- | 1RL | 0 | 0 | 1X | 0 |
| Owl2-rl-rules-ifp-askey | Zhe Wu | Use inverse functional property as key. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Owl2-rl-rules-ifp-differentFrom | Zhe Wu | This test checks the interaction between inverse functional property and differentFrom assertions. | Test:DL Test:FULL |
0- | 0- | 1RL | 0 | 0 | 1X | 0 |
| Owl2-rl-invalid-mincard | Zhe Wu | OWL 2 RL does not allow min cardinality | Test:DL Test:FULL |
0- | 0- | 0- | 0 | 1X | 0 | 0 |
| Owl2-rl-valid-oneof | Zhe Wu | A valid usage of oneOf in OWL 2 RL | Test:DL Test:FULL |
0- | 0- | 1RL | 0 | 1X | 0 | 0 |
| Owl2-rl-valid-rightside-allvaluesfrom | Zhe Wu | Valid RL usage of allValuesFrom. | Test:DL Test:FULL |
0- | 0- | 1RL | 0 | 1X | 0 | 0 |
| Rdfbased-sem-bool-complement-inst | Michael Schneider Kai Mainzer |
An individual cannot be an instance of both a class and its complement. | Test:FULL | 0- | 0- | 0- | 1X | 0 | 0 | 0 |
| Rdfbased-sem-bool-intersection-inst-comp | Michael Schneider Kai Mainzer |
An individual, which is an instance of every component class of an intersection, is an instance of the intersection class expression. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| Rdfbased-sem-bool-intersection-inst-expr | Michael Schneider Kai Mainzer |
An individual, which is an instance of an intersection class expression of two classes, is an instance of every component class. | Test:FULL | 0- | 0- | 0- | 0 | 0 | 1X | 0 |
| … further results | ||||||||||
