Professional Documents
Culture Documents
- 40 -
- 41 -
Bossam
*
FaCT *
FaCT++
*
HermiT
*
Hoolet
*
Jena *
KAON2 *
OntoBroker **
OWLIM
**
Pellet
**
RacerPro
*
SweetRules
*
Gii thut
suy din
Rulebased,
Rete
Rulebased
Tableau
Tableau
Hypertableau
Firstorder
prover
Rulebased
Resolution
& Datalog
Rulebased
Tableau
Tableau
Rulebased
Phin bn
2.0
0.9b45
1.1.8
1.2.4
2.0.2
2.0
2.1
Khng
bit
Khng
bit
2008-0629
C
2.x/3.x
Khng
Khng
bit
C
2.5.4
OWL-DL
Entailment
Mc
biu hin
h tr cho
suy din
Kim tra
tnh chc
chn
Khng
bit
C
OWL: Resolution
& Datalog; Flogic: Rule-based
(BottomUp,
MagicSet, QSQ,
DynamicFiltering)
6.0
C
Khng
Khng
SHIQ
SROIQ
(D)
SROIQ
(D)
Khng
bit
SHIQ (D)
SHIQ
(D-)
Khng
bit
Rentailment,
OWL 2
RL
C
SROIQ
(D)
Khng
bit
Khng
Khng
Khng
Khng
Khng
Cc
dng
khc
nhau
Cha
xong
cho
OWL
DL
C
Khng
Khng
C,t nh
dng
C,
SWRL
& t
nh
dng
Khng
Khng
C,
SWRL
- DL
Safe
Rules
C,
SWRL
C,
SWRL DL Safe
Rules
C, SWRL, RIF,
F-logic,
ObjectLogic
C, t
nh dng
C,
SWRL
-DL
Safe
Rules
C,
SWRL&
t nh
dng
C,
SWRL,
RuleML,
Jess
H tr
DIG
H tr lut
Rentailment,
OWL 2
RL
C
Khng
C, t
nh
dng
- 42 -
- 43 -
T th Hnh 2, tp mu c xc nh nh
trong Bng 2.
Nhng dng mu ny c th c pht trin
xy dng tp hp cc cu hi (kiu Yes/No hay WH)
hay cu tr li trong h thng hi p.
Bng 2. Danh sch mu c bn
STT
1.
2.
3.
4.
70.
71.
72.
3
Topic-Publication
Topic-Publication-Publisher
Topic-Paper-Reference
- 44 -
- 45 -
S
lng
144981
111736
222858
S lng phn
bit chnh xc
144978
47458
118995
T l
100.00%
42.47%
53.39%
559448
273360
48.86%
27412
27412
100.00%
309466
248540
80.31%
126997
7350
5.79+
- 46 -
(1)
31
38
(2)
31
38
(3)
29
36
(4)
30
37
(5)
93.548%
94.737%
(6)
96.667%
97.297%
Nhm 3
Nhm 4
Nhm 5
54
40
47
54
40
47
52
37
44
54
39
46
96.296%
92.500%
93.617%
94.545%
94.872%
95.652%
Vi:
(1) S cu hi ting Vit phn tch ng
(2) S cu hi ting Vit suy din tr li c
(3) S cu hi ting Vit suy din tr li c hp l
(4) S cu hi ting Vit suy din tr li c hp l
theo chuyn gia
(5) chnh xc, (6) bao ph
- 47 -
- 48 -