C. Index

C.1. Index des tests de caractéristiques 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. Index des tests de problèmes OWL

I3.2 Les restrictions qualifiées

001 ; 002 ; 003.

I3.4 UnambiguousProperty

001.

I4.1 UniqueProperty

001.

I4.5 InverseOf

001 ; 002.

I4.6 EquivalentTo

003 ; 004 ; 005 ; 006 ; 007 ; 008.

I5.1 Le traitement uniforme des valeurs de données littérales

001 ; 010.

I5.2 Les niveaux de conformité du langage

001 ; 002 ; 003 ; 004 ; 005 ; 006 ; 010 ; 011.

I5.21 L'abandon de disjointUnionOf

001 ; 002.

I5.24 Les propriétés si ou si et seulement si

001 ; 002 ; 003 ; 004.

I5.26 La syntaxe OWL DL

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

I5.3 L'organisation en couches sémantiques

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

I5.5 La syntaxe ou la sémantique de liste

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

I5.8 Les types de données

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

I6.1 Les restrictions d'individus anonymes

001.

C.3. Index des tests divers

Les exemples du guide OWL

001 ; 002 ; 010 ; 011.

La syntaxe détaillée OWL Lite et OWL DL

102 ; 103.

À propos de rdf:XMLLiteral

201 ; 202 ; 203 ; 204 ; 205.

Les annotations

301 ; 302 ; 303.

C.4. Index des tests de logique de description

Les tests de validabilité étendue

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.

Les tests de Heinsohn

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

Les tests d'instance DL 98

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

Le problème 3 SAT

501 ; 502 ; 503 ; 504.

Les tests OWL Lite difficiles

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.

Les tests de cardinalité étendue

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

C.5. Index des tests à crédit supplémentaire

L'arithmétique dans OWL

002 ; 003 ; 004.