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.