Semantiskā WEB seminārs VIII

Datums2005-11-02
Laiks18:30-19:45
VietaLU MII 414. auditorija
DalībniekiDaiga Balode, Kalvis Apsītis, Mārtiņš Linde, Renārs Kudiņš, Viesturs Zariņš

Pirmā daļa
DL un OWL /Renārs Kudiņš/.

Prezentācijas sākumā tiek sniegts DL vispārējs pārskats - DL mērķi, koncepti, indivīdi, operatori, aksiomas, instances u.c. Deskriptīvās loģikas un predikātu loģikas atšķirības.
OWL un deskriptīvā loģika, klašu konstruktori, OWL aksiomas, spriešana.
Tableaux algoritms konsistences uzdevumu risināšanā.
Izraisās diskusija par Tableaux agoritma universālumu. Kā arī noskaidrojas dažas lietas:
- viens no DL standartuzdevumiem ir konsistences uzdevumu risināšana
- kāpēc Seminārā IV aplūkotais piemērs par koala lāčiem atrod tieši tos apgalvojumus, kas ir nepatiesi.
Kā arī rodas dažas idejas. Piemēram - uzbūvēt pretpiemērus klasiskajiem ontoloģiju "apstrādes veidiem" (bloķēšana, konjunkciju izslēgšana, kvantoru izslēgšana u.c.) un pārbaudīt šos piemērus ar klasiskajiem ontoloģiju pastrādes rīkiem (RACER, PALLET u.c.).

Otrā daļa-
"Ontoloģiju čakarēšanas topiks" (Kalvis Apsītis, Renārs Kudiņš)

"Topiks" radies pa ceļam uz semināru.

(1)
<SubClassOf> 
	<Restriction>
			<onProp = P1>
			<allValues = C1>
[..]
<SubClassOf> 
	<Restriction>
			<onProp = P1>
			<allValues = C2>
[..]

t.i., iespējama situācija, kad pie vienādiem nosacījumiem izpildās gan (tikai) C1, gan (tikai) C2. Ir vēlme pārveidot šādas ontoloģijas formā
(2)
<SubClassOf> 
	<Restriction>
			<onProp = P1>
			<allValues>
			<class>
			<unionOf>
			<C1>
			<C2>
[..]

Tātad, nepieciešams veikt pārveidojumu (1) -> (2).
Iespējas:
I DOM freimvorkā ar SPARQL atrast visus (1) un pārveidot tos par (2);
II izmantot XSLT transformāciju.
Otrā iespēja ir mazāk efektīva, jo ne vienmēr visi (1) būs uzarkstīti korekti.
Secinājums - II iespēja ir vienkāršāk realizējama, taču I būs korektāka un universālāka.


Preview: Semantiskā WEB seminārs IX

Datums2005-11-09
Laiks18:30-20:00
VietaLU MII 414. auditorija
Pieteiktās prezentācijas
TēmaAutors
ontoloģiju integrācijas (apvienošanas) iespējas: savietojamība un refaktorizācija Mārtiņš Linde
dažādi :)visi