Les logiques terminologiques16 forment une famille de langages qui tirent leurs racines de KL-ONE, lequel fut ne de la these de doctorat de Ronald Brachman et ses travaux sur le niveau \epistemologique" dans les reseaux semantiques [BS85]. Elles adressent surtout le probleme de la structure d'un concept, c'est-a-dire la description de concepts complexes, et de relations (heritage, r^oles, attributs, etc.) entre ces concepts. Il est enumere une douzaine de logiques terminologiques implantees [SOKK+90], pour n'en nommer que quelques-unes qui ont eu un certain succes, citons KRYPTON, KL-TWO, NIKL, KANDOR, LOOM, MESON, et CLASSIC. D'autres logiques ont plut^ot une vocation theorique, c'est-a-dire qu'elles ont ete denies pour l'etude de leur expressivite et de leur complexite: mentionnons par exemple,FC,ALC,ALU,NTF, etc. Une etude comparative et detaillee sur ces langages se trouve dans [Mac91].
16:Ces formalismes sont indieremment appeles Langages de description de concepts ouLangage de description bases sur les structuresou encoreLogiques de description.
Tout en gardant intact le noyau du langage KL-ONE, ces logiques terminologiques se sont generalement employees a en diminuer le pouvoir d'expression, an d'ameliorer l'ecacite des rai-sonnements sous-jacents, en particulier l'algorithme de subsomption. Plut^ot que des formules, les logiques terminologiques manipulent des descriptions appelees termes. Un terme denote soit un individu (une constante individuelle), soit une relation unaire (concept), soit une relation binaire (r^ole) du domaine de discours.
Pour denir une logique terminologique, on choisit generalement un ensemble d'operateurs de formation de termes correspondant chacun a des noms de relations, permettant de construire des termes complexes par combinaison de descriptions elementaires. Il existe des operateurs de forma-tion de termes distincts pour les concepts et pour les r^oles. Une caracteristique interessante des logiques terminologiques est qu'elles ont une semantique bien denie pour tous les operateurs de formation de termes.
Les concepts (denotes ici par les lettres
C
etD
) de la logique Mirlog sont ceux du langageACC[SSS91]. Ils sont construit a partir de concepts et de r^oles primitifs, selon la syntaxe suivante:
C;D
! > j (concept universel) ? j (concept absurde)A
j (concept primitif)C
uD
j (conjonction de concepts)C
tD
j (disjonction de concepts) :C
j (negation de concept) 8R:C
j (quanticateur universel) 9R:C
j (quanticateur existentiel) Les r^oles dansMirlog sont soit primitifs, soit des negations:R
!P
j (r^ole primitif):
P
j (negation de r^ole)Generalement, on utilise egalement la notation lineaire (and C D) pour
C
uD
ou (all R C) pour 8R:C
, ou encore (some R C) pour9R:C
.Dans la litterature, le fonctionnement des logiques terminologiques peut ^etre decrit a travers deux types de semantiques: une semantique denotationnelle ou une semantique axiomatique. Par exemple, les logiques LOOM [Mac91], NF* [BS92] ou encoreBack [VLS87] sont denies a travers une semantique denotationnelle, par contre Classic[AR89] adopte, elle, une semantique axioma-tique.
DansMirlog, les concepts et les r^oles sont interpretes par la biais d'une semantique denotation-nelle. Les concepts sont interpretes comme des sous-ensembles d'individusdu domaine d'application, alors que les r^oles sont interpretes comme des relations binaires entre des concepts. Plus precisement, une interpretation I = (I
;:
I) consiste en un domaine d'interpretation (domaine d'application) I, et d'une fonction d'interpretation:
I associant a chaque concept un sous-ensemble de I et achaque r^ole un sous-ensemble de I
I. La fonction d'interpretation
:
I est etendue aux concepts complexes de Mirlogcomme suit:> I = I ? I = ; (:
C
)I = I ,C
I (C
uD
)I =C
I \D
I (C
tD
)I =C
I [D
I (9R:C
)I = fp
12I j9p
2;
(p
1;p
2)2R
Ietp
2 2C
I g (8R:C
)I = fp
12I j8p
2;
(p
1;p
2)2R
Iimpliquep
2 2C
I gMirlog permet d'enoncer des \assertions d'instances", gr^ace auxquelles il est possible d'ar-mer qu'une constante individuelle
a
est une instance d'un conceptC
, noteeC
(a
), ou qu'une paire d'individus est une instance d'un r^ole donne, noteR
(a;b
). Ces assertions sont dites primitives (de-notees par ), alors que les autres formules d'assertions (denotees paret) peuvent ^etre formees selon la syntaxe suivante:
;
! j (assertion)^ j (conjonction d'assertions)
_ j (disjonction d'assertions) !
j (negation d'une assertion)
Toutes les logiques terminologiques permettent de denir des relations semantiques entre termes. Ces derniers sont organises en une taxinomie basee sur la relation de subsomption. Informellement, un terme
t
1 subsume un termet
2 si, et seulement si,t
1 est plus general quet
2 dans la taxinomie (t
2t
1). Ainsi, le termet
2 est subsume par le termet
1, denote part
2 vt
1 si, et seulement si, pour chaque interpretationI,t
I2
t
I1. Par ailleurs, deux termes
t
1 ett
2 sont dits equivalents et on ecritt
1_=t
2 si, et seulement sit
1vt
2 ett
2 vt
1.La notion de subsomption est fortement liee a la notion logique de validite. Il est donc normal qu'elle soit utilisee pour la formalisation de la notion de pertinence dans un modele logique de recherche d'informations: un document
D
, considere comme une constante individuelle, est dit pertinent pour une requ^eteQ
, representee comme un concept, si et seulement si,Q
subsumeD
. Autrement dit, en considerant qu'un documentD
est une constante individuelle, ce dernier sera declare pertinent s'il appartient a la denotation de la requ^eteQ
representee, elle, par un concept. Par rapport au domaine de la recherche d'informations, l'utilisation de la subsomption est assez classique en soi. Cela revient a associer a la relation de pertinence logique (implication), une notion de genericite.Signalons enn que Mirlog adopte une semantique a quatre valeurs associee a une approche basee sur l'hypothese des mondes fermes. Ces deux faits n'ont pas de consequence directe sur l'ex-pressivite de Mirlog mais uniquement sur sa facon d'etablir la relation de subsomption. Nous rappelons en eet que les logiques terminologiques pertinentes17[Bel77, Lev84] adoptent la seman-tique a quatre valeurs an d'eviter les paradoxes de l'implication logique. De plus, il a ete prouve
que ces logiques ont generalement un meilleur comportement calculatoire que leurs analogues ba-sees sur la semantique standard a deux valeurs. La semantique a quatre valeurs permet de limiter les cas de subsomption a ceux dans lesquels cette relation peut ^etre calculee avec une complexite polynomiale [PS89].