Test:RDFXML

From OWL Test Cases

Jump to:navigation, search

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
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
Rdfbased-sem-bool-intersection-term Michael Schneider
Kai Mainzer
If a class is an intersection of other classes, then the original class is a subclass of each of the other classes. Test:FULL 0- 0- 0- 0 0 1X 0
… further results
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox