Test case coverage by functional style syntax feature

From OWL Test Cases

Jump to:navigation, search

The following table sums up the current coverage of functional style syntax features in test cases, and the number of tests that have been approved already. More detailed listings of tests related to each feature can be found by following the links to each feature's page. RDF/XML syntax tests are covered by the page about test case coverage by RDF/XML syntax feature.

To create a new test case, please use the forms on the main page. The below result might be cached and not show all additions immediately.


Use the buttons in table headers to sort by column.

Feature Overall Approved
Annotation 1313 22
AnnotationAssertion 11 00
AnnotationPropertyDomain 11 00
AnnotationPropertyRange 11 00
AsymmetricObjectProperty 22 11
ClassAssertion 5353 4040
DataAllValuesFrom 2424 1616
DataComplementOf 44 33
DataExactCardinality 22 11
DataHasValue 66 66
DataIntersectionOf 00 00
DataMaxCardinality 00 00
DataMinCardinality 66 44
DataOneOf 1414 1010
DataPropertyAssertion 2424 1717
DataPropertyDomain 22 00
DataPropertyRange 44 22
DataSomeValuesFrom 2424 1515
DataUnionOf 11 00
DatatypeRestriction 1515 77
Declaration 8484 5353
DifferentIndividuals 1010 88
DisjointClasses 99 33
DisjointDataProperties 55 44
DisjointObjectProperties 44 22
DisjointUnion 11 11
EquivalentClasses 66 00
EquivalentDataProperties 00 00
EquivalentObjectProperties 00 00
FunctionalDataProperty 44 33
FunctionalObjectProperty 11 00
HasKey 77 77
InverseFunctionalObjectProperty 11 00
InverseObjectProperties 00 00
IrreflexiveObjectProperty 22 11
NegativeDataPropertyAssertion 55 22
NegativeObjectPropertyAssertion 22 11
ObjectAllValuesFrom 00 00
ObjectComplementOf 77 66
ObjectExactCardinality 00 00
ObjectHasSelf 22 22
ObjectHasValue 00 00
ObjectIntersectionOf 11 11
ObjectInverseOf 22 00
ObjectMaxCardinality 11 11
ObjectMinCardinality 11 11
ObjectOneOf 22 00
ObjectPropertyAssertion 1212 1111
ObjectPropertyDomain 33 00
ObjectPropertyRange 33 00
ObjectSomeValuesFrom 33 33
ObjectUnionOf 11 00
ReflexiveObjectProperty 22 11
SameIndividual 77 55
SubAnnotationPropertyOf 00 00
SubClassOf 2828 1919
SubDataPropertyOf 00 00
SubObjectPropertyOf 44 11
SymmetricObjectProperty 11 00
TransitiveObjectProperty 22 00
Owl:AllDifferent
… further results
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox