Test case coverage by RDF/XML syntax feature

From OWL Test Cases

Jump to:navigation, search

The following table sums up the current coverage of RDF/XML 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. Functional style syntax tests are covered by the page about test case coverage by functional style 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
Owl:AllDifferent 1111 77
Owl:AllDisjointClasses 44 22
Owl:AllDisjointProperties 33 33
Owl:allValuesFrom 7575 6666
Owl:annotatedProperty 1212 22
Owl:annotatedSource 1212 22
Owl:annotatedTarget 1212 22
Owl:Annotation 33 11
Owl:AnnotationProperty 2121 1818
Owl:assertionProperty 55 44
Owl:AsymmetricProperty 44 33
Owl:bottomDataProperty 11 11
Owl:bottomObjectProperty 11 11
Owl:cardinality 4343 2525
Owl:Class 246246 190190
Owl:complementOf 7474 6464
Rdfs:Datatype 88 55
Owl:datatypeComplementOf 11 11
Owl:DatatypeProperty 8989 6868
Owl:differentFrom 2121 1515
Owl:disjointUnionOf 11 11
Owl:disjointWith 3333 2626
Rdfs:domain 2626 1212
Owl:equivalentClass 153153 124124
Owl:equivalentProperty 1414 1212
Owl:FunctionalProperty 6666 4343
Owl:hasKey 88 88
Owl:hasSelf 44 22
Owl:hasValue 1111 88
Owl:imports 1010 33
Owl:intersectionOf 132132 114114
Owl:InverseFunctionalProperty 1515 77
Owl:inverseOf 6666 5252
Owl:IrreflexiveProperty 33 22
Owl:maxCardinality 8484 7575
Owl:maxQualifiedCardinality 33 33
Owl:minCardinality 7171 6464
Owl:minQualifiedCardinality 22 22
Owl:NamedIndividual 77 66
Owl:NegativePropertyAssertion 33 22
Owl:Nothing 1515 1414
Owl:ObjectProperty 188188 153153
Owl:onClass 44 44
Owl:onDataRange 11 11
Owl:onDatatype 11 11
Owl:onProperties 00 00
Owl:onProperty 222222 182182
Owl:oneOf 3636 2323
Owl:propertyChainAxiom 88 55
Owl:propertyDisjointWith 55 55
Owl:qualifiedCardinality 00 00
Rdfs:range 4848 2121
Owl:rational 55 33
Owl:real 88 33
Owl:ReflexiveProperty 22 11
Owl:sameAs 3232 2222
Owl:someValuesFrom 128128 108108
Owl:sourceIndividual 55 44
Rdfs:subClassOf 105105 9898
Rdfs:subPropertyOf 5050 4747
Owl:SymmetricProperty 88 66
Owl:targetIndividual 33 22
Owl:targetValue 33 22
Owl:Thing 125125 8585
Owl:topDataProperty 11 00
Owl:topObjectProperty 11 11
Owl:TransitiveProperty 2929 2727
Owl:unionOf 4545 3434
Owl:withRestrictions 11 11
Owl:AllDifferent
… further results
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox