User:Michael Schneider

From OWL Test Cases

I am a research scientist at FZI Research Center for Information Technologies, Karlsruhe (Germany), and I am a participant of the OWL Working Group, where I am focusing on the OWL 2 RDF-Based Semantics. For more information about me see my homepage.

The testcases below are a testsuite for the OWL 2 RL/RDF rules, covering all the rules except for those about datatypes and literals in Table 8. All these test cases have been approved by the OWL Working Group as part of the official OWL 2 testsuite.

You can get all these tests (and potentially other tests for the OWL 2 RL/RDF rules that are in the test wiki) via this bulk export.

Michael Schneider
Contributed test cases (87)	Contributed import ontologies (0)	TODOs (0)
rdfbased-sem-prop-priorversion-type-annot rdfbased-sem-prop-incompatiblewith-type-annot rdfbased-sem-prop-backwardcompatiblewith-type-annot rdfbased-sem-restrict-somevalues-inst-subj rdfbased-sem-restrict-somevalues-cmp-prop rdfbased-sem-restrict-somevalues-cmp-class rdfbased-sem-restrict-maxqcr-inst-obj-zero rdfbased-sem-restrict-maxqcr-inst-obj-one rdfbased-sem-restrict-maxcard-inst-obj-zero rdfbased-sem-restrict-maxcard-inst-obj-one rdfbased-sem-restrict-hasvalue-inst-obj rdfbased-sem-restrict-hasvalue-cmp-prop rdfbased-sem-restrict-allvalues-inst-obj rdfbased-sem-restrict-allvalues-cmp-prop rdfbased-sem-restrict-allvalues-cmp-class rdfbased-sem-restrict-hasvalue-inst-subj rdfbased-sem-rdfsext-range-superclass rdfbased-sem-rdfsext-range-subprop rdfbased-sem-rdfsext-domain-superclass rdfbased-sem-rdfsext-domain-subprop … more