Èñòîðèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé
Êàçåêèí Ìèõàèë Ìèõàéëîâè÷
ÈÑÒÎÐÈß ßÇÛÊΠÏÐÅÄÑÒÀÂËÅÍÈß ÎÍÒÎËÎÃÈÉ Àííîòàöèÿ  ñòàòüå ïðåäñòàâëåíà èñòîðèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé. Àâòîð îïèñûâàåò îñíîâíûå ýòàïû ýâîëþöèè, äàåò êðàòêóþ õàðàêòåðèñòèêó è îáçîð îñíîâíûõ ñâîéñòâ ÿçûêîâ. Òàêæå â ñòàòüå ïðåäñòàâëåíû íåêîòîðûå ïðîãðàììíûå èíñòðóìåíòû, ñ ïîìîùüþ êîòîðûõ ìîæíî îñóùåñòâëÿòü ðåäàêòèðîâàíèå îíòîëîãèé, çàïèñàííûõ ïîñðåäñòâîì îäíîãî èç ÿçûêîâ.
ÂÂÅÄÅÍÈÅ
Êàê ïîíÿòèå â îáëàñòè èñêóññòâåííîãî èíòåëëåêòà (ÈÈ) îíòîëîãèÿ âîçíèêàåò â íà÷àëå 90-õ ãîäîâ â ðàáîòàõ ñïåöèàëèñòîâ ïî èíæåíåðèè çíàíèé. Îäíî èç ïåðâûõ îïðåäåëåíèé, êîòîðîå áûëî äàíî ýòîìó ïîíÿòèþ, áûëî ïðåäëîæåíî â ðàáîòå Ò. Ãðóáåðà [1]. Îíî çâó÷èò òàê: «Îíòîëîãèÿ ýòî ÿâíàÿ ñïåöèôèêàöèÿ êîíöåïòóàëèçàöèè»1. Òàêèì îáðàçîì, îíòîëîãèÿ ýòî ôîðìàëüíîå îïèñàíèå íåêîòîðîé êîíöåïòóàëüíîé ìîäåëè ïðåäìåòíîé îáëàñòè â ÿâíîì âèäå2. Ìû ïðèâåäåì åùå íåñêîëüêî îïðåäåëåíèé: 1) Îíòîëîãèÿ ó÷åíèå î áûòèå, â êîòîðîì èññëåäóþòñÿ âñåîáùèå îñíîâû, ïðèíöèïû áûòèÿ, åãî ñòðóêòóðà è çàêîíîìåðíîñòè (Ôèëîñîôèÿ). 2) Îíòîëîãèÿ ñèñòåìà ïîíÿòèé, èñïîëüçóåìûõ â êà÷åñòâå ñòðîèòåëüíûõ áëîêîâ ïðè ïîñòðîåíèè ñèñòåì îáðàáîòêè èíôîðìàöèè (Ñèñòåìû, îñíîâàííûå íà çíàíèÿõ) [2]. 1 2 3
3) Îíòîëîãèÿ ñîãëàøåíèå3 (êîíòðàêò, äîãîâîð) î ðàçäåëÿåìûõ (shared) êîíöåïòóàëüíûõ ìîäåëÿõ [1]. Ïðèìåðàìè òàêèõ ìîäåëåé ìîãóò áûòü êîíöåïòóàëüíûå ðåøåíèÿ (framework) äëÿ ìîäåëèðîâàíèÿ çíàíèé ïðåäìåòíîé îáëàñòè, ñïåöèàëüíûå ïðîòîêîëû äëÿ êîììóíèêàöèè ìåæäó âçàèìîäåéñòâóþùèìè àãåíòàìè, ñîãëàøåíèÿ î ïðåäñòàâëåíèè êîíêðåòíûõ òåîðèé â ðàçëè÷íûõ ïðåäìåòíûõ îáëàñòÿõ.  ñàìûõ ïðîñòûõ ñëó÷àÿõ ýòî ìîæåò áûòü èåðàðõèÿ òèïîâ, îïðåäåëÿþùàÿ êëàññû è îòíîøåíèÿ âêëþ÷åíèÿ ìåæäó íèìè. Ñõåìû ðåëÿöèîííûõ áàç äàííûõ òîæå ìîãóò ÿâëÿòüñÿ ïðîñòåéøèì ïðèìåðîì îíòîëîãèé, òàê êàê îíè îïðåäåëÿþò îòíîøåíèÿ ìåæäó ïîíÿòèÿìè, êîòîðûå ñóùåñòâóþò â íåêîòîðîé ðàçäåëÿåìîé áàçå äàííûõ, è îãðàíè÷åíèÿ öåëîñòíîñòè, êîòîðûå äîëæíû âûïîëíÿòüñÿ äëÿ ýòîé áàçû äàííûõ. Çàìåòèì, ÷òî ïðèâåäåííûå âûøå îïðåäåëåíèÿ íå êîíñòðóêòèâíû: îíè íå îïðåäåëÿþò íè ìåòîäîâ (ìåòîäîëîãèé), íè ìåõà-
Ontology is an explicit specification of conceptualization. Òî åñòü, â âèäå, èñêëþ÷àþùåì íåÿâíóþ, ïîäðàçóìåâàåìóþ, íî íå ïðåäñòàâëåííóþ èíôîðìàöèþ. Agreement.
© Ì.Ì. Êàçåêèí, 2008 ÈÍÔÎÐÌÀÒÈÊÀ
3
Êàçåêèí Ì.Ì.
íèçìîâ (êîíñòðóêöèé) äëÿ ïîñòðîåíèÿ îíòîëîãèé. Ïîýòîìó ìû äàäèì áîëåå êîíñòðóêòèâíîå îïðåäåëåíèå îíòîëîãèè, êîòîðîå óñòîÿëîñü â ñîîáùåñòâå ñïåöèàëèñòîâ ïî ÈÈ: 4) Îíòîëîãèÿ ñèñòåìà, ñîñòîÿùàÿ èç ïîíÿòèé1, îòíîøåíèé ìåæäó íèìè2 è àêñèîì äëÿ ôîðìàëèçàöèè ïîíÿòèé è îòíîøåíèé [2].  ñîîòâåòñòâèè ñ 4) ìîæíî äàòü ñëåäóþùåå îïðåäåëåíèå ÿçûêà ïðåäñòàâëåíèÿ îíòîëîãèé: ýòî íåêàÿ ôîðìàëüíàÿ (ñòðóêòóðèðîâàííàÿ) ñèñòåìà äëÿ âûðàæåíèÿ óòâåðæäåíèé î ïîíÿòèÿõ, îòíîøåíèÿõ ìåæäó íèìè è àêñèîì äëÿ ôîðìàëèçàöèè âûøåóïîìÿíóòûõ ñóùíîñòåé. 1. ÈÑÒÎÐÈ×ÅÑÊÀß ÄÈÀÃÐÀÌÌÀ
Èñòîðèÿ ðàçâèòèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé (ñì. èñòîðè÷åñêóþ äèàãðàììó íà ðèñ. 1) ïîêàçûâàåò3, ÷òî ñîçäàâàåìûå ÿçûêè âñå áîëüøå ñîîòâåòñòâîâàëè îïðåäåëåíèþ 4), ôèêñèðóÿ îñíîâíûå êàòåãîðèè ðàññìàòðèâàåìûõ ñóùíîñòåé (ïîíÿòèÿ, îòíîøåíèÿ, ñâîéñòâà) è ïðåäîñòàâëÿÿ âñå áîëåå ìîùíûå, ÷åòêèå è «òîíêèå» êîíñòðóêöèè äëÿ êîíöåïòóàëèçàöèè ïðåäìåòíîé îáëàñòè. Âìåñòå ñ òåì áûëà ñîõðàíåíà ôîðìàëüíîñòü ïðåäñòàâëåíèÿ è îáåñïå÷åíà âîçìîæíîñòü ëîãè÷åñêîãî âûâîäà (reasoning support).  öåëîì ðàçâèòèå ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé ìîæíî ïðåäñòàâèòü êàê ïåðåõîä îò ôîðìû ê ñîäåðæàíèþ4 [2]. Ïîä ýòèì ïåðåõîäîì ïîíèìàåòñÿ êîíöåíòðàöèÿ òåîðåòè÷åñêèõ è ïðàêòè÷åñêèõ óñèëèé íå íà ôîð-
ìàëüíûõ ìåõàíèçìàõ ïðåäñòàâëåíèÿ çíàíèé, à íà àäåêâàòíîñòè ïðåäñòàâëåíèÿ çíàíèé íàáëþäàåìîé ñòðóêòóðå ïðåäìåòíîé îáëàñòè è ÷åòêîé ôèêñàöèè ñîçäàâàåìîãî ïðåäñòàâëåíèÿ. Ó÷èòûâàÿ, ÷òî öåëüþ ñîçäàíèÿ îíòîëîãèè ÿâëÿåòñÿ ñòðåìëåíèå ê ñîçäàíèþ ðàçäåëÿåìûõ ìîäåëåé çíàíèé [1], ïåðåõîä ïîëíîñòüþ ñîîòâåòñòâóåò îïðåäåëåíèþ «îíòîëîãèÿ», âçÿòîìó èç ôèëîñîôèè (ðèñ. 1). 2. ßÇÛÊÈ ÏÐÅÄÑÒÀÂËÅÍÈß ÎÍÒÎËÎÃÈÉ LISP-ÏÎÄÎÁÍÛÅ ßÇÛÊÈ
 ýòîì ðàçäåëå ðàññìîòðåíû äâà ÿçûêà ïðåäñòàâëåíèÿ çíàíèé: KIF è Ontolingua. Îáà ÿçûêà áûëè ðàçðàáîòàíû Knowledge Systems Laboratory (KSL) îòäåëåíèÿ èíôîðìàòèêè Ñòýíäôîðäñêîãî Óíèâåðñèòåòà. Èñòîðè÷åñêè ñëîæèëîñü òàê, ÷òî ñíà÷àëà ïîÿâèëèñü LISP-ïîäîáíûå ÿçûêè, à ïîòîì, ïîñëå ïîÿâëåíèÿ XML, ïðîèçîøåë ïåðåõîä îò LISP-ïîäîáíîãî ïðåäñòàâëåíèÿ ê ïðåäñòàâëåíèþ â ôîðìàòå XML. Îäíèì èç íåäîñòàòêîâ KIF è ïîñòðîåííîãî íà åãî îñíîâå Ontolingua ÿâëÿåòñÿ îãðîìíàÿ âûðàçèòåëüíàÿ ìîùü áåç ïðåäîñòàâëåíèÿ êàêèõ-ëèáî ñðåäñòâ äëÿ óïðàâëåíèÿ ýòîé ìîùüþ. Ýòî îñíîâíàÿ ïðè÷èíà, ïî÷åìó äëÿ Ontolingua òàê è íå áûëî ðåàëèçîâàíî íè îäíîãî ìåõàíèçìà âûâîäà.
• KIF KIF [3] êîìïüþòåðíûé ÿçûê, êîòîðûé ïðåäíàçíà÷åí äëÿ îáìåíà çíàíèÿìè ìåæäó ðàçëè÷íûìè ïðîãðàììàìè. Ñîçäàòåëÿìè íå ïðåäïîëàãàëîñü, ÷òî KIF áóäóò èñïîëüçîâàòü ïðè âçàèìîäåéñòâèè ëþäåé ñ êîìïüþòåðàìè. Ñîçäàòåëè ÿçûêà ïîä÷åðêèâàþò, ÷òî íå ïðåäïîëàãàåòñÿ òàêæå åãî èñïîëüçîâàíèå Ðèñ. 1. Èñòîðèÿ ðàçâèòèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé äëÿ âíóòðåííåãî ïðåä(ñòðåëî÷êàìè îòìå÷åíî âëèÿíèå ÿçûêîâ) ñòàâëåíèÿ çíàíèé â ïðå1 2 3 4
4
×àñòî ïðåäñòàâëÿþùàÿ ñîáîé èåðàðõè÷åñêóþ (îòíîøåíèå «is-a») îðãàíèçàöèþ ïîíÿòèé. Âäîáàâîê ê îòíîøåíèþ «is-a» òàêæå ÷àñòî ðàññìàòðèâàåòñÿ «part-of» îòíîøåíèå. Ýòîìó âûâîäó áóäåò ïîñâÿùåíà îñíîâíàÿ ÷àñòü ðàáîòû. Ñëîâó «ñîäåðæàíèå» ñîîòâåòñòâóåò àíãëîÿçû÷íîå ñëîâî «content».
ÊÎÌÏÜÞÒÅÐÍÛÅ ÈÍÑÒÐÓÌÅÍÒÛ Â ÎÁÐÀÇÎÂÀÍÈÈ. ¹ 4, 2008 ã.
Èñòîðèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé
äåëàõ îäíîé ïðîãðàììû, õîòÿ îí òàêæå ìîæåò áûòü èñïîëüçîâàí è äëÿ ýòèõ öåëåé. Òî åñòü, ôàêòè÷åñêè, ñîçäàòåëÿìè KIF äåêëàðèðóåòñÿ, ÷òî ýòîò ÿçûê ÿâëÿåòñÿ ÿçûêîìïîñðåäíèêîì (interlingua) ìåæäó ïðîãðàììíûìè àãåíòàìè. • Ontolingua Ontolingua [4] ïîçèöèîíèðóåòñÿ ñîçäàòåëÿìè êàê ÿçûê-ïîñðåäíèê (interlingua) äëÿ ïðåäñòàâëåíèÿ îíòîëîãèé, ðàçðàáîòàííûé ëàáîðàòîðèåé KSL Ñòýíäôîðäñêîãî óíèâåðñèòåòà. Ontolingua ÿâëÿåòñÿ ðàñøèðåíèåì ÿçûêà KIF, â êîòîðûé áûëè äîáàâëåíû ôðåéìîâûå êîíñòðóêöèè (â ñîîòâåòñòâèè ñî ñòàíäàðòîì OKBC (Open Knowledge Base Connectivity)) è ìåõàíèçìû ïåðåâîäà â KIF. Ontolingua ìîæåò áûòü êîíâåðòèðîâàí â íåêîòîðûå ÿçûêè äåñêðèïòèâíîé ëîãèêè (Description Logics, DL), òàêèå êàê Loom, Epikit è äð. Ontolingua ñàì ïî ñåáå íå ïðåäîñòàâëÿåò âîçìîæíîñòè ëîãè÷åñêîãî âûâîäà. Âïîñëåäñòâèè ëàáîðàòîðèåé KSL áûëà ðàçðàáîòàíà ïðîãðàììíàÿ ñðåäà (â âèäå âåáèíòåðôåéñà), êîòîðàÿ ïîçâîëÿåò ïðîñìàòðèâàòü, ñîçäàâàòü, ðåäàêòèðîâàòü îíòîëîãèè, è áèáëèîòåêà ìîäóëüíûõ è ïðåäíàçíà÷åííûõ äëÿ ïîâòîðíîãî èñïîëüçîâàíèÿ îíòîëîãèé. XML-ÏÎÄÎÁÍÛÅ ßÇÛÊÈ
Êëþ÷åâûå ìîìåíòû ðàçâèòèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé íà îñíîâå XML òàêîâû: 1. Ïîÿâëÿåòñÿ ÿçûê RDF [5, 6, 7], îñíîâàííûé íà XML. RDF âûðàæàåò òðèïëåòíóþ ìîäåëü Subject Predicate Object (Resource Property Property Value)1. 2. Ïîÿâëÿåòñÿ RDF Schema [8], êîòîðàÿ ÿâëÿåòñÿ ñëîâàðåì, ñîäåðæàùèì òåðìèíû äëÿ îïèñàíèÿ è ðàñøèðåíèÿ RDF. 3. Ðàçðàáàòûâàåòñÿ XOL [9], ÿçûê, ñîâìåñòèìûé ñ OKBC è ïðåäëàãàþùèé ôðåéìîâûé ïîäõîä ê ïðåäñòàâëåíèþ çíàíèé. 4. Ðàçðàáàòûâàåòñÿ OIL (Ontology Inference Layer) [10], êîòîðûé ïîñòðîåí íà îñíîâå XOL è RDF Schema, à òàêæå
èñïîëüçóåò ýëåìåíòû äåñêðèïòèâíîé ëîãèêè (Description Logics), êîòîðûå ïðèçâàíû îáåñïå÷èòü ôîðìàëüíóþ ñåìàíòèêó è ïîääåðæêó ëîãè÷åñêîãî âûâîäà (reasoning support). 5. Íà îñíîâå OIL ãðóïïîé ïðîåêòà DAML îðãàíèçàöèè DARPA ñîçäàåòñÿ ÿçûê ñåìàíòè÷åñêîé ðàçìåòêè DAML + OIL [11]2, êîòîðûé âïîñëåäñòâèè ñòàë äîñòóïåí êàê íàáîð äîêóìåíòîâ, îïóáëèêîâàííûõ êîíñîðöèóìîì W3C. Ýòîò ÿçûê îáåñïå÷èâàåò íàìíîãî áîëåå «òîíêîå» ìîäåëèðîâàíèå, ÷åì RDF. Òàêæå àááðåâèàòóðîé DAML îáîçíà÷àåòñÿ íàáîð (áèáëèîòåêà) îíòîëîãèé, íàñ÷èòûâàþùèé áîëåå 250 ýêçåìïëÿðîâ. 6. Îäíîé èç ïîñëåäíèõ èíèöèàòèâ W3C, êîòîðàÿ çàâåðøàåò îáçîð ÿçûêîâ, îñíîâàííûõ íà XML, ÿâëÿåòñÿ OWL (Web Ontology Language) [12], íàöåëåííàÿ íà èñïîëüçîâàíèå â ïðîåêòå Semantic Web. OWL ÿâëÿåòñÿ ïåðåðàáîòàííîé âåðñèåé DAML + OIL, â êîòîðîé áûëè ó÷òåíû ðàçëè÷íûå ïîòðåáíîñòè, ïðåäúÿâëÿåìûå ê ìîùíîñòè ÿçûêà ìîäåëèðîâàíèÿ. • RDF & RDF Schema RDF ïðåäñòàâëÿåò ñîáîé òåõíîëîãè÷åñêîå ðåøåíèå (framework) äëÿ ïðåäñòàâëåíèÿ èíôîðìàöèè â World Wide Web. Ëþáîå âûðàæåíèå RDF îñíîâàíî íà êîëëåêöèè òàê íàçûâàåìûõ òðèïëåòîâ, êàæäûé èç êîòîðûõ ñîñòîèò èç ñóáúåêòà (subject), ïðåäèêàòà (predicate) è îáúåêòà (object), ÷òî ìîæåò áûòü èçîáðàæåíî ãðàôè÷åñêè ñëåäóþùèì îáðàçîì (ðèñ. 2). Êàæäûé òðèïëåò ïðåäñòàâëÿåò ñîáîé óòâåðæäåíèå î ñâÿçè ìåæäó ïîíÿòèÿìè (ñóáüåêò è îáúåêò), îáîçíà÷åííûìè êàê óçëû, êîòîðûå ýòà ñâÿçü ñîåäèíÿåò. Íàïðàâëåíèå ñâÿçè âàæíî: îíî âñåãäà óêàçûâàåò íà îáúåêò.
Ðèñ. 2
1
Òàêæå ìîæíî âñòðåòèòü íàçâàíèå «Subject-Verb-Object» (SVO) Ïîäëåæàùåå Ñêàçóåìîå Äîïîëíåíèå. 2 Íå ïðèñóòñòâóåò íà äèàãðàììå èç-çà ñõîæåñòè ñ ïðÿìûì ïîòîìêîì OWL.
ÈÍÔÎÐÌÀÒÈÊÀ
5
Êàçåêèí Ì.Ì.
Òàêèì îáðàçîì, RDF-ãðàô îáðàçóåò ñåìàíòè÷åñêóþ ñåòü. Çíà÷åíèåì RDF-ãðàôà ÿâëÿåòñÿ ëîãè÷åñêîå «È» âñåõ óòâåðæäåíèéòðèïëåòîâ, ôîðìèðóþùèõ ýòîò ãðàô. Òàêèì îáðàçîì, RDF ïðåäîñòàâëÿåò ìîäåëü (framework) äëÿ àííîòàöèè ðåñóðñîâ Ñåòè ïðè ïîìîùè XML-ñèíòàêñèñà è òðèïëåòíîé ìîäåëè (Subject, Predicate, Object), êîòîðàÿ èìååò íàãëÿäíîå ãðàôè÷åñêîå ïðåäñòàâëåíèå (îðèåíòèðîâàííûé ðàçìå÷åííûé ãðàô). RDF Schema ÿâëÿåòñÿ ÿçûêîì îïèñàíèÿ ïîëüçîâàòåëüñêèõ ñëîâàðåé (íàáîðîâ ïîíÿòèé) ïðè ïîìîùè ñòàíäàðòèçèðîâàííîãî íàáîðà òåãîâ â ôîðìàòå RDF-òðèïëåòîâ, êîòîðûé è ñîñòàâëÿåò îñíîâó RDF Schema. Äëÿ ïðîñòîòû ìîæíî ñ÷èòàòü, ÷òî RDF Schema ïðåäîñòàâëÿåò ñèñòåìó òèïîâ äëÿ RDF. Ñàì ïî ñåáå RDF íå ïðåäîñòàâëÿåò íèêàêèõ ìåõàíèçìîâ íè äëÿ îïèñàíèÿ ñâîéñòâ, íè äëÿ îïèñàíèÿ îòíîøåíèé ìåæäó ýòèìè ñâîéñòâàìè è äðóãèìè ðåñóðñàìè. Ýòó ðîëü èãðàåò RDF Schema, êîòîðûé îïðåäåëÿåò ïîíÿòèÿ «êëàññ», «ñâîéñòâî» è íåêîòîðûå äðóãèå, ïîçâîëÿþùèå îïèñûâàòü êëàññû, ñâîéñòâà è äðóãèå ðåñóðñû. • XOL ßçûê XOL (XML-based ontology exchange language) ïðåäíàçíà÷åí äëÿ îáìåíà îïèñàíèÿìè îíòîëîãèé ìåæäó ðàçëè÷íûìè àãåíòàìè. XOL áûë îäíèì èç ïåðâûõ XML-ÿçûêîâ, ïðåäíàçíà÷åííûõ äëÿ ïðåäñòàâëåíèÿ îíòîëîãèé. XOL ïðåäîñòàâëÿåò ïðîñòîé è íàãëÿäíûé XML-ôîðìàò äëÿ ôðåéìîâîãî ïðåäñòàâëåíèÿ â ñîîòâåòñòâèè ñî ñòàíäàðòîì OKBC äëÿ ðàçðàáîòêè ôðåéìîâûõ ñèñòåì ïðåäñòàâëåíèÿ çíàíèé. • OIL Ontology Inference Layer [3] ýòî ÿçûê ïðåäñòàâëåíèÿ îíòîëîãèé, êîòîðûé ñî÷åòàåò â ñåáå: à) øèðîêî èñïîëüçóåìûé íàáîð ïðèìèòèâîâ, çàèìñòâîâàííûé èç ôðåéìîâûõ ÿçûêîâ ïðåäñòàâëåíèÿ çíàíèé (â îñíîâå ÿçûêà ëåæèò XOL), á) ôîðìàëüíóþ ñåìàíòèêó è ìåõàíèçì âûâîäà â ðàìêàõ äåñêðèïòèâíîé ëîãèêè (Description Logics, DL),
6
â) èíôðàñòðóêòóðó RDF(S), êîòîðàÿ îáåñïå÷èâàåò ñòàíäàðòèçèðîâàííîå ïðåäñòàâëåíèå (ñèíòàêñèñ è íàáîð ïðèìèòèâîâ). • OWL OWL (Web Ontology Language) ÿâëÿåòñÿ ðåâèçèåé DAML + OIL, è áûë ðàçðàáîòàí äëÿ èñïîëüçîâàíèÿ ïðèëîæåíèÿìè, êîòîðûì òðåáóåòñÿ îáðàáàòûâàòü èíôîðìàöèþ, à íå ïðîñòî ïðåäîñòàâëÿòü åå àãåíòàì. OWL ïðåäëàãàåò áîëüøóþ ñïîñîáíîñòü ê âçàèìîäåéñòâèþ (interoperability), ÷åì RDF(S), áëàãîäàðÿ íàëè÷èþ äîïîëíèòåëüíîãî ñëîâàðÿ âìåñòå ñ ïîääåðæêîé ôîðìàëüíîé ñåìàíòèêè. Ó OWL åñòü òðè (ïî âîçðàñòàíèþ âûðàçèòåëüíîé ìîùíîñòè) ïîäìíîæåñòâà: OWL Lite, OWL DL è OWL Full. OWL Lite ñîäåðæèò îñíîâíûå êîíñòðóêöèè äëÿ îïèñàíèÿ êëàññîâ è çàäàíèÿ ïðîñòûõ îãðàíè÷åíèé, OWL DL ïðåäëàãàåò ìàêñèìóì âîçìîæíîñòåé, îñòàâàÿñü ïðè ýòîì â ðàìêàõ äåñêðèïòèâíîé ëîãèêè (âñå çàêëþ÷åíèÿ ÿâëÿþòñÿ âû÷èñëèìûìè è çàâåðøàþòñÿ çà êîíå÷íîå âðåìÿ). OWL Full íå ãàðàíòèðóåò âîçìîæíîñòè ñóùåñòâîâàíèÿ âû÷èñëèòåëüíîé ïîääåðæêè è ðàññ÷èòàí íà ïîëüçîâàòåëåé, êîòîðûå õîòÿò ïîëó÷èòü ìàêñèìàëüíóþ âûðàçèòåëüíóþ ìîùíîñòü è ñâîáîäó îò RDF. 1) OWL Lite OWL Lite óäîâëåòâîðÿåò îñíîâíûå ïîòðåáíîñòè ïîëüçîâàòåëåé, êîòîðûì íóæíà êëàññèôèêàöèÿ (èåðàðõèÿ) è ïðîñòûå îãðàíè÷åíèÿ. Íàïðèìåð, OWL Lite ïîääåðæèâàåò îãðàíè÷åíèå íà êàðäèíàëüíîñòü, íî ñ åãî ïîìîùüþ ìîæíî òîëüêî çàäàâàòü çíà÷åíèÿ 0 èëè 1. Òàêèì îáðàçîì, îãðàíè÷åíèÿ OWL Lite ïðîÿâëÿþòñÿ íå â ìîùíîñòè ñëîâàðÿ, à â îãðàíè÷åíèÿõ íà åãî ýëåìåíòû. Ïðåäïîëàãàåòñÿ, ÷òî äëÿ OWL Lite ðàçðàáîòêà èíñòðóìåíòàðèÿ áóäåò ïðîùå, ÷åì äëÿ åãî áîëåå âûðàçèòåëüíûõ íàäìíîæåñòâ, è OWL Lite ïðåäîñòàâëÿåò õîðîøóþ âîçìîæíîñòü ïî «ìèãðàöèè» òåçàóðóñîâ è äðóãèõ òàêñîíîìèé. Âûâîä â OWL Lite òàêæå èìååò ìåíüøóþ âû÷èñëèòåëüíóþ ñëîæíîñòü, ÷åì â OWL DL. 2) OWL DL & OWL Full OWL DL è OWL Full èñïîëüçóþò îäèí è òîò æå ñëîâàðü, õîòÿ OWL DL ïîä÷èíåí íåêîòîðûì îãðàíè÷åíèÿì. Ãðóáî ãîâîðÿ, â
ÊÎÌÏÜÞÒÅÐÍÛÅ ÈÍÑÒÐÓÌÅÍÒÛ Â ÎÁÐÀÇÎÂÀÍÈÈ. ¹ 4, 2008 ã.
Èñòîðèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé
OWL DL êëàññ íå ìîæåò òàêæå áûòü èíäèâèäîì èëè ñâîéñòâîì, è ñâîéñòâî íå ìîæåò áûòü òàêæå èíäèâèäîì èëè êëàññîì. Òàêèì îáðàçîì, îãðàíè÷åíèÿ íå ìîãóò íàëàãàòüñÿ íà ñàìè ÿçûêîâûå ýëåìåíòû OWL. ßçûê OWL ïðåäîñòàâëÿåò áîëüøîé è âûðàçèòåëüíûé ñëîâàðü, ïîçâîëÿþùèé ñòðîèòü è àäåêâàòíûå ìîäåëè çíàíèé èç ðàçëè÷íûõ ïðåäìåòíûõ îáëàñòåé è âåðèôèöèðîâàòü èõ. Ïî ìíåíèþ àâòîðà, íåäîñòàòêîì ÿçûêà (êîòîðûé áûë óíàñëåäîâàí åùå îò RDF ôîðìàòà) ÿâëÿåòñÿ òåñíîå ñïëåòåíèå ìîäåëè è ìåòàìîäåëè. Òàêæå õî÷åòñÿ îòìåòèòü, ÷òî ñëåäîâàíèå òðèïëåòíîé ìîäåëè ïðèâîäèò ê çíà÷èòåëüíîìó îáúåìó XML-ïðåäñòàâëåíèÿ, ÷òî óâåëè÷èâàåò ñëîæíîñòü ðàçðàáîòêè ïðîãðàììíûõ ïðèëîæåíèé, èñïîëüçóþùèõ OWL. Òåì íå ìåíåå, â íàñòîÿùèé ìîìåíò OWL ÿâëÿåòñÿ îáùåïðèçíàííûì ñòàíäàðòîì äëÿ ïðåäñòàâëåíèÿ îíòîëîãèé. 3. ÈÍÑÒÐÓÌÅÍÒÛ ÄËß ÐÀÁÎÒÛ Ñ ÎÍÒÎËÎÃÈßÌÈ
• Protégé Îäèí èç ñàìûõ ïîïóëÿðíûõ èíñòðóìåíòîâ äëÿ ðàáîòû ñ îíòîëîãèÿìè Protégé (http:// protege.stanford.edu/) áûë ñîçäàí ëàáîðàòîðèåé KSL Ñòåíäôîðäñêîãî óíèâåðñèòåòà.
Äàííûé èíñòðóìåíò ïîääåðæèâàåò äâà ñòàíäàðòà: ðàçðàáîòàííûé â òîé æå ëàáîðàòîðèè OKBC, ïðåäëàãàþùèé ôðåéìû â êà÷åñòâå ñïîñîáà ïðåäñòàâëåíèÿ çíàíèé, è ÿçûê OWL. Äàâàéòå ðàññìîòðèì èíòåðôåéñ ProtégéOKBC ïîäðîáíåå (èíòåðôåéñ Protégé-OWL ïîâòîðÿåò ðàññìàòðèâàåìûé, çà èñêëþ÷åíèåì ýëåìåíòîâ, ñïåöèôè÷åñêèõ äëÿ OWL). Âçàèìîäåéñòâèå ñ Protégé (ðèñ. 3) ïðåäïîëàãàåò èñïîëüçîâàíèå ïÿòè îêîí, îôîðìëåííûõ â âèäå çàêëàäîê: Classes, Slots, Forms, Instances, Queries. Ââåðõó ðàñïîëàãàåòñÿ ïàíåëü óïðàâëåíèÿ ïðîåêòîì. Ñ åå ïîìîùüþ ìîæíî ñîçäàâàòü ìîäåëè, ñîõðàíÿòü/çàãðóæàòü/ýêñïîðòèðîâàòü èõ è ò. ä. Òàì æå ðàñïîëàãàåòñÿ òðàäèöèîííîå ìåíþ, êîòîðîå ñîäåðæèò âñå îñíîâíûå ôóíêöèè óïðàâëåíèÿ ïðîãðàììîé. Classes Ñëåâà ïðèñóòñòâóåò ïàíåëü áðàóçåðà èåðàðõèè êëàññîâ (îòíîøåíèå subclass-of) (ðèñ. 3). Ïîñðåäñòâîì ýòîé ïàíåëè ìîæíî èçìåíÿòü èåðàðõèþ, äîáàâëÿÿ èëè óäàëÿÿ êëàññû. Ñïðàâà îò íåå ðàñïîëàãàåòñÿ ïàíåëü Class Editor, â êîòîðîé ìîæíî ðåäàêòèðîâàòü âûáðàííûé â áðàóçåðå êëàññ: îïèñûâàòü îãðàíè÷åíèÿ, ñëîòû, ðîëü êëàññà (àáñòðàêòíûé, ðåàëüíî ñóùåñòâóþùèé) è ñîçäàâàòü äîêóìåíòàöèþ ê íåìó.
Ðèñ. 3 ÈÍÔÎÐÌÀÒÈÊÀ
7
Êàçåêèí Ì.Ì.
Ðèñ. 4
Ðèñ. 5
Slots Ïî ñòðóêòóðå âêëàäêà Slots ïîâòîðÿåò âêëàäêó Classes. Ñëåâà ðàñïîëîæåí áðàóçåð ñëîòîâ Slot Browser ñ èåðàðõèåé ñëîòîâ, à ñïðàâà ðåäàêòîð ñëîòà Slot Editor, â êîòîðîì ìîæíî ðåäàêòèðîâàòü ðàçëè÷íûå îãðàíè÷åíèÿ äëÿ âûáðàííîãî â áðàóçåðå ñëîòà: êàðäèíàëüíûå îãðàíè÷åíèÿ, ìèíèìàëüíîå/ ìàêñèìàëüíîå çíà÷åíèÿ, çíà÷åíèÿ ïî óìîë÷àíèþ, äîìåí ñëîòà. Forms Âêëàäêà Forms ïðåäíàçíà÷åíà äëÿ ñîçäàíèÿ è ðåäàêòèðîâàíèÿ ôîðì ââîäà äàííûõ â ìîäåëü. Ïî ñòðóêòóðå îíà òàêæå íå îòëè÷àåòñÿ îò ïðåäûäóùèõ äâóõ âêëàäîê. Ñ åå ïîìîùüþ ìîæíî ñîçäàâàòü è ðåäàêòèðî-
8
âàòü ôîðìû, îñóùåñòâëÿÿ ïðèâÿçêó ê ñîçäàâàåìîé ìîäåëè çíàíèé. Instances Âêëàäêà Instances (ðèñ. 4) ñîäåðæèò óæå çíàêîìûé áðàóçåð êëàññîâ, áðàóçåð ýêçåìïëÿðîâ (Instance Browser) è ðåäàêòîð ýêçåìïëÿðîâ (Instance Editor). Ñ åå ïîìîùüþ ìîæíî ââîäèòü äàííûå ïîñðåäñòâîì ôîðì, ñîçäàííûõ ïðè ïîìîùè âêëàäêè Forms, êîòîðûå îòîáðàæàþòñÿ íà ïàíåëè Instance Editor ïðè âûáîðå êëàññà è åãî ýêçåìïëÿðà (ïîñðåäñòâîì Class Browser è Instance Browser ñîîòâåòñòâåííî). Queries Ïîñëåäíÿÿ âêëàäêà Queries (ðèñ. 5), ñîäåðæèò èíñòðóìåíòû äëÿ ñîçäàíèÿ çàïðî-
ÊÎÌÏÜÞÒÅÐÍÛÅ ÈÍÑÒÐÓÌÅÍÒÛ Â ÎÁÐÀÇÎÂÀÍÈÈ. ¹ 4, 2008 ã.
Èñòîðèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé
ñîâ ê íàïîëíåííîé áàçå çíàíèé è âûïîëíåíèÿ óæå ñîçäàííûõ çàïðîñîâ (õðàíÿùèõñÿ â áèáëèîòåêå Query Library). Ñëåâà ðàñïîëîæåíà ôîðìà äëÿ ðåäàêòèðîâàíèÿ çàïðîñà, ñïðàâà îòîáðàæàþòñÿ ðåçóëüòàòû çàïðîñîâ.  çàêëþ÷åíèå îáçîðà ðåäàêòîðà Protégé îòìåòèì, ÷òî Protégé ïðåäîñòàâëÿåò óäîáíûå ñðåäñòâà äëÿ ïîääåðæêè ìîäåëè çíàíèé íà âñåõ ýòàïàõ îò åå ñîçäàíèÿ, äî íàïîëíåíèÿ ðåàëüíûìè äàííûìè è ïðåäîñòàâëåíèÿ ìåõàíèçìîâ ïîèñêà ïî ýòèì äàííûì. • OntologyEditor (Hozo) Âòîðîé ðàññìàòðèâàåìûé èíñòðóìåíò, HoZo (http://www.hozo.jp/), ðàçðàáîòàííûé â Èíñòèòóòå Íàó÷íûõ è Ïðîìûøëåííûõ Èññëåäîâàíèé (Óíèâåðñèòåò ã. Îñàêà), òàêæå îïèðàåòñÿ íà ôðåéìîâîå ïðåäñòàâëåíèå äàííûõ, íî, â îòëè÷èå îò Protégé, ïðåäëàãàåò ñîáñòâåííóþ ìåòàìîäåëü, â êîòîðîé ïðèñóòñòâóåò ïîíÿòèå ðîëè è ðîëåâîãî ñâîéñòâà.  ñîîòâåòñòâèè ñ ýòîé ìîäåëüþ è îðãàíèçîâàí ïîëüçîâàòåëüñêèé èíòåðôåéñ ðåäàêòîðà.  Hozo ïîääåðæèâàåòñÿ ýêñïîðò
â ðàçíûå ÿçûêè, â òîì ÷èñëå â RDF(S), DAML + OIL, OWL.  âåðõíåé ÷àñòè îêíà ðåäàêòîðà ðàñïîëàãàåòñÿ òðàäèöèîííîå ìåíþ, ñîäåðæàùåå îñíîâíûå ôóíêöèîíàëüíûå âîçìîæíîñòè è ïðèâû÷íûå îïåðàöèè. Îñíîâíàÿ ïàíåëü Editor Panel (ðèñ. 6) ðàñïîëàãàåòñÿ ïî öåíòðó ïðèëîæåíèÿ è ðàçäåëåíà íà òðè ÷àñòè: íàâèãàòîð ïîíÿòèé (ñëåâà ñâåðõó), áðàóçåð ñâîéñòâ (ñëåâà âíèçó), è áðàóçåð ïîíÿòèé (îáëàñòü ñïðàâà), íå ñ÷èòàÿ âêëàäêè RDF(S), êîòîðàÿ ïðåäïîëàãàåò «ìîìåíòàëüíûé ñíèìîê» ìîäåëè â ôîðìàòå RDF(S). Ðàññìîòðèì îñíîâíûå ÷àñòè ïîäðîáíåå. Íàâèãàòîð ïîíÿòèé Ñ ïîìîùüþ íàâèãàòîðà ïîíÿòèé (ïðè ïîìîùè äâóõ çàêëàäîê, WC-tree è RC-tree) îñóùåñòâëÿåòñÿ íàâèãàöèÿ ïî äâóì èåðàðõèÿì, ïðåäëàãàåìûì ñóùåñòâóþùåé â Hozo ìåòàìîäåëüþ: èåðàðõèÿ «ïîíÿòèå-öåëîå» (wholeness concept) è èåðàðõèÿ «ïîíÿòèåîòíîøåíèå» (relation concept). Îïèðàÿñü íà òî, ÷òî îáúåêòû ñîñòîÿò èç ÷àñòåé, ìåæäó êîòîðûìè óñòàíàâëèâàþòñÿ îïðåäåëåííûå
Ðèñ. 6 ÈÍÔÎÐÌÀÒÈÊÀ
9
Êàçåêèí Ì.Ì.
îòíîøåíèÿ, àâòîðû ðåäàêòîðà (è ìåòàìîäåëè) ïðåäëîæèëè îïèñûâàòü ïîíÿòèå ñ ïîçèöèè îáúåêòà è åãî ñîñòàâëÿþùèõ (wholeness concept tree) è ñ ïîçèöèè óñòàíàâëèâàåìûõ îòíîøåíèé (relation concept tree).  ñîîòâåòñòâèè ñ òàêèì ïîäõîäîì è íàâèãàòîð ïîíÿòèé, è áðàóçåð ïîíÿòèé ïðåäëàãàþò ðàçäåëüíîå ðåäàêòèðîâàíèå è ïðîñìîòð ñîîòâåòñòâóþùèõ èåðàðõèé. Òàêæå ñ ïîìîùüþ íàâèãàòîðà ïîíÿòèé ïðåäëàãàþò îáçîð èåðàðõèè «ñ âûñîòû ïòè÷üåãî ïîëåòà» (Map View) è òåêñòîâûé ïîèñê. Áðàóçåð ñâîéñòâ Áðàóçåð ñâîéñòâ ïðåäëàãàåò ïðîñìîòð è ðåäàêòèðîâàíèå ðàçëè÷íûõ ñâîéñòâ äëÿ âûáðàííûõ â íàâèãàòîðå/áðàóçåðå îáúåêòîâ (ïîíÿòèé è ñëîòîâ), à òàêæå çàïèñü àêñèîì (îãðàíè÷åíèé íà îáúåêòû) è ñîñòàâëåíèå äîêóìåíòàöèè ê âûáðàííîìó îáúåêòó. Òàê, ñ ïîìîùüþ áðàóçåðà ñâîéñòâ ìîæíî çàäàòü çíà÷åíèÿ äëÿ òðåõ ïàðàìåòðîâ, role concept (èìÿ ðîëè), role holder (íîñèòåëü ðîëè) è class constraint (îãðàíè÷åíèå íà êëàññ), ñ ïîìîùüþ êîòîðûõ ðàçðàáîò÷èêè ìîäåëèðóþò êîíöåïöèþ «ðîëü» â ìåòàìîäåëè. Ïîÿñíèì, ÷òî ïîòðåáíîñòü â êîíöåïöèè «ðîëü» âîçíèêëà èç-çà òðóäíîñòåé â àäåêâàòíîì ìîäåëèðîâàíèè òàêèõ îòíîøåíèé ìåæäó ïîíÿòèÿìè, êàê, íàïðèìåð, husband is-a person. Êîãäà áðàê ðàñïàäàåòñÿ, ÷åëîâåê ïåðåñòàåò áûòü ìóæåì (ýòî åãî ðîëü), íî íå ïåðåñòàåò áûòü ÷åëîâåêîì. Êðèòåðèé èäåíòè÷íîñòè, î÷åâèäíî, íàðóøåí (ñì. òåîðåòè÷åñêóþ ÷àñòü
Ðèñ. 7
Ðèñ. 8
10
íàñòîÿùåé ðàáîòû).  äàííîì ïðèìåðå ðàçóìíî role concept ïðèñâîèòü çíà÷åíèå «husband role», role holder ïðèñâîèòü «husband», à class constraint (ê êàêîìó áàçîâîìó êëàññó ïðèíàäëåæèò ðàññìàòðèâàåìîå ïîíÿòèå) íàçíà÷èòü «person». Áðàóçåð ïîíÿòèé  áðàóçåðå ïîíÿòèé îñóùåñòâëÿåòñÿ îñíîâíîé (âèçóàëüíûé) ïðîöåññ ðåäàêòèðîâàíèÿ îíòîëîãèé.  âåðõíåé ÷àñòè áðàóçåðà íàõîäèòñÿ ïàíåëü èíñòðóìåíòîâ, íà êîòîðîé ðàñïîëîæåíû èíñòðóìåíòû ñîçäàíèÿ ïîíÿòèé, äîáàâëåíèÿ ñëîòîâ (ñâîéñòâ) è óñòàíîâëåíèÿ ðàçëè÷íûõ îòíîøåíèé. Êðîìå îáùèõ äëÿ îáåèõ âêëàäîê êíîïîê «çàäàòü îòíîøåíèå is-a» è «çàäàòü îòíîøåíèå attributeof», íà ïàíåëè èíñòðóìåíòîâ ðàñïîëàãàþòñÿ èíñòðóìåíòû «çàäàòü îòíîøåíèå part-of» (p/o äëÿ WC-tree) è «çàäàòü îòíîøåíèå participates-in» (p/i äëÿ RC-tree), â çàâèñèìîñòè îò âêëàäîê Wholeness/Relation. Âèçóàëüíî part-of/participates-in âûðàæåíû îäíèì èíñòðóìåíòîì «part-of», ïðèñóòñòâóþùèì íà îáåèõ âêëàäêàõ. Îòìåòèì, ÷òî ðåäàêòîð Hozo ñóùåñòâåííî è â ïîëîæèòåëüíóþ ñòîðîíó îòëè÷àåòñÿ îò äðóãèõ èçâåñòíûõ àâòîðó ðåäàêòîðîâ íàëè÷èåì ãðàìîòíîé è ïðîäóìàííîé ìåòàìîäåëè, êîòîðàÿ ó÷èòûâàåò òîíêîñòè ïðîåêòèðîâàíèÿ îíòîëîãèé, è àäåêâàòíîé âèçóàëèçàöèåé ýòîé ìåòàìîäåëè. ÇÀÊËÞ×ÅÍÈÅ
Åñëè ãîâîðèòü î òåíäåíöèÿõ, êîòîðûå íàáëþäàþòñÿ ñ ìîìåíòà ïîÿâëåíèÿ ïåðâûõ ïîäîáíûõ ÿçûêîâ, òî ìîæíî ïðîñëåäèòü ïåðåõîä îò LISP-ïîäîáíîãî ïðåäñòàâëåíèÿ ìîäåëè ê XML-ïðåäñòàâëåíèþ (ñì. ðèñ. 7). Ïðè ýòîì â öåëîì ýòîò ïåðåõîä ïðîèñõîäèë â ðàìêàõ ñóùåñòâóþùåãî ôðåéìîâîãî (frame-based) ïîäõîäà ê ïðåäñòàâëåíèþ çíàíèé (ðèñ. 8). Â ïåðâûõ ÿçûêàõ èìåëàñü âîçìîæíîñòü ðàáîòû â ðàìêàõ ëîãèêè ïðåäèêàòîâ ïåðâîãî ïîðÿäêà (First Order Logics, FOL), à â áîëåå ïîçäíèõ âîçìîæíîñòü ìîäåëèðîâà-
ÊÎÌÏÜÞÒÅÐÍÛÅ ÈÍÑÒÐÓÌÅÍÒÛ Â ÎÁÐÀÇÎÂÀÍÈÈ. ¹ 4, 2008 ã.
Èñòîðèÿ ÿçûêîâ ïðåäñòàâëåíèÿ îíòîëîãèé
íèÿ â ãðàíèöàõ êëàññà ÿçûêîâ äåñêðèïòèâíîé ëîãèêè (Description Logics) (ñì. ðèñ. 9). ßçûêè ýòîãî êëàññà áûëè ñîçäàíû â êà÷åñòâå ðàñøèðåíèÿ òàêèõ èíñòðóìåíòîâ ïðåäñòàâëåíèÿ çíàíèé êàê ôðåéìû è ñåìàíòè÷åñêèå ñåòè, íå ñíàáæåííûõ ôîðìàëüíûìè, îñíîâàííûìè íà ëîãèêå ñåìàíòè÷åñêèìè êîíñòðóêöèÿìè.
Ðèñ. 9
Ëèòåðàòóðà 1. T.R. Gruber. Toward principles for the design of ontologies used for knowledge sharing. International Workshop on Formal Ontology, Padova, Italy, 1992. 2. R. Mizoguchi. Tutorial on ontological engineering, NEW GENERATION COMPUTING-TOKYO, 2003. ISIR, Osaka University. http://www.ei.sanken.osaka-u.ac.jp 3. M.R. Genesereth, R.E. Fikes. Knowledge Interchange Format Reference Manual, Technical Report Logic-92-1, 1992. DARPA Knowledge Sharing Effort, CS Department, Stanford University. 4. T.R. Gruber. Ontolingua: A Mechanism to Support Portable Ontologies, Technical Report KSL 91-66, 1992. Knowledge Systems Laboratory, Stanford University. 5. D. Beckett (ed). RDF/XML Syntax Specification, World Wide Web Consortium Recommendation, 2004. http://www.w3.org/TR/rdf-syntax-grammar/ 6. F. Manola, E. Miller. (eds) RDF Primer, World Wide Web Consortium Recommendation, 2004. http://www.w3.org/TR/2004/REC-rdf-primer-20040210/ 7. D. Beckett (ed). RDF/XML Syntax Specification, World Wide Web Consortium Recommendation, 2004. http://www.w3.org/TR/rdf-syntax-grammar/ 8. D. Brickley (ed). RDF Schema Specification, World Wide Web Consortium Recommendation, 2004. http://www.w3.org/TR/rdf-schema/ 9. P.D. Karp, V.K. Chaudhri, J. Thomere. XOL: An XML-Based Ontology Exchange Language. Version 0.4, 1999. 10. D. Fensel, I. Horrocks et al. OIL In a Nutshell, LECTURE NOTES IN COMPUTER SCIENCE, Springer-Verlag, 2000. 11. D. Connolly, F. van Harmelen et al. DAML + OIL Reference Description, World Wide Web Consortium Recommendation, 2001. http://www.w3.org/TR/daml+oil-reference 12. D.L. McGuinness and Frank van Harmelen. (eds) OWL Web Ontology Language Overview, World Wide Web Consortium Recommendation, 2004. http://www.w3.org/TR/owl-features/
Abstract The article presents the history of ontology representation languages. The author describes the main stages of evolution, gives a brief description and overview of the basic properties of languages. The article also presents some software tools that one can use to edit ontologies, represented by one of the languages.
Êàçåêèí Ìèõàèë Ìèõàéëîâè÷, àñïèðàíò ìàòåìàòèêîìåõàíè÷åñêîãî ôàêóëüòåòà ÑÏáÃÓ,
[email protected] ÈÍÔÎÐÌÀÒÈÊÀ
11
