Lisez-moi S.V.P. 
 précédent  introduction  table des matières  index

Les jeux d'essais du langage d'ontologie Web OWL

C. Index


Sommaire


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.

précédent  introduction  table des matières  index