previous top contents index

OWL Web Ontology Language
Test Cases
D. Index

Copyright © 2003 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.

Contents

D. Index

This index does not differentiate between approved and proposed tests.

D.1. Index of OWL Feature Tests

AllDifferent
001.
DatatypeProperty
001.
FunctionalProperty
001; 002; 003; 004; 005.
InverseFunctionalProperty
001; 002; 003; 004.
Nothing
001; 002.
SymmetricProperty
001.
TransitiveProperty
001.
allValuesFrom
001; 002.
cardinality
001; 002; 003; 004; 006; 007.
complementOf
001.
differentFrom
001; 002.
disjointWith
001; 002.
distinctMembers
001.
equivalentClass
001; 002; 003; 004; 005; 006; 007; 008.
equivalentProperty
001; 002; 003; 004; 005; 006.
imports
001; 002; 003; 004; 005; 006; 007; 008; 010.
intersectionOf
001.
inverseOf
001.
maxCardinality
001; 002.
oneOf
001; 002; 003; 004.
sameIndividualAs
001.
someValuesFrom
001; 002.
unionOf
001; 002.

D.2. Index of OWL Issue Tests

I3.2 Qualified Restrictions
001; 002; 003.
I3.4 UnambiguousProperty
001.
I4.1 UniqueProp BadName
001.
I4.6 EquivalentTo
001; 002; 003; 004; 005.
I5.1 Uniform treatment of literal data values
001; 010.
I5.2 Language Compliance Levels
001; 002; 003; 004; 005; 006; 010; 011.
I5.24 IF-or-IFF-property-properties
001; 002; 003; 004.
I5.3 Semantic-Layering
005; 006; 007; 008; 009; 010; 011.
I5.5 List syntax or semantics
001; 002; 003; 004.
I5.8 Datatypes
001; 002; 003; 004; 005; 006; 007; 008; 009; 010; 011; 012.

D.3. Index of Miscellaneous Tests

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

D.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.
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.
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; 666; 667; 668.
Extended Cardinality Testing
901; 902; 903; 904; 905; 906; 907; 908; 909; 910.

D.5. Index of Extra Credit Tests

Arithmetic in OWL
002; 003; 004.
previous top contents index