Préface de la traduction

Statut du document traduit

La traduction est-elle à jour ? OUI NON

! La traduction ne contient peut-être pas toutes les corrections officielles répertoriées. Vérifiez celles qui n'auraient pas été prises en compte dans la page des erreurs du document original.

Références

Document original :

Traduction :

Avertissements

Cette traduction n'est pas une version française agréée et seul le document original du W3C fait autorité.

La traduction peut comporter des erreurs ou en introduire de nouvelles.

Corrections normatives

La traduction reprend toutes les corrections répertoriées officiellement dans la page des erreurs associée au document (cette page est également traduite). Les corrections sont reportées dans la traduction et apparaissent sous l'une des formes suivantes :

Caractéristiques de la traduction

Un lexique franco-anglais est disponible en fin de page.

Les notes de traduction sont de deux types (sans les guillemets) : celles dans le texte telle que « traduction (N.d.T. translation) » et celles affichées au survol du pointeur telle que « traduction ».

Les liens menant aux documents du W3C déjà traduits sont parfois doublés : un document du W3C→vf

Archives à télécharger (et annexes)

  1. Archive « Tgz » : rdf-mt.tgz (247,7 ko)
  2. Archive « Zip » : rdf-mt.zip (198,7 ko)

Les traductions des documents du W3C

Le World Wide Web Consortium tient un répertoire des traductions disponibles.

Notice légale

Copyright © 1994-2017 World Wide Web Consortium,
(Massachusetts Institute of Technology, European Research Consortium for Informatics and Mathematics, Keio University).
Tous droits réservés. Cf. la politique de droits d'auteur du W3C.

Lexique franco-anglais

a
affirmer
asserting
algorithme de terminaison
terminating algorithm
antécédent
antecedent
appariement de sous-graphes
subgraph-matching
application
mapping
application d'instance
instance mapping
application d'instance injective
1:1 instance mapping
application d'instance réversible
invertible instance application
application d'interprétation
interpretation mapping
application de nœud anonyme
blank node mapping
application de substitution
surrogate mapping
application de type de données
datatype map
application injective
1:1 mapping
application lexique-à-valeur
lexical-to-value mapping
application préalable
applying forwards
applications identiques
identity mappings
assertion
assertion
associé
mapped
atome
token
axiome de fondation
axiom of foundation
b
bien formé
well-formed
bonne formation »
well-formedness
c
chaîne
string
chaîne de caractères
character string
chaîne littéral XML bien typée
well-typed XML literal string
classe
class
classements
classifications
clôture
closure
clôture RDF
RDF closure
cohérent
consistent
compacité
compactness
complétude
completeness
condition « si et seulement si »
'iff' condition
conflit de types de données
datatype clash
conflit XML
XML clash
conséquent
consequent
copies
duplicates
d
D-implication
D-entailment
D-implique
D-entails
démonstration
proof
domaine
domain
e
ensemble des parties
powerset
espace de valeurs
value space
espace lexical
lexical space
étiquette de langue
language tag
extensionnel
extensional
extensions sémantiques
semantic extensions
f
fins à bifurcation
forked tails
fins non de liste
non-list tails
forme de normalisation C
normal form C
formes d'implication
entailment patterns
formes d'inférence
inference patterns
formes lexicales
lexical forms
fusion
merge
g
graphe RDF
RDF graph
graphe RDF fondamental
ground RDF graph
h
hiérarchie de classement
classification hierarchy
i
image
range
implanter
implement
implication
entailment
implication de type de données
datatype entailment
implication de vocabulaire
vocabulary entailment
impliquant
entailer
impliqué
entailee
incohérence
inconsitency
indexical
indexical
inférence
inference
injective
one-to-one
intensionnel
intensional
interprétation de
interpretation of
interprétation de vocabulaire
vocabulary interpretation
l
label
label
langage assertionnel
assertional language
lemme d'implication RDF
RDF entailment lemma
lemme d'implication RDFS
RDFS entailement lemma
liens de tête et de queue
head-tail links
listes à plusieurs débuts
multiple heads lists
littéral
literal
littéral ordinaire
plain literal
littéral typé
typed literal
littéral XML
XML literal
littéral XML bien typé
well-typed XML literal
logique
logic
m
mal typé
ill-typed
mince
lean
minimalité
minimality
monde
world
monotone
monotonic
monotonicité
monotonicity
n
n-uplets
n-tuples
négation par l'échec
negation-as-failure
nœud
node
nœud anonyme
blank node
NP-complet
NP-complete
o
ontologique
ontological
options
alternatives
ordre
ordering
p
préfixe de nom qualifié
QName prefix
processus de liaison par variable
variable-binding process
proposition
proposition
propriétés d'appartenance de conteneur
container membership properties
q
qualificatif
qualifier
r
raisonnement par defaut
default reasoning
rdf-implication
rdf-entailment
rdf-interprétation de Herbrand
rdf Herbrand interpretation
rdfs-implication
rdfs-entailment
rdfs-implique
rdf-entails
rdfs-incohérent
rdfs-inconsistent
rdfs-interprétation de Herbrand
rdfs-Herbrand interpretation
rdfs-valide
rdfs-valid
recherche arrière
searching backwards
références URI
URI references
règle d'inférence
inference rule
réification
reification
réifier
reify
ressource
resource
résultats
outputs
s
satisfaire
satisfy
satisfaisant
satisfying
sémantique
semantics
sémantique ensembliste
set-theoretic semantics
sémantique modéliste
model-theoretic semantics
singleton
singleton set
skolémisation
skolemization
sous-classe
subclass
sous-graphe propre
proper subgraph
sous-propriété
subproperty
structure d'interprétation
interpretation structure
structure de ramification
branching structure
substituts
surrogates
supposition
assumption
suppositions de monde fermé
closed-world assumptions
suppositions de monde fermé implicite
implicit closed-world assumptions
système d'inférence
inference system
système ontologique
ontology framework
t
théorie des modèles
model theory
traitement automatique
machine processing
triplet
triple
triplet de typage
datatyping triple
triplet réifié
reified triple
triplets à nœud anonyme
blank-node triples
triplets axiomatiques RDF
RDF axiomatic triples
triplets axiomatiques RDFS
RDFS axiomatic triples
typage
datatyping
types de données à valeur de séquence
sequence-valued datatypes
u
univers
universe
v
valeur de vérité
truth-value
valeur XML
XML value
valide
valid
visibilité
scope