previous top contents index

OWL Web Ontology Language
Test Cases
C. Index


Contents


C. Index

C.1. Index of OWL Feature Tests

AllDifferent
001.
AnnotationProperty
001; 002; 003; 004.
Class
001; 002; 003; 004; 005; 006.
DatatypeProperty
001.
FunctionalProperty
001; 002; 003; 004; 005.
InverseFunctionalProperty
001; 002; 003; 004.
Nothing
001; 002.
Ontology
001; 003; 004.
Restriction
001; 002; 003; 004; 005; 006.
SymmetricProperty
001; 002; 003.
Thing
003; 004; 005.
TransitiveProperty
001; 002.
allValuesFrom
001; 002.
backwardCompatibleWith
001; 002.
cardinality
001; 002; 003; 004; 006.
complementOf
001.
differentFrom
001; 002.
disjointWith
001; 002; 003; 004; 005; 006; 007; 008; 009; 010.
distinctMembers
001.
equivalentClass
001; 002; 003; 004; 005; 006; 007; 008; 009.
equivalentProperty
001; 002; 003; 004; 005; 006.
imports
001; 002; 003; 004; 005; 006; 007; 008; 010; 011; 012; 013; 014.
intersectionOf
001.
inverseOf
001.
maxCardinality
001; 002.
oneOf
001; 002; 003; 004.
sameAs
001.
someValuesFrom
001; 002; 003.
unionOf
001; 002; 003; 004.

C.2. Index of OWL Issue Tests

I3.2 Qualified Restrictions
001; 002; 003.
I3.4 UnambiguousProperty
001.
I4.1 UniqueProp BadName
001.
I4.5 InverseOf
001; 002.
I4.6 EquivalentTo
003; 004; 005; 006; 007; 008.
I5.1 Uniform treatment of literal data values
001; 010.
I5.2 Language Compliance Levels
001; 002; 003; 004; 005; 006; 010; 011.
I5.21 drop-disjointUnionOf
001; 002.
I5.24 IF-or-IFF-property-properties
001; 002; 003; 004.
I5.26 OWL DL Sytntax
001; 002; 003; 004; 005; 006; 007; 009; 010.
I5.3 Semantic-Layering
005; 006; 007; 008; 009; 010; 011; 014; 015.
I5.5 List syntax or semantics
001; 002; 003; 004; 005; 006; 007.
I5.8 Datatypes
001; 002; 003; 004; 005; 006; 007; 008; 009; 010; 011; 012; 013; 014; 015; 016; 017.
I6.1 Unnamed Individual Restrictions
001.

C.3. Index of Miscellaneous Tests

Examples from the OWL Guide
001; 002; 010; 011.
Detailed OWL Lite and OWL DL Syntax
102; 103.
Concerning rdf:XMLLiteral
201; 202; 203; 204; 205.
Annotations
301; 302; 303.

C.4. Index of Description Logic Tests

Extended Satisfiability Tests
001; 002; 003; 004; 005; 006; 007; 008; 009; 010; 011; 012; 013; 014; 015; 016; 017; 018; 019; 020; 021; 022; 023; 024; 025; 026; 027; 028; 029; 030; 031; 032; 033; 034; 035; 040.
Heinsohn's Tests
101; 102; 103; 104; 105; 106; 107; 108; 109; 110; 111.
DL 98 Instance Tests
201; 202; 203; 204; 205; 206; 207; 208; 209.
The 3 SAT Problem
501; 502; 503; 504.
Difficult OWL Lite Tests
601; 602; 603; 604; 605; 606; 608; 609; 610; 611; 612; 613; 614; 615; 616; 617; 623; 624; 625; 626; 627; 628; 629; 630; 631; 632; 633; 634; 641; 642; 643; 644; 646; 650; 661; 662; 663; 664; 665; 667.
Extended Cardinality Testing
901; 902; 903; 904; 905; 906; 907; 908; 909; 910.

C.5. Index of Extra Credit Tests

Arithmetic in OWL
002; 003; 004.

previous top contents index