Property:Test case species

From OWL Test Cases

Jump to:navigation, search

This property specifies the species of OWL 2 that some test case addresses. It corresponds to the property test:species (Test case ontology) and hence allows for the following values:


(previous 25) (next 25)

Pages using the property "Test case species"

Showing 25 pages using this property.

B

Bnode2somevaluesfrom +Test:DL  +, Test:FULL  +

C

Chain2trans +Test:DL  +, Test:FULL  +
Datatype-restrictions-different-types +Test:DL  +, Test:FULL  +
Double-ranges +Test:DL  +, Test:FULL  +
Numeric-restrictions-different-type +Test:DL  +, Test:FULL  +
Restrictions-different-type +Test:DL  +, Test:FULL  +
Owlreal-plus-oneOf +Test:DL  +, Test:FULL  +
Consistent-but-all-unsat +Test:DL  +, Test:FULL  +
Consistent-dataproperty-disjointness +Test:DL  +, Test:FULL  +
Consistent-dateTime +Test:DL  +, Test:FULL  +
Consistent-integer-filler +Test:DL  +, Test:FULL  +
Contradicting-datatype-restrictions +Test:DL  +, Test:FULL  +
Contradicting-dateTime-restrictions +Test:DL  +, Test:FULL  +

D

Datatype-DataComplementOf-001 +Test:DL  +, Test:FULL  +
Datatype-Float-Discrete-001 +Test:DL  +, Test:FULL  +
Datatype-Float-Discrete-002 +Test:DL  +, Test:FULL  +
Datatype-restriction-min-max-inconsistency +Test:DL  +, Test:FULL  +
Different-types-plus-complement +Test:DL  +, Test:FULL  +
Different-types +Test:DL  +, Test:FULL  +
Direct Semantics Literal disjoint from Thing +Test:DL  +, Test:FULL  +
Disjoint Props via Disjoint Domains +Test:DL  +, Test:FULL  +
Disjoint Props via Disjoint Ranges +Test:DL  +, Test:FULL  +
DisjointClasses-001 +Test:DL  +, Test:FULL  +
DisjointClasses-002 +Test:DL  +, Test:FULL  +
DisjointClasses-003 +Test:DL  +, Test:FULL  +
(previous 25) (next 25)
Retrieved from "http://owl.semanticweb.org/page/Property:Test_case_species#SMWResults"
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox