Table Of Content

(cid:34)(cid:79)(cid:42)(cid:79)(cid:85)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:85)(cid:74)(cid:80)(cid:79)(cid:85)(cid:80)(cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79)(cid:45)(cid:80)(cid:72)(cid:74)(cid:68) (cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79) (cid:77)(cid:80)(cid:72)(cid:74)(cid:68) (cid:9)(cid:37)(cid:45)(cid:10) (cid:73)(cid:66)(cid:84) (cid:66) (cid:77)(cid:80)(cid:79)(cid:72) (cid:85)(cid:83)(cid:66)(cid:69)(cid:74)(cid:85)(cid:74)(cid:80)(cid:79) (cid:74)(cid:79) (cid:68)(cid:80)(cid:78)(cid:81)(cid:86)(cid:85)(cid:70)(cid:83) (cid:84)(cid:68)(cid:74)(cid:70)(cid:79)(cid:68)(cid:70) (cid:66)(cid:79)(cid:69) (cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70) (cid:83)(cid:70)(cid:81)(cid:83)(cid:70)(cid:84)(cid:70)(cid:79)(cid:85)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:13)(cid:67)(cid:70)(cid:74)(cid:79)(cid:72)(cid:69)(cid:70)(cid:84)(cid:74)(cid:72)(cid:79)(cid:70)(cid:69)(cid:84)(cid:80)(cid:85)(cid:73)(cid:66)(cid:85)(cid:69)(cid:80)(cid:78)(cid:66)(cid:74)(cid:79)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:68)(cid:66)(cid:79)(cid:67)(cid:70)(cid:69)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:67)(cid:70)(cid:69)(cid:66)(cid:79)(cid:69)(cid:84)(cid:80) (cid:85)(cid:73)(cid:66)(cid:85)(cid:68)(cid:80)(cid:78)(cid:81)(cid:86)(cid:85)(cid:70)(cid:83)(cid:84)(cid:68)(cid:66)(cid:79)(cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:66)(cid:67)(cid:80)(cid:86)(cid:85)(cid:85)(cid:73)(cid:74)(cid:84)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:15)(cid:37)(cid:45)(cid:73)(cid:66)(cid:84)(cid:83)(cid:70)(cid:68)(cid:70)(cid:79)(cid:85)(cid:77)(cid:90)(cid:72)(cid:66)(cid:74)(cid:79)(cid:70)(cid:69)(cid:74)(cid:79)(cid:68)(cid:83)(cid:70)(cid:66)(cid:84)(cid:70)(cid:69) (cid:74)(cid:78)(cid:81)(cid:80)(cid:83)(cid:85)(cid:66)(cid:79)(cid:68)(cid:70)(cid:84)(cid:74)(cid:79)(cid:68)(cid:70)(cid:74)(cid:85)(cid:71)(cid:80)(cid:83)(cid:78)(cid:84)(cid:85)(cid:73)(cid:70)(cid:77)(cid:80)(cid:72)(cid:74)(cid:68)(cid:66)(cid:77)(cid:67)(cid:66)(cid:84)(cid:74)(cid:84)(cid:80)(cid:71)(cid:88)(cid:74)(cid:69)(cid:70)(cid:77)(cid:90)(cid:86)(cid:84)(cid:70)(cid:69)(cid:80)(cid:79)(cid:85)(cid:80)(cid:77)(cid:80)(cid:72)(cid:90)(cid:77)(cid:66)(cid:79)(cid:72)(cid:86)(cid:66)(cid:72)(cid:70)(cid:84)(cid:13)(cid:74)(cid:79) (cid:81)(cid:66)(cid:83)(cid:85)(cid:74)(cid:68)(cid:86)(cid:77)(cid:66)(cid:83)(cid:85)(cid:73)(cid:70)(cid:88)(cid:70)(cid:67)(cid:80)(cid:79)(cid:85)(cid:80)(cid:77)(cid:80)(cid:72)(cid:90)(cid:77)(cid:66)(cid:79)(cid:72)(cid:86)(cid:66)(cid:72)(cid:70)(cid:48)(cid:56)(cid:45)(cid:15) (cid:56)(cid:83)(cid:74)(cid:85)(cid:85)(cid:70)(cid:79)(cid:67)(cid:90)(cid:71)(cid:80)(cid:86)(cid:83)(cid:83)(cid:70)(cid:79)(cid:80)(cid:88)(cid:79)(cid:70)(cid:69)(cid:70)(cid:89)(cid:81)(cid:70)(cid:83)(cid:85)(cid:84)(cid:13)(cid:85)(cid:73)(cid:74)(cid:84)(cid:74)(cid:84)(cid:85)(cid:73)(cid:70)(cid:224)(cid:83)(cid:84)(cid:85)(cid:85)(cid:70)(cid:89)(cid:85)(cid:67)(cid:80)(cid:80)(cid:76)(cid:80)(cid:79)(cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79)(cid:45)(cid:80)(cid:72)(cid:74)(cid:68)(cid:15) (cid:42)(cid:85) (cid:74)(cid:84) (cid:84)(cid:86)(cid:74)(cid:85)(cid:66)(cid:67)(cid:77)(cid:70) (cid:71)(cid:80)(cid:83) (cid:84)(cid:70)(cid:77)(cid:71)(cid:14)(cid:84)(cid:85)(cid:86)(cid:69)(cid:90) (cid:67)(cid:90) (cid:72)(cid:83)(cid:66)(cid:69)(cid:86)(cid:66)(cid:85)(cid:70)(cid:84) (cid:66)(cid:79)(cid:69) (cid:66)(cid:84) (cid:85)(cid:73)(cid:70) (cid:67)(cid:66)(cid:84)(cid:74)(cid:84) (cid:71)(cid:80)(cid:83) (cid:66) (cid:86)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90) (cid:68)(cid:80)(cid:86)(cid:83)(cid:84)(cid:70)(cid:15) (cid:52)(cid:85)(cid:66)(cid:83)(cid:85)(cid:74)(cid:79)(cid:72)(cid:71)(cid:83)(cid:80)(cid:78)(cid:66)(cid:67)(cid:66)(cid:84)(cid:74)(cid:68)(cid:37)(cid:45)(cid:13)(cid:85)(cid:73)(cid:70)(cid:67)(cid:80)(cid:80)(cid:76)(cid:74)(cid:79)(cid:85)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:70)(cid:84)(cid:85)(cid:73)(cid:70)(cid:83)(cid:70)(cid:66)(cid:69)(cid:70)(cid:83)(cid:85)(cid:80)(cid:74)(cid:85)(cid:84)(cid:84)(cid:90)(cid:79)(cid:85)(cid:66)(cid:89)(cid:13)(cid:84)(cid:70)(cid:78)(cid:66)(cid:79)(cid:85)(cid:74)(cid:68)(cid:84)(cid:13) (cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:74)(cid:79)(cid:72)(cid:81)(cid:83)(cid:80)(cid:67)(cid:77)(cid:70)(cid:78)(cid:84)(cid:66)(cid:79)(cid:69)(cid:78)(cid:80)(cid:69)(cid:70)(cid:77)(cid:85)(cid:73)(cid:70)(cid:80)(cid:83)(cid:90)(cid:13)(cid:66)(cid:79)(cid:69)(cid:69)(cid:74)(cid:84)(cid:68)(cid:86)(cid:84)(cid:84)(cid:70)(cid:84)(cid:85)(cid:73)(cid:70)(cid:68)(cid:80)(cid:78)(cid:81)(cid:86)(cid:85)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:66)(cid:77)(cid:68)(cid:80)(cid:78)(cid:81)(cid:77)(cid:70)(cid:89)(cid:74)(cid:85)(cid:90) (cid:80)(cid:71)(cid:85)(cid:73)(cid:70)(cid:84)(cid:70)(cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:74)(cid:79)(cid:72)(cid:81)(cid:83)(cid:80)(cid:67)(cid:77)(cid:70)(cid:78)(cid:84)(cid:66)(cid:79)(cid:69)(cid:66)(cid:77)(cid:72)(cid:80)(cid:83)(cid:74)(cid:85)(cid:73)(cid:78)(cid:84)(cid:85)(cid:80)(cid:84)(cid:80)(cid:77)(cid:87)(cid:70)(cid:85)(cid:73)(cid:70)(cid:78)(cid:15)(cid:42)(cid:85)(cid:85)(cid:73)(cid:70)(cid:79)(cid:70)(cid:89)(cid:81)(cid:77)(cid:80)(cid:83)(cid:70)(cid:84)(cid:66)(cid:87)(cid:66)(cid:83)(cid:74)(cid:70)(cid:85)(cid:90) (cid:80)(cid:71)(cid:69)(cid:74)(cid:71)(cid:71)(cid:70)(cid:83)(cid:70)(cid:79)(cid:85)(cid:69)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79)(cid:77)(cid:80)(cid:72)(cid:74)(cid:68)(cid:84)(cid:13)(cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:74)(cid:79)(cid:72)(cid:85)(cid:70)(cid:68)(cid:73)(cid:79)(cid:74)(cid:82)(cid:86)(cid:70)(cid:84)(cid:13)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:14)(cid:67)(cid:66)(cid:84)(cid:70)(cid:69)(cid:66)(cid:81)(cid:81)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:84) (cid:66)(cid:79)(cid:69)(cid:85)(cid:80)(cid:80)(cid:77)(cid:84)(cid:13)(cid:66)(cid:79)(cid:69)(cid:69)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:67)(cid:70)(cid:84)(cid:85)(cid:73)(cid:70)(cid:83)(cid:70)(cid:77)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:84)(cid:73)(cid:74)(cid:81)(cid:67)(cid:70)(cid:85)(cid:88)(cid:70)(cid:70)(cid:79)(cid:37)(cid:45)(cid:84)(cid:66)(cid:79)(cid:69)(cid:48)(cid:56)(cid:45)(cid:15) (cid:34)(cid:79) (cid:42)(cid:79)(cid:85)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:85)(cid:74)(cid:80)(cid:79) (cid:85)(cid:80) (cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79) (cid:45)(cid:80)(cid:72)(cid:74)(cid:68) (cid:39)(cid:51)(cid:34)(cid:47)(cid:59) (cid:35)(cid:34)(cid:34)(cid:37)(cid:38)(cid:51) (cid:53)(cid:70)(cid:68)(cid:73)(cid:79)(cid:74)(cid:84)(cid:68)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:197)(cid:85)(cid:13)(cid:37)(cid:83)(cid:70)(cid:84)(cid:69)(cid:70)(cid:79) (cid:42)(cid:34)(cid:47) (cid:41)(cid:48)(cid:51)(cid:51)(cid:48)(cid:36)(cid:44)(cid:52) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:80)(cid:71)(cid:48)(cid:89)(cid:71)(cid:80)(cid:83)(cid:69) (cid:36)(cid:34)(cid:51)(cid:52)(cid:53)(cid:38)(cid:47) (cid:45)(cid:54)(cid:53)(cid:59) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:197)(cid:85)(cid:35)(cid:83)(cid:70)(cid:78)(cid:70)(cid:79) (cid:54)(cid:45)(cid:42) (cid:52)(cid:34)(cid:53)(cid:53)(cid:45)(cid:38)(cid:51) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:80)(cid:71)(cid:46)(cid:66)(cid:79)(cid:68)(cid:73)(cid:70)(cid:84)(cid:85)(cid:70)(cid:83) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:74)(cid:79)(cid:85)(cid:74)(cid:79)(cid:72)(cid:41)(cid:80)(cid:86)(cid:84)(cid:70)(cid:13)(cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:36)(cid:35)(cid:19)(cid:25)(cid:35)(cid:52)(cid:13)(cid:54)(cid:79)(cid:74)(cid:85)(cid:70)(cid:69)(cid:44)(cid:74)(cid:79)(cid:72)(cid:69)(cid:80)(cid:78) (cid:48)(cid:79)(cid:70)(cid:45)(cid:74)(cid:67)(cid:70)(cid:83)(cid:85)(cid:90)(cid:49)(cid:77)(cid:66)(cid:91)(cid:66)(cid:13)(cid:19)(cid:17)(cid:85)(cid:73)(cid:39)(cid:77)(cid:80)(cid:80)(cid:83)(cid:13)(cid:47)(cid:70)(cid:88)(cid:58)(cid:80)(cid:83)(cid:76)(cid:13)(cid:47)(cid:58)(cid:18)(cid:17)(cid:17)(cid:17)(cid:23)(cid:13)(cid:54)(cid:52)(cid:34) (cid:21)(cid:24)(cid:24)(cid:56)(cid:74)(cid:77)(cid:77)(cid:74)(cid:66)(cid:78)(cid:84)(cid:85)(cid:80)(cid:88)(cid:79)(cid:51)(cid:80)(cid:66)(cid:69)(cid:13)(cid:49)(cid:80)(cid:83)(cid:85)(cid:46)(cid:70)(cid:77)(cid:67)(cid:80)(cid:86)(cid:83)(cid:79)(cid:70)(cid:13)(cid:55)(cid:42)(cid:36)(cid:20)(cid:19)(cid:17)(cid:24)(cid:13)(cid:34)(cid:86)(cid:84)(cid:85)(cid:83)(cid:66)(cid:77)(cid:74)(cid:66) (cid:21)(cid:25)(cid:21)(cid:20)(cid:16)(cid:19)(cid:21)(cid:13)(cid:19)(cid:79)(cid:69)(cid:39)(cid:77)(cid:80)(cid:80)(cid:83)(cid:13)(cid:34)(cid:79)(cid:84)(cid:66)(cid:83)(cid:74)(cid:51)(cid:80)(cid:66)(cid:69)(cid:13)(cid:37)(cid:66)(cid:83)(cid:90)(cid:66)(cid:72)(cid:66)(cid:79)(cid:75)(cid:13)(cid:37)(cid:70)(cid:77)(cid:73)(cid:74)(cid:109)(cid:18)(cid:18)(cid:17)(cid:17)(cid:17)(cid:19)(cid:13)(cid:42)(cid:79)(cid:69)(cid:74)(cid:66) (cid:24)(cid:26)(cid:34)(cid:79)(cid:84)(cid:80)(cid:79)(cid:51)(cid:80)(cid:66)(cid:69)(cid:13)(cid:4)(cid:17)(cid:23)(cid:14)(cid:17)(cid:21)(cid:16)(cid:17)(cid:23)(cid:13)(cid:52)(cid:74)(cid:79)(cid:72)(cid:66)(cid:81)(cid:80)(cid:83)(cid:70)(cid:17)(cid:24)(cid:26)(cid:26)(cid:17)(cid:23) (cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:70)(cid:84)(cid:84)(cid:74)(cid:84)(cid:81)(cid:66)(cid:83)(cid:85)(cid:80)(cid:71)(cid:85)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:80)(cid:71)(cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:15) (cid:42)(cid:85)(cid:71)(cid:86)(cid:83)(cid:85)(cid:73)(cid:70)(cid:83)(cid:84)(cid:85)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:8)(cid:84)(cid:78)(cid:74)(cid:84)(cid:84)(cid:74)(cid:80)(cid:79)(cid:67)(cid:90)(cid:69)(cid:74)(cid:84)(cid:84)(cid:70)(cid:78)(cid:74)(cid:79)(cid:66)(cid:85)(cid:74)(cid:79)(cid:72)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:74)(cid:79)(cid:85)(cid:73)(cid:70)(cid:81)(cid:86)(cid:83)(cid:84)(cid:86)(cid:74)(cid:85)(cid:80)(cid:71) (cid:70)(cid:69)(cid:86)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:13)(cid:77)(cid:70)(cid:66)(cid:83)(cid:79)(cid:74)(cid:79)(cid:72)(cid:13)(cid:66)(cid:79)(cid:69)(cid:83)(cid:70)(cid:84)(cid:70)(cid:66)(cid:83)(cid:68)(cid:73)(cid:66)(cid:85)(cid:85)(cid:73)(cid:70)(cid:73)(cid:74)(cid:72)(cid:73)(cid:70)(cid:84)(cid:85)(cid:74)(cid:79)(cid:85)(cid:70)(cid:83)(cid:79)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:66)(cid:77)(cid:77)(cid:70)(cid:87)(cid:70)(cid:77)(cid:84)(cid:80)(cid:71)(cid:70)(cid:89)(cid:68)(cid:70)(cid:77)(cid:77)(cid:70)(cid:79)(cid:68)(cid:70)(cid:15) (cid:88)(cid:88)(cid:88)(cid:15)(cid:68)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:15)(cid:80)(cid:83)(cid:72) (cid:42)(cid:79)(cid:71)(cid:80)(cid:83)(cid:78)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:80)(cid:79)(cid:85)(cid:73)(cid:74)(cid:84)(cid:85)(cid:74)(cid:85)(cid:77)(cid:70)(cid:27)(cid:88)(cid:88)(cid:88)(cid:15)(cid:68)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:15)(cid:80)(cid:83)(cid:72)(cid:16)(cid:26)(cid:24)(cid:25)(cid:17)(cid:22)(cid:19)(cid:18)(cid:25)(cid:24)(cid:20)(cid:23)(cid:18)(cid:18) (cid:37)(cid:48)(cid:42)(cid:27)(cid:18)(cid:17)(cid:15)(cid:18)(cid:17)(cid:18)(cid:24)(cid:16)(cid:26)(cid:24)(cid:25)(cid:18)(cid:18)(cid:20)(cid:26)(cid:17)(cid:19)(cid:22)(cid:20)(cid:22)(cid:22) (cid:165)(cid:39)(cid:83)(cid:66)(cid:79)(cid:91)(cid:35)(cid:66)(cid:66)(cid:69)(cid:70)(cid:83)(cid:13)(cid:42)(cid:66)(cid:79)(cid:41)(cid:80)(cid:83)(cid:83)(cid:80)(cid:68)(cid:76)(cid:84)(cid:13)(cid:36)(cid:66)(cid:83)(cid:84)(cid:85)(cid:70)(cid:79)(cid:45)(cid:86)(cid:85)(cid:91)(cid:66)(cid:79)(cid:69)(cid:54)(cid:77)(cid:74)(cid:52)(cid:66)(cid:85)(cid:85)(cid:77)(cid:70)(cid:83)(cid:19)(cid:17)(cid:18)(cid:24) (cid:53)(cid:73)(cid:74)(cid:84)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:74)(cid:84)(cid:74)(cid:79)(cid:68)(cid:80)(cid:81)(cid:90)(cid:83)(cid:74)(cid:72)(cid:73)(cid:85)(cid:15)(cid:52)(cid:86)(cid:67)(cid:75)(cid:70)(cid:68)(cid:85)(cid:85)(cid:80)(cid:84)(cid:85)(cid:66)(cid:85)(cid:86)(cid:85)(cid:80)(cid:83)(cid:90)(cid:70)(cid:89)(cid:68)(cid:70)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79) (cid:66)(cid:79)(cid:69)(cid:85)(cid:80)(cid:85)(cid:73)(cid:70)(cid:81)(cid:83)(cid:80)(cid:87)(cid:74)(cid:84)(cid:74)(cid:80)(cid:79)(cid:84)(cid:80)(cid:71)(cid:83)(cid:70)(cid:77)(cid:70)(cid:87)(cid:66)(cid:79)(cid:85)(cid:68)(cid:80)(cid:77)(cid:77)(cid:70)(cid:68)(cid:85)(cid:74)(cid:87)(cid:70)(cid:77)(cid:74)(cid:68)(cid:70)(cid:79)(cid:84)(cid:74)(cid:79)(cid:72)(cid:66)(cid:72)(cid:83)(cid:70)(cid:70)(cid:78)(cid:70)(cid:79)(cid:85)(cid:84)(cid:13) (cid:79)(cid:80)(cid:83)(cid:70)(cid:81)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:85)(cid:74)(cid:80)(cid:79)(cid:80)(cid:71)(cid:66)(cid:79)(cid:90)(cid:81)(cid:66)(cid:83)(cid:85)(cid:78)(cid:66)(cid:90)(cid:85)(cid:66)(cid:76)(cid:70)(cid:81)(cid:77)(cid:66)(cid:68)(cid:70)(cid:88)(cid:74)(cid:85)(cid:73)(cid:80)(cid:86)(cid:85)(cid:85)(cid:73)(cid:70)(cid:88)(cid:83)(cid:74)(cid:85)(cid:85)(cid:70)(cid:79) (cid:81)(cid:70)(cid:83)(cid:78)(cid:74)(cid:84)(cid:84)(cid:74)(cid:80)(cid:79)(cid:80)(cid:71)(cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:70)(cid:84)(cid:84)(cid:15) (cid:39)(cid:74)(cid:83)(cid:84)(cid:85)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:84)(cid:73)(cid:70)(cid:69)(cid:19)(cid:17)(cid:18)(cid:24) (cid:49)(cid:83)(cid:74)(cid:79)(cid:85)(cid:70)(cid:69)(cid:74)(cid:79)(cid:85)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:85)(cid:70)(cid:69)(cid:44)(cid:74)(cid:79)(cid:72)(cid:69)(cid:80)(cid:78)(cid:67)(cid:90)(cid:36)(cid:77)(cid:66)(cid:90)(cid:84)(cid:13)(cid:52)(cid:85)(cid:42)(cid:87)(cid:70)(cid:84)(cid:81)(cid:77)(cid:68) (cid:34)(cid:68)(cid:66)(cid:85)(cid:66)(cid:77)(cid:80)(cid:72)(cid:86)(cid:70)(cid:83)(cid:70)(cid:68)(cid:80)(cid:83)(cid:69)(cid:71)(cid:80)(cid:83)(cid:85)(cid:73)(cid:74)(cid:84)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:74)(cid:84)(cid:66)(cid:87)(cid:66)(cid:74)(cid:77)(cid:66)(cid:67)(cid:77)(cid:70)(cid:71)(cid:83)(cid:80)(cid:78)(cid:85)(cid:73)(cid:70)(cid:35)(cid:83)(cid:74)(cid:85)(cid:74)(cid:84)(cid:73)(cid:45)(cid:74)(cid:67)(cid:83)(cid:66)(cid:83)(cid:90)(cid:15) (cid:42)(cid:52)(cid:35)(cid:47)(cid:26)(cid:24)(cid:25)(cid:14)(cid:17)(cid:14)(cid:22)(cid:19)(cid:18)(cid:14)(cid:25)(cid:24)(cid:20)(cid:23)(cid:18)(cid:14)(cid:18)(cid:41)(cid:66)(cid:83)(cid:69)(cid:67)(cid:66)(cid:68)(cid:76) (cid:42)(cid:52)(cid:35)(cid:47)(cid:26)(cid:24)(cid:25)(cid:14)(cid:17)(cid:14)(cid:22)(cid:19)(cid:18)(cid:14)(cid:23)(cid:26)(cid:22)(cid:21)(cid:19)(cid:14)(cid:25)(cid:49)(cid:66)(cid:81)(cid:70)(cid:83)(cid:67)(cid:66)(cid:68)(cid:76) (cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:70)(cid:84)(cid:84)(cid:73)(cid:66)(cid:84)(cid:79)(cid:80)(cid:83)(cid:70)(cid:84)(cid:81)(cid:80)(cid:79)(cid:84)(cid:74)(cid:67)(cid:74)(cid:77)(cid:74)(cid:85)(cid:90)(cid:71)(cid:80)(cid:83)(cid:85)(cid:73)(cid:70)(cid:81)(cid:70)(cid:83)(cid:84)(cid:74)(cid:84)(cid:85)(cid:70)(cid:79)(cid:68)(cid:70)(cid:80)(cid:83)(cid:66)(cid:68)(cid:68)(cid:86)(cid:83)(cid:66)(cid:68)(cid:90) (cid:80)(cid:71)(cid:54)(cid:51)(cid:45)(cid:84)(cid:71)(cid:80)(cid:83)(cid:70)(cid:89)(cid:85)(cid:70)(cid:83)(cid:79)(cid:66)(cid:77)(cid:80)(cid:83)(cid:85)(cid:73)(cid:74)(cid:83)(cid:69)(cid:14)(cid:81)(cid:66)(cid:83)(cid:85)(cid:90)(cid:42)(cid:79)(cid:85)(cid:70)(cid:83)(cid:79)(cid:70)(cid:85)(cid:56)(cid:70)(cid:67)(cid:84)(cid:74)(cid:85)(cid:70)(cid:84)(cid:83)(cid:70)(cid:71)(cid:70)(cid:83)(cid:83)(cid:70)(cid:69)(cid:85)(cid:80)(cid:74)(cid:79)(cid:85)(cid:73)(cid:74)(cid:84)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79) (cid:66)(cid:79)(cid:69)(cid:69)(cid:80)(cid:70)(cid:84)(cid:79)(cid:80)(cid:85)(cid:72)(cid:86)(cid:66)(cid:83)(cid:66)(cid:79)(cid:85)(cid:70)(cid:70)(cid:85)(cid:73)(cid:66)(cid:85)(cid:66)(cid:79)(cid:90)(cid:68)(cid:80)(cid:79)(cid:85)(cid:70)(cid:79)(cid:85)(cid:80)(cid:79)(cid:84)(cid:86)(cid:68)(cid:73)(cid:56)(cid:70)(cid:67)(cid:84)(cid:74)(cid:85)(cid:70)(cid:84)(cid:74)(cid:84)(cid:13)(cid:80)(cid:83)(cid:88)(cid:74)(cid:77)(cid:77)(cid:83)(cid:70)(cid:78)(cid:66)(cid:74)(cid:79)(cid:13) (cid:66)(cid:68)(cid:68)(cid:86)(cid:83)(cid:66)(cid:85)(cid:70)(cid:80)(cid:83)(cid:66)(cid:81)(cid:81)(cid:83)(cid:80)(cid:81)(cid:83)(cid:74)(cid:66)(cid:85)(cid:70)(cid:15) Contents 1 Introduction page 1 1.1 What are DLs and where do they come from? 1 1.2 What are they good for and how are they used? 3 1.3 A brief history of description logic 4 1.4 How to use this book 7 2 A Basic Description Logic 10 2.1 The concept language of the DL ALC 10 2.2 ALC knowledge bases 16 2.2.1 ALC TBoxes 17 2.2.2 ALC ABoxes 19 2.2.3 Restricted TBoxes and concept definitions 23 2.3 Basic reasoning problems and services 28 2.4 Using reasoning services 36 2.5 Extensions of the basic DL ALC 37 2.5.1 Inverse roles 37 2.5.2 Number restrictions 39 2.5.3 Nominals 41 2.5.4 Role hierarchies 42 2.5.5 Transitive roles 42 2.6 DLs and other logics 44 2.6.1 DLs as decidable fragments of first-order logic 44 2.6.2 DLs as cousins of modal logic 46 2.7 Historical context and literature review 48 3 A Little Bit of Model Theory 50 3.1 Bisimulation 51 3.2 Expressive power 53 3.3 Closure under disjoint union 55 v vi Contents 3.4 Finite model property 57 3.5 Tree model property 63 3.6 Historical context and literature review 67 4 Reasoning in DLs with Tableau Algorithms 69 4.1 Tableau basics 70 4.2 A tableau algorithm for ALC 71 4.2.1 ABox consistency 72 4.2.2 Acyclic knowledge base consistency 82 4.2.3 General knowledge base consistency 83 4.3 A tableau algorithm for ALCIN 90 4.3.1 Inverse roles 90 4.3.2 Number restrictions 93 4.3.3 Combininginverserolesandnumberrestrictions 97 4.4 Some implementation issues 101 4.4.1 Or-branching 101 4.4.2 And-branching 103 4.4.3 Classification 104 4.5 Historical context and literature review 104 5 Complexity 106 5.1 Concept satisfiability in ALC 107 5.1.1 Acyclic TBoxes and no TBoxes 108 5.1.2 General TBoxes 117 5.2 Concept satisfiability beyond ALC 123 5.2.1 ALC with inverse roles and nominals 123 5.2.2 Further adding number restrictions 125 5.3 Undecidable extensions of ALC 130 5.3.1 Role value maps 130 5.3.2 Concrete domains 134 5.4 Historical context and literature review 137 6 Reasoning in the EL Family of Description Logics 140 6.1 Subsumption in EL 141 6.1.1 Normalisation 142 6.1.2 The classification procedure 147 6.2 Subsumption in ELI 151 6.2.1 Normalisation 151 6.2.2 The classification procedure 152 6.3 Comparing the two subsumption algorithms 159 6.3.1 Comparing the classification rules 159 6.3.2 A more abstract point of view 162 Contents vii 6.4 Historical context and literature review 165 7 Query Answering 168 7.1 Conjunctive queries and FO queries 169 7.2 FO-rewritability and DL-Lite 174 7.2.1 Introducing DL-Lite 175 7.2.2 Universal models 180 7.2.3 FO-rewritability in DL-Lite 184 7.3 Datalog-rewritability in EL and ELI 192 7.3.1 Fundamentals of Datalog 193 7.3.2 Datalog-rewritings in ELI 195 7.3.3 Short Datalog-rewritings in EL 198 7.4 Complexity aspects 199 7.5 Historical context and literature review 202 8 Ontology Languages and Applications 205 8.1 The OWL ontology language 206 8.1.1 OWL and RDF 206 8.1.2 OWL and SROIQ 209 8.1.3 OWL ontologies 213 8.1.4 Non-DL features 217 8.1.5 OWL profiles 222 8.2 OWL tools and applications 223 8.2.1 The OWL API 223 8.2.2 OWL reasoners 224 8.2.3 Ontology engineering tools 224 8.2.4 OWL applications 225 Appendix:Description Logic Terminology 228 A.1 Syntax and semantics of concept and role constructors228 A.2 Syntax and semantics of knowledge bases 230 A.3 Naming schemes for description logics 231 References 234 Index 252 1 Introduction Thisis, to the bestofourknowledge,the firsttextbookdedicatedsolely to Description Logic (DL), a very active research area in logic-based knowledgerepresentationandreasoningthatgoesbacktothelate1980s and that has a wide range of applications in knowledge-intensive infor- mation systems. In this introductory chapter we will sketch what DLs are, how they are used and where they come from historically. We will also explain how to use this book. 1.1 What are DLs and where do they come from? Description logics (DLs) are a family of knowledge representation lan- guagesthatcanbeusedtorepresentknowledgeofanapplicationdomain in a structured and well-understood way.1 The name description logics is motivated by the fact that, on the one hand, the important notions of the domain are represented by concept descriptions, i.e., expressions thatarebuilt fromatomicconcepts(unary predicates)andatomicroles (binary predicates)using the concept and roleconstructorsprovidedby the particular DL; on the other hand, DLs differ from their predeces- sors, such as semantic networks and frames, in that they are equipped with a logic-based semantics which, up to some differences in notation, is actually the same semantics as that of classical first-order logic. Descriptionlogicstypicallyseparatedomainknowledgeintotwocom- ponents, a terminological part called the TBox and an assertional part called the ABox, with the combination of a TBox and an ABox being calledaknowledgebase (KB).TheTBoxrepresentsknowledgeaboutthe structureofthe domain(similarto a databaseschema), while the ABox represents knowledge about a concrete situation (similar to a database 1 Note that we use Description Logic (singular) to refer to the research area, and description logics (plural)torefertotherelevantlogicalformalisms. 1

ebook img

An Introduction to Description Logic PDF

265 Pages·2017·2.708 MB·English
by  Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
#
Save to my drive
Quick download
Download
Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview An Introduction to Description Logic

(cid:34)(cid:79)(cid:42)(cid:79)(cid:85)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:85)(cid:74)(cid:80)(cid:79)(cid:85)(cid:80)(cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79)(cid:45)(cid:80)(cid:72)(cid:74)(cid:68) (cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79) (cid:77)(cid:80)(cid:72)(cid:74)(cid:68) (cid:9)(cid:37)(cid:45)(cid:10) (cid:73)(cid:66)(cid:84) (cid:66) (cid:77)(cid:80)(cid:79)(cid:72) (cid:85)(cid:83)(cid:66)(cid:69)(cid:74)(cid:85)(cid:74)(cid:80)(cid:79) (cid:74)(cid:79) (cid:68)(cid:80)(cid:78)(cid:81)(cid:86)(cid:85)(cid:70)(cid:83) (cid:84)(cid:68)(cid:74)(cid:70)(cid:79)(cid:68)(cid:70) (cid:66)(cid:79)(cid:69) (cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70) (cid:83)(cid:70)(cid:81)(cid:83)(cid:70)(cid:84)(cid:70)(cid:79)(cid:85)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:13)(cid:67)(cid:70)(cid:74)(cid:79)(cid:72)(cid:69)(cid:70)(cid:84)(cid:74)(cid:72)(cid:79)(cid:70)(cid:69)(cid:84)(cid:80)(cid:85)(cid:73)(cid:66)(cid:85)(cid:69)(cid:80)(cid:78)(cid:66)(cid:74)(cid:79)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:68)(cid:66)(cid:79)(cid:67)(cid:70)(cid:69)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:67)(cid:70)(cid:69)(cid:66)(cid:79)(cid:69)(cid:84)(cid:80) (cid:85)(cid:73)(cid:66)(cid:85)(cid:68)(cid:80)(cid:78)(cid:81)(cid:86)(cid:85)(cid:70)(cid:83)(cid:84)(cid:68)(cid:66)(cid:79)(cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:66)(cid:67)(cid:80)(cid:86)(cid:85)(cid:85)(cid:73)(cid:74)(cid:84)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:15)(cid:37)(cid:45)(cid:73)(cid:66)(cid:84)(cid:83)(cid:70)(cid:68)(cid:70)(cid:79)(cid:85)(cid:77)(cid:90)(cid:72)(cid:66)(cid:74)(cid:79)(cid:70)(cid:69)(cid:74)(cid:79)(cid:68)(cid:83)(cid:70)(cid:66)(cid:84)(cid:70)(cid:69) (cid:74)(cid:78)(cid:81)(cid:80)(cid:83)(cid:85)(cid:66)(cid:79)(cid:68)(cid:70)(cid:84)(cid:74)(cid:79)(cid:68)(cid:70)(cid:74)(cid:85)(cid:71)(cid:80)(cid:83)(cid:78)(cid:84)(cid:85)(cid:73)(cid:70)(cid:77)(cid:80)(cid:72)(cid:74)(cid:68)(cid:66)(cid:77)(cid:67)(cid:66)(cid:84)(cid:74)(cid:84)(cid:80)(cid:71)(cid:88)(cid:74)(cid:69)(cid:70)(cid:77)(cid:90)(cid:86)(cid:84)(cid:70)(cid:69)(cid:80)(cid:79)(cid:85)(cid:80)(cid:77)(cid:80)(cid:72)(cid:90)(cid:77)(cid:66)(cid:79)(cid:72)(cid:86)(cid:66)(cid:72)(cid:70)(cid:84)(cid:13)(cid:74)(cid:79) (cid:81)(cid:66)(cid:83)(cid:85)(cid:74)(cid:68)(cid:86)(cid:77)(cid:66)(cid:83)(cid:85)(cid:73)(cid:70)(cid:88)(cid:70)(cid:67)(cid:80)(cid:79)(cid:85)(cid:80)(cid:77)(cid:80)(cid:72)(cid:90)(cid:77)(cid:66)(cid:79)(cid:72)(cid:86)(cid:66)(cid:72)(cid:70)(cid:48)(cid:56)(cid:45)(cid:15) (cid:56)(cid:83)(cid:74)(cid:85)(cid:85)(cid:70)(cid:79)(cid:67)(cid:90)(cid:71)(cid:80)(cid:86)(cid:83)(cid:83)(cid:70)(cid:79)(cid:80)(cid:88)(cid:79)(cid:70)(cid:69)(cid:70)(cid:89)(cid:81)(cid:70)(cid:83)(cid:85)(cid:84)(cid:13)(cid:85)(cid:73)(cid:74)(cid:84)(cid:74)(cid:84)(cid:85)(cid:73)(cid:70)(cid:224)(cid:83)(cid:84)(cid:85)(cid:85)(cid:70)(cid:89)(cid:85)(cid:67)(cid:80)(cid:80)(cid:76)(cid:80)(cid:79)(cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79)(cid:45)(cid:80)(cid:72)(cid:74)(cid:68)(cid:15) (cid:42)(cid:85) (cid:74)(cid:84) (cid:84)(cid:86)(cid:74)(cid:85)(cid:66)(cid:67)(cid:77)(cid:70) (cid:71)(cid:80)(cid:83) (cid:84)(cid:70)(cid:77)(cid:71)(cid:14)(cid:84)(cid:85)(cid:86)(cid:69)(cid:90) (cid:67)(cid:90) (cid:72)(cid:83)(cid:66)(cid:69)(cid:86)(cid:66)(cid:85)(cid:70)(cid:84) (cid:66)(cid:79)(cid:69) (cid:66)(cid:84) (cid:85)(cid:73)(cid:70) (cid:67)(cid:66)(cid:84)(cid:74)(cid:84) (cid:71)(cid:80)(cid:83) (cid:66) (cid:86)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90) (cid:68)(cid:80)(cid:86)(cid:83)(cid:84)(cid:70)(cid:15) (cid:52)(cid:85)(cid:66)(cid:83)(cid:85)(cid:74)(cid:79)(cid:72)(cid:71)(cid:83)(cid:80)(cid:78)(cid:66)(cid:67)(cid:66)(cid:84)(cid:74)(cid:68)(cid:37)(cid:45)(cid:13)(cid:85)(cid:73)(cid:70)(cid:67)(cid:80)(cid:80)(cid:76)(cid:74)(cid:79)(cid:85)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:70)(cid:84)(cid:85)(cid:73)(cid:70)(cid:83)(cid:70)(cid:66)(cid:69)(cid:70)(cid:83)(cid:85)(cid:80)(cid:74)(cid:85)(cid:84)(cid:84)(cid:90)(cid:79)(cid:85)(cid:66)(cid:89)(cid:13)(cid:84)(cid:70)(cid:78)(cid:66)(cid:79)(cid:85)(cid:74)(cid:68)(cid:84)(cid:13) (cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:74)(cid:79)(cid:72)(cid:81)(cid:83)(cid:80)(cid:67)(cid:77)(cid:70)(cid:78)(cid:84)(cid:66)(cid:79)(cid:69)(cid:78)(cid:80)(cid:69)(cid:70)(cid:77)(cid:85)(cid:73)(cid:70)(cid:80)(cid:83)(cid:90)(cid:13)(cid:66)(cid:79)(cid:69)(cid:69)(cid:74)(cid:84)(cid:68)(cid:86)(cid:84)(cid:84)(cid:70)(cid:84)(cid:85)(cid:73)(cid:70)(cid:68)(cid:80)(cid:78)(cid:81)(cid:86)(cid:85)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:66)(cid:77)(cid:68)(cid:80)(cid:78)(cid:81)(cid:77)(cid:70)(cid:89)(cid:74)(cid:85)(cid:90) (cid:80)(cid:71)(cid:85)(cid:73)(cid:70)(cid:84)(cid:70)(cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:74)(cid:79)(cid:72)(cid:81)(cid:83)(cid:80)(cid:67)(cid:77)(cid:70)(cid:78)(cid:84)(cid:66)(cid:79)(cid:69)(cid:66)(cid:77)(cid:72)(cid:80)(cid:83)(cid:74)(cid:85)(cid:73)(cid:78)(cid:84)(cid:85)(cid:80)(cid:84)(cid:80)(cid:77)(cid:87)(cid:70)(cid:85)(cid:73)(cid:70)(cid:78)(cid:15)(cid:42)(cid:85)(cid:85)(cid:73)(cid:70)(cid:79)(cid:70)(cid:89)(cid:81)(cid:77)(cid:80)(cid:83)(cid:70)(cid:84)(cid:66)(cid:87)(cid:66)(cid:83)(cid:74)(cid:70)(cid:85)(cid:90) (cid:80)(cid:71)(cid:69)(cid:74)(cid:71)(cid:71)(cid:70)(cid:83)(cid:70)(cid:79)(cid:85)(cid:69)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79)(cid:77)(cid:80)(cid:72)(cid:74)(cid:68)(cid:84)(cid:13)(cid:83)(cid:70)(cid:66)(cid:84)(cid:80)(cid:79)(cid:74)(cid:79)(cid:72)(cid:85)(cid:70)(cid:68)(cid:73)(cid:79)(cid:74)(cid:82)(cid:86)(cid:70)(cid:84)(cid:13)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:14)(cid:67)(cid:66)(cid:84)(cid:70)(cid:69)(cid:66)(cid:81)(cid:81)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:84) (cid:66)(cid:79)(cid:69)(cid:85)(cid:80)(cid:80)(cid:77)(cid:84)(cid:13)(cid:66)(cid:79)(cid:69)(cid:69)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:67)(cid:70)(cid:84)(cid:85)(cid:73)(cid:70)(cid:83)(cid:70)(cid:77)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:84)(cid:73)(cid:74)(cid:81)(cid:67)(cid:70)(cid:85)(cid:88)(cid:70)(cid:70)(cid:79)(cid:37)(cid:45)(cid:84)(cid:66)(cid:79)(cid:69)(cid:48)(cid:56)(cid:45)(cid:15) (cid:34)(cid:79) (cid:42)(cid:79)(cid:85)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:85)(cid:74)(cid:80)(cid:79) (cid:85)(cid:80) (cid:37)(cid:70)(cid:84)(cid:68)(cid:83)(cid:74)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79) (cid:45)(cid:80)(cid:72)(cid:74)(cid:68) (cid:39)(cid:51)(cid:34)(cid:47)(cid:59) (cid:35)(cid:34)(cid:34)(cid:37)(cid:38)(cid:51) (cid:53)(cid:70)(cid:68)(cid:73)(cid:79)(cid:74)(cid:84)(cid:68)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:197)(cid:85)(cid:13)(cid:37)(cid:83)(cid:70)(cid:84)(cid:69)(cid:70)(cid:79) (cid:42)(cid:34)(cid:47) (cid:41)(cid:48)(cid:51)(cid:51)(cid:48)(cid:36)(cid:44)(cid:52) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:80)(cid:71)(cid:48)(cid:89)(cid:71)(cid:80)(cid:83)(cid:69) (cid:36)(cid:34)(cid:51)(cid:52)(cid:53)(cid:38)(cid:47) (cid:45)(cid:54)(cid:53)(cid:59) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:197)(cid:85)(cid:35)(cid:83)(cid:70)(cid:78)(cid:70)(cid:79) (cid:54)(cid:45)(cid:42) (cid:52)(cid:34)(cid:53)(cid:53)(cid:45)(cid:38)(cid:51) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:80)(cid:71)(cid:46)(cid:66)(cid:79)(cid:68)(cid:73)(cid:70)(cid:84)(cid:85)(cid:70)(cid:83) (cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:74)(cid:79)(cid:85)(cid:74)(cid:79)(cid:72)(cid:41)(cid:80)(cid:86)(cid:84)(cid:70)(cid:13)(cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:36)(cid:35)(cid:19)(cid:25)(cid:35)(cid:52)(cid:13)(cid:54)(cid:79)(cid:74)(cid:85)(cid:70)(cid:69)(cid:44)(cid:74)(cid:79)(cid:72)(cid:69)(cid:80)(cid:78) (cid:48)(cid:79)(cid:70)(cid:45)(cid:74)(cid:67)(cid:70)(cid:83)(cid:85)(cid:90)(cid:49)(cid:77)(cid:66)(cid:91)(cid:66)(cid:13)(cid:19)(cid:17)(cid:85)(cid:73)(cid:39)(cid:77)(cid:80)(cid:80)(cid:83)(cid:13)(cid:47)(cid:70)(cid:88)(cid:58)(cid:80)(cid:83)(cid:76)(cid:13)(cid:47)(cid:58)(cid:18)(cid:17)(cid:17)(cid:17)(cid:23)(cid:13)(cid:54)(cid:52)(cid:34) (cid:21)(cid:24)(cid:24)(cid:56)(cid:74)(cid:77)(cid:77)(cid:74)(cid:66)(cid:78)(cid:84)(cid:85)(cid:80)(cid:88)(cid:79)(cid:51)(cid:80)(cid:66)(cid:69)(cid:13)(cid:49)(cid:80)(cid:83)(cid:85)(cid:46)(cid:70)(cid:77)(cid:67)(cid:80)(cid:86)(cid:83)(cid:79)(cid:70)(cid:13)(cid:55)(cid:42)(cid:36)(cid:20)(cid:19)(cid:17)(cid:24)(cid:13)(cid:34)(cid:86)(cid:84)(cid:85)(cid:83)(cid:66)(cid:77)(cid:74)(cid:66) (cid:21)(cid:25)(cid:21)(cid:20)(cid:16)(cid:19)(cid:21)(cid:13)(cid:19)(cid:79)(cid:69)(cid:39)(cid:77)(cid:80)(cid:80)(cid:83)(cid:13)(cid:34)(cid:79)(cid:84)(cid:66)(cid:83)(cid:74)(cid:51)(cid:80)(cid:66)(cid:69)(cid:13)(cid:37)(cid:66)(cid:83)(cid:90)(cid:66)(cid:72)(cid:66)(cid:79)(cid:75)(cid:13)(cid:37)(cid:70)(cid:77)(cid:73)(cid:74)(cid:109)(cid:18)(cid:18)(cid:17)(cid:17)(cid:17)(cid:19)(cid:13)(cid:42)(cid:79)(cid:69)(cid:74)(cid:66) (cid:24)(cid:26)(cid:34)(cid:79)(cid:84)(cid:80)(cid:79)(cid:51)(cid:80)(cid:66)(cid:69)(cid:13)(cid:4)(cid:17)(cid:23)(cid:14)(cid:17)(cid:21)(cid:16)(cid:17)(cid:23)(cid:13)(cid:52)(cid:74)(cid:79)(cid:72)(cid:66)(cid:81)(cid:80)(cid:83)(cid:70)(cid:17)(cid:24)(cid:26)(cid:26)(cid:17)(cid:23) (cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:70)(cid:84)(cid:84)(cid:74)(cid:84)(cid:81)(cid:66)(cid:83)(cid:85)(cid:80)(cid:71)(cid:85)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:80)(cid:71)(cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:15) (cid:42)(cid:85)(cid:71)(cid:86)(cid:83)(cid:85)(cid:73)(cid:70)(cid:83)(cid:84)(cid:85)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:8)(cid:84)(cid:78)(cid:74)(cid:84)(cid:84)(cid:74)(cid:80)(cid:79)(cid:67)(cid:90)(cid:69)(cid:74)(cid:84)(cid:84)(cid:70)(cid:78)(cid:74)(cid:79)(cid:66)(cid:85)(cid:74)(cid:79)(cid:72)(cid:76)(cid:79)(cid:80)(cid:88)(cid:77)(cid:70)(cid:69)(cid:72)(cid:70)(cid:74)(cid:79)(cid:85)(cid:73)(cid:70)(cid:81)(cid:86)(cid:83)(cid:84)(cid:86)(cid:74)(cid:85)(cid:80)(cid:71) (cid:70)(cid:69)(cid:86)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:13)(cid:77)(cid:70)(cid:66)(cid:83)(cid:79)(cid:74)(cid:79)(cid:72)(cid:13)(cid:66)(cid:79)(cid:69)(cid:83)(cid:70)(cid:84)(cid:70)(cid:66)(cid:83)(cid:68)(cid:73)(cid:66)(cid:85)(cid:85)(cid:73)(cid:70)(cid:73)(cid:74)(cid:72)(cid:73)(cid:70)(cid:84)(cid:85)(cid:74)(cid:79)(cid:85)(cid:70)(cid:83)(cid:79)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:66)(cid:77)(cid:77)(cid:70)(cid:87)(cid:70)(cid:77)(cid:84)(cid:80)(cid:71)(cid:70)(cid:89)(cid:68)(cid:70)(cid:77)(cid:77)(cid:70)(cid:79)(cid:68)(cid:70)(cid:15) (cid:88)(cid:88)(cid:88)(cid:15)(cid:68)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:15)(cid:80)(cid:83)(cid:72) (cid:42)(cid:79)(cid:71)(cid:80)(cid:83)(cid:78)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:80)(cid:79)(cid:85)(cid:73)(cid:74)(cid:84)(cid:85)(cid:74)(cid:85)(cid:77)(cid:70)(cid:27)(cid:88)(cid:88)(cid:88)(cid:15)(cid:68)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:15)(cid:80)(cid:83)(cid:72)(cid:16)(cid:26)(cid:24)(cid:25)(cid:17)(cid:22)(cid:19)(cid:18)(cid:25)(cid:24)(cid:20)(cid:23)(cid:18)(cid:18) (cid:37)(cid:48)(cid:42)(cid:27)(cid:18)(cid:17)(cid:15)(cid:18)(cid:17)(cid:18)(cid:24)(cid:16)(cid:26)(cid:24)(cid:25)(cid:18)(cid:18)(cid:20)(cid:26)(cid:17)(cid:19)(cid:22)(cid:20)(cid:22)(cid:22) (cid:165)(cid:39)(cid:83)(cid:66)(cid:79)(cid:91)(cid:35)(cid:66)(cid:66)(cid:69)(cid:70)(cid:83)(cid:13)(cid:42)(cid:66)(cid:79)(cid:41)(cid:80)(cid:83)(cid:83)(cid:80)(cid:68)(cid:76)(cid:84)(cid:13)(cid:36)(cid:66)(cid:83)(cid:84)(cid:85)(cid:70)(cid:79)(cid:45)(cid:86)(cid:85)(cid:91)(cid:66)(cid:79)(cid:69)(cid:54)(cid:77)(cid:74)(cid:52)(cid:66)(cid:85)(cid:85)(cid:77)(cid:70)(cid:83)(cid:19)(cid:17)(cid:18)(cid:24) (cid:53)(cid:73)(cid:74)(cid:84)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:74)(cid:84)(cid:74)(cid:79)(cid:68)(cid:80)(cid:81)(cid:90)(cid:83)(cid:74)(cid:72)(cid:73)(cid:85)(cid:15)(cid:52)(cid:86)(cid:67)(cid:75)(cid:70)(cid:68)(cid:85)(cid:85)(cid:80)(cid:84)(cid:85)(cid:66)(cid:85)(cid:86)(cid:85)(cid:80)(cid:83)(cid:90)(cid:70)(cid:89)(cid:68)(cid:70)(cid:81)(cid:85)(cid:74)(cid:80)(cid:79) (cid:66)(cid:79)(cid:69)(cid:85)(cid:80)(cid:85)(cid:73)(cid:70)(cid:81)(cid:83)(cid:80)(cid:87)(cid:74)(cid:84)(cid:74)(cid:80)(cid:79)(cid:84)(cid:80)(cid:71)(cid:83)(cid:70)(cid:77)(cid:70)(cid:87)(cid:66)(cid:79)(cid:85)(cid:68)(cid:80)(cid:77)(cid:77)(cid:70)(cid:68)(cid:85)(cid:74)(cid:87)(cid:70)(cid:77)(cid:74)(cid:68)(cid:70)(cid:79)(cid:84)(cid:74)(cid:79)(cid:72)(cid:66)(cid:72)(cid:83)(cid:70)(cid:70)(cid:78)(cid:70)(cid:79)(cid:85)(cid:84)(cid:13) (cid:79)(cid:80)(cid:83)(cid:70)(cid:81)(cid:83)(cid:80)(cid:69)(cid:86)(cid:68)(cid:85)(cid:74)(cid:80)(cid:79)(cid:80)(cid:71)(cid:66)(cid:79)(cid:90)(cid:81)(cid:66)(cid:83)(cid:85)(cid:78)(cid:66)(cid:90)(cid:85)(cid:66)(cid:76)(cid:70)(cid:81)(cid:77)(cid:66)(cid:68)(cid:70)(cid:88)(cid:74)(cid:85)(cid:73)(cid:80)(cid:86)(cid:85)(cid:85)(cid:73)(cid:70)(cid:88)(cid:83)(cid:74)(cid:85)(cid:85)(cid:70)(cid:79) (cid:81)(cid:70)(cid:83)(cid:78)(cid:74)(cid:84)(cid:84)(cid:74)(cid:80)(cid:79)(cid:80)(cid:71)(cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:70)(cid:84)(cid:84)(cid:15) (cid:39)(cid:74)(cid:83)(cid:84)(cid:85)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:84)(cid:73)(cid:70)(cid:69)(cid:19)(cid:17)(cid:18)(cid:24) (cid:49)(cid:83)(cid:74)(cid:79)(cid:85)(cid:70)(cid:69)(cid:74)(cid:79)(cid:85)(cid:73)(cid:70)(cid:54)(cid:79)(cid:74)(cid:85)(cid:70)(cid:69)(cid:44)(cid:74)(cid:79)(cid:72)(cid:69)(cid:80)(cid:78)(cid:67)(cid:90)(cid:36)(cid:77)(cid:66)(cid:90)(cid:84)(cid:13)(cid:52)(cid:85)(cid:42)(cid:87)(cid:70)(cid:84)(cid:81)(cid:77)(cid:68) (cid:34)(cid:68)(cid:66)(cid:85)(cid:66)(cid:77)(cid:80)(cid:72)(cid:86)(cid:70)(cid:83)(cid:70)(cid:68)(cid:80)(cid:83)(cid:69)(cid:71)(cid:80)(cid:83)(cid:85)(cid:73)(cid:74)(cid:84)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79)(cid:74)(cid:84)(cid:66)(cid:87)(cid:66)(cid:74)(cid:77)(cid:66)(cid:67)(cid:77)(cid:70)(cid:71)(cid:83)(cid:80)(cid:78)(cid:85)(cid:73)(cid:70)(cid:35)(cid:83)(cid:74)(cid:85)(cid:74)(cid:84)(cid:73)(cid:45)(cid:74)(cid:67)(cid:83)(cid:66)(cid:83)(cid:90)(cid:15) (cid:42)(cid:52)(cid:35)(cid:47)(cid:26)(cid:24)(cid:25)(cid:14)(cid:17)(cid:14)(cid:22)(cid:19)(cid:18)(cid:14)(cid:25)(cid:24)(cid:20)(cid:23)(cid:18)(cid:14)(cid:18)(cid:41)(cid:66)(cid:83)(cid:69)(cid:67)(cid:66)(cid:68)(cid:76) (cid:42)(cid:52)(cid:35)(cid:47)(cid:26)(cid:24)(cid:25)(cid:14)(cid:17)(cid:14)(cid:22)(cid:19)(cid:18)(cid:14)(cid:23)(cid:26)(cid:22)(cid:21)(cid:19)(cid:14)(cid:25)(cid:49)(cid:66)(cid:81)(cid:70)(cid:83)(cid:67)(cid:66)(cid:68)(cid:76) (cid:36)(cid:66)(cid:78)(cid:67)(cid:83)(cid:74)(cid:69)(cid:72)(cid:70)(cid:54)(cid:79)(cid:74)(cid:87)(cid:70)(cid:83)(cid:84)(cid:74)(cid:85)(cid:90)(cid:49)(cid:83)(cid:70)(cid:84)(cid:84)(cid:73)(cid:66)(cid:84)(cid:79)(cid:80)(cid:83)(cid:70)(cid:84)(cid:81)(cid:80)(cid:79)(cid:84)(cid:74)(cid:67)(cid:74)(cid:77)(cid:74)(cid:85)(cid:90)(cid:71)(cid:80)(cid:83)(cid:85)(cid:73)(cid:70)(cid:81)(cid:70)(cid:83)(cid:84)(cid:74)(cid:84)(cid:85)(cid:70)(cid:79)(cid:68)(cid:70)(cid:80)(cid:83)(cid:66)(cid:68)(cid:68)(cid:86)(cid:83)(cid:66)(cid:68)(cid:90) (cid:80)(cid:71)(cid:54)(cid:51)(cid:45)(cid:84)(cid:71)(cid:80)(cid:83)(cid:70)(cid:89)(cid:85)(cid:70)(cid:83)(cid:79)(cid:66)(cid:77)(cid:80)(cid:83)(cid:85)(cid:73)(cid:74)(cid:83)(cid:69)(cid:14)(cid:81)(cid:66)(cid:83)(cid:85)(cid:90)(cid:42)(cid:79)(cid:85)(cid:70)(cid:83)(cid:79)(cid:70)(cid:85)(cid:56)(cid:70)(cid:67)(cid:84)(cid:74)(cid:85)(cid:70)(cid:84)(cid:83)(cid:70)(cid:71)(cid:70)(cid:83)(cid:83)(cid:70)(cid:69)(cid:85)(cid:80)(cid:74)(cid:79)(cid:85)(cid:73)(cid:74)(cid:84)(cid:81)(cid:86)(cid:67)(cid:77)(cid:74)(cid:68)(cid:66)(cid:85)(cid:74)(cid:80)(cid:79) (cid:66)(cid:79)(cid:69)(cid:69)(cid:80)(cid:70)(cid:84)(cid:79)(cid:80)(cid:85)(cid:72)(cid:86)(cid:66)(cid:83)(cid:66)(cid:79)(cid:85)(cid:70)(cid:70)(cid:85)(cid:73)(cid:66)(cid:85)(cid:66)(cid:79)(cid:90)(cid:68)(cid:80)(cid:79)(cid:85)(cid:70)(cid:79)(cid:85)(cid:80)(cid:79)(cid:84)(cid:86)(cid:68)(cid:73)(cid:56)(cid:70)(cid:67)(cid:84)(cid:74)(cid:85)(cid:70)(cid:84)(cid:74)(cid:84)(cid:13)(cid:80)(cid:83)(cid:88)(cid:74)(cid:77)(cid:77)(cid:83)(cid:70)(cid:78)(cid:66)(cid:74)(cid:79)(cid:13) (cid:66)(cid:68)(cid:68)(cid:86)(cid:83)(cid:66)(cid:85)(cid:70)(cid:80)(cid:83)(cid:66)(cid:81)(cid:81)(cid:83)(cid:80)(cid:81)(cid:83)(cid:74)(cid:66)(cid:85)(cid:70)(cid:15) Contents 1 Introduction page 1 1.1 What are DLs and where do they come from? 1 1.2 What are they good for and how are they used? 3 1.3 A brief history of description logic 4 1.4 How to use this book 7 2 A Basic Description Logic 10 2.1 The concept language of the DL ALC 10 2.2 ALC knowledge bases 16 2.2.1 ALC TBoxes 17 2.2.2 ALC ABoxes 19 2.2.3 Restricted TBoxes and concept definitions 23 2.3 Basic reasoning problems and services 28 2.4 Using reasoning services 36 2.5 Extensions of the basic DL ALC 37 2.5.1 Inverse roles 37 2.5.2 Number restrictions 39 2.5.3 Nominals 41 2.5.4 Role hierarchies 42 2.5.5 Transitive roles 42 2.6 DLs and other logics 44 2.6.1 DLs as decidable fragments of first-order logic 44 2.6.2 DLs as cousins of modal logic 46 2.7 Historical context and literature review 48 3 A Little Bit of Model Theory 50 3.1 Bisimulation 51 3.2 Expressive power 53 3.3 Closure under disjoint union 55 v vi Contents 3.4 Finite model property 57 3.5 Tree model property 63 3.6 Historical context and literature review 67 4 Reasoning in DLs with Tableau Algorithms 69 4.1 Tableau basics 70 4.2 A tableau algorithm for ALC 71 4.2.1 ABox consistency 72 4.2.2 Acyclic knowledge base consistency 82 4.2.3 General knowledge base consistency 83 4.3 A tableau algorithm for ALCIN 90 4.3.1 Inverse roles 90 4.3.2 Number restrictions 93 4.3.3 Combininginverserolesandnumberrestrictions 97 4.4 Some implementation issues 101 4.4.1 Or-branching 101 4.4.2 And-branching 103 4.4.3 Classification 104 4.5 Historical context and literature review 104 5 Complexity 106 5.1 Concept satisfiability in ALC 107 5.1.1 Acyclic TBoxes and no TBoxes 108 5.1.2 General TBoxes 117 5.2 Concept satisfiability beyond ALC 123 5.2.1 ALC with inverse roles and nominals 123 5.2.2 Further adding number restrictions 125 5.3 Undecidable extensions of ALC 130 5.3.1 Role value maps 130 5.3.2 Concrete domains 134 5.4 Historical context and literature review 137 6 Reasoning in the EL Family of Description Logics 140 6.1 Subsumption in EL 141 6.1.1 Normalisation 142 6.1.2 The classification procedure 147 6.2 Subsumption in ELI 151 6.2.1 Normalisation 151 6.2.2 The classification procedure 152 6.3 Comparing the two subsumption algorithms 159 6.3.1 Comparing the classification rules 159 6.3.2 A more abstract point of view 162 Contents vii 6.4 Historical context and literature review 165 7 Query Answering 168 7.1 Conjunctive queries and FO queries 169 7.2 FO-rewritability and DL-Lite 174 7.2.1 Introducing DL-Lite 175 7.2.2 Universal models 180 7.2.3 FO-rewritability in DL-Lite 184 7.3 Datalog-rewritability in EL and ELI 192 7.3.1 Fundamentals of Datalog 193 7.3.2 Datalog-rewritings in ELI 195 7.3.3 Short Datalog-rewritings in EL 198 7.4 Complexity aspects 199 7.5 Historical context and literature review 202 8 Ontology Languages and Applications 205 8.1 The OWL ontology language 206 8.1.1 OWL and RDF 206 8.1.2 OWL and SROIQ 209 8.1.3 OWL ontologies 213 8.1.4 Non-DL features 217 8.1.5 OWL profiles 222 8.2 OWL tools and applications 223 8.2.1 The OWL API 223 8.2.2 OWL reasoners 224 8.2.3 Ontology engineering tools 224 8.2.4 OWL applications 225 Appendix:Description Logic Terminology 228 A.1 Syntax and semantics of concept and role constructors228 A.2 Syntax and semantics of knowledge bases 230 A.3 Naming schemes for description logics 231 References 234 Index 252 1 Introduction Thisis, to the bestofourknowledge,the firsttextbookdedicatedsolely to Description Logic (DL), a very active research area in logic-based knowledgerepresentationandreasoningthatgoesbacktothelate1980s and that has a wide range of applications in knowledge-intensive infor- mation systems. In this introductory chapter we will sketch what DLs are, how they are used and where they come from historically. We will also explain how to use this book. 1.1 What are DLs and where do they come from? Description logics (DLs) are a family of knowledge representation lan- guagesthatcanbeusedtorepresentknowledgeofanapplicationdomain in a structured and well-understood way.1 The name description logics is motivated by the fact that, on the one hand, the important notions of the domain are represented by concept descriptions, i.e., expressions thatarebuilt fromatomicconcepts(unary predicates)andatomicroles (binary predicates)using the concept and roleconstructorsprovidedby the particular DL; on the other hand, DLs differ from their predeces- sors, such as semantic networks and frames, in that they are equipped with a logic-based semantics which, up to some differences in notation, is actually the same semantics as that of classical first-order logic. Descriptionlogicstypicallyseparatedomainknowledgeintotwocom- ponents, a terminological part called the TBox and an assertional part called the ABox, with the combination of a TBox and an ABox being calledaknowledgebase (KB).TheTBoxrepresentsknowledgeaboutthe structureofthe domain(similarto a databaseschema), while the ABox represents knowledge about a concrete situation (similar to a database 1 Note that we use Description Logic (singular) to refer to the research area, and description logics (plural)torefertotherelevantlogicalformalisms. 1

See more

The list of books you might like

Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
DMCA & Copyright: Dear all, most of the website is community built, users are uploading hundred of books everyday, which makes really hard for us to identify copyrighted material, please contact us if you want any material removed.
Copyright @ PDFdrive.to, 2022 | We love our users