HAL Id: hal-01448932
https://hal.archives-ouvertes.fr/hal-01448932
Submitted on 29 Jan 2017
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of
sci-entific research documents, whether they are
pub-lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
Concept Abduction in Description logics with
cardinality restrictions
Viet-Hoang Vu, Nhan Le Thanh
To cite this version:
Viet-Hoang Vu, Nhan Le Thanh. Concept Abduction in Description logics with cardinality restrictions.
International Journal of Computer, Electrical, Automation, Control and Information Engineering,
World Academy of Science, Engineering and Technology, 2010, 4 (11), pp.1779. �hal-01448932�
A L N
A L CQ
A L N
Accommodation
Room
Hotel
Accommodation
3StarsHotel
Hotel
3StarsRoom
3StarsRoom
Room
Table Desk
Telephone
ColorTelevison
PrivateBathRoom
PrivateBathRoom
BathRoom
Shower
BathTub
Shower
BathTub
3StarsHotel
Evelator
1
heterogeneous clash
choice
Room1
Desk Table
Room2
WiFi
ADSL
Room1 Room2
Desk
WiFi
τi clT (τi) clH (τi) τ8 ∀hasE qui pment.¬Desk¬ Room1, Room2, ∅
τ9 ∀hasE qui pment.¬Table¬ Room1, Room2, ∀hasE qui pment.Desk
τ10 ∀hasE qui pment.¬Table¬ Room1, Room2, ∅
τ18
⎧ ⎨ ⎩
¬ Room1,
∀hasE qui pment.¬Table, ∀hasI nter net.¬WiFi
⎫ ⎬
⎭ ∀hasE qui pment.Desk τ19
⎧ ⎨ ⎩
¬ Room1,
∀hasE qui pment.¬Desk, ∀hasI nter net.¬ADSL
⎫ ⎬
⎭ ∀hasI nter net.WiFi τ21
⎧ ⎨ ⎩
¬ Room1,
∀hasE qui pment.¬Table, ∀hasI nter net.¬ADSL
⎫ ⎬
⎭ ∀hasE qui pment.Desk τ22
⎧ ⎨ ⎩
¬ Room1,
∀hasE qui pment.¬Table, ∀hasI nter net.¬ADSL
⎫ ⎬
⎭ ∀hasI nter net.WiFi τ28 ⎧ ⎨ ⎩ ¬ Room2, Room1,
∀hasI nter net.¬WiFi ⎫ ⎬ ⎭ ∅ τ29 ⎧ ⎨ ⎩ ¬ Room2, Room1,
∀hasI nter net.¬ADSL ⎫ ⎬
⎭ ∀hasI nter net.WiFi τ30 ⎧ ⎨ ⎩ ¬ Room2, Room1,
∀hasI nter net.¬ADSL ⎫ ⎬ ⎭ ∅ τ38 ⎧ ⎨ ⎩ ¬ Room2,
∀hasE qui pment.¬Table, ∀hasI nter net.¬WiFi
⎫ ⎬
⎭ ∀hasE qui pment.Desk τ39
⎧ ⎨ ⎩
¬ Room2,
∀hasE qui pment.¬Desk, ∀hasI nter net.¬ADSL
⎫ ⎬
⎭ ∀hasI nter net.WiFi τ41
⎧ ⎨ ⎩
¬ Room2,
∀hasE qui pment.¬Table, ∀hasI nter net.¬ADSL
⎫ ⎬
⎭ ∀hasE qui pment.Desk τ42
⎧ ⎨ ⎩
¬ Room2,
∀hasE qui pment.¬Table, ∀hasI nter net.¬ADSL
⎫ ⎬
⎭ ∀hasI nter net.WiFi
Hi τ − set (Hi) ¬ Room1 { τ12, τ13, τ14, τ18, τ19, τ21, τ22}
Room2 { τ12, τ13, τ14}
∀hasE qui pment.¬Desk { τ12, τ18, τ30}
∀hasE qui pment.¬Table { τ13, τ14, τ19, τ21, τ22, τ31, τ33, τ34}
∀hasI nter net.¬ADSL { τ18, τ21, τ22, τ25, τ26, τ30, τ33, τ34}
∀hasI nter net.¬WiFi { τ19, τ24, τ31}
¬ Room2 { τ24, τ25, τ26, τ30, τ31, τ33, τ34}
Room1 { τ24, τ25, τ26}
∀hasE qui pment.Desk { τ13, τ19, τ21, τ31, τ33}
∀hasI nter net.WiFi { τ18, τ22, τ25, τ30, τ34}
τ − set ()
