C. 索引

C.1. OWL機能テストの索引

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. OWL課題テストの索引

I3.2 条件付き制限

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 リテラル・データ値の画一的な処理

001; 010.

I5.2 言語準拠レベル

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構文

001; 002; 003; 004; 005; 006; 007; 009; 010.

I5.3 セマンティックの階層化

005; 006; 007; 008; 009; 010; 011; 014; 015.

I5.5 構文またはセマンティクスのリスト

001; 002; 003; 004; 005; 006; 007.

I5.8 データ型

001; 002; 003; 004; 005; 006; 007; 008; 009; 010; 011; 012; 013; 014; 015; 016; 017.

I6.1 無名個体制限

001.

C.3. その他のテストの索引

OWLガイドからの例

001; 002; 010; 011.

OWL LiteおよびOWL DL構文の詳細

102; 103.

rdf:XMLLiteral関連

201; 202; 203; 204; 205.

アノテーション

301; 302; 303.

C.4. 記述論理テストの索引

拡張充足可能性テスト

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のテスト

101; 102; 103; 104; 105; 106; 107; 108; 109; 110; 111.

DL 98インスタンス・テスト

201; 202; 203; 204; 205; 206; 207; 208; 209.

3 SAT問題

501; 502; 503; 504.

困難なOWL Liteテスト

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.

拡張カーディナリティー・テスト

901; 902; 903; 904; 905; 906; 907; 908; 909; 910.

C.5. エキストラ・クレジット・テストの索引

OWLにおける演算

002; 003; 004.