Язык Prolog и реализация концепции Semantic Web Текст научной статьи по специальности «Языкознание и литературоведение»

yra PROLOG m ^mm^m m mm SEMANTIC WEB

e

yyyyLy yyyy’ yyy yy” yyyyyyyHIWeb-yyy’ ”y”yyy yyyyyyy y y”Eyyy-’ yy y”’ yyyyyy Semantic Web. yy” ”y’ yLyyy, Ly” M ’ yyy’ yy y -y”b“ yyy-yyyyy yyyy-yy, Ly”yy y”y - y’ yy, yyyy-yyyyET“ y y y yyyy, “ ”yyy yyyy ”yyyy”yy’ y yyy -Ey-yymiyy”yyyy. My yy”y” -yyy-yy, Ly” y yyyy y”yy ’ y yyyy y”yyyyy’ y y”yyyy, y y yyyyyyy, - y”- ”y yy y”y”yyy y”y- ”y ’ ” ”-— yy-yyyL^y y”yyiy-yyy yyy”y, y yyyy y -yyy-yyy yyHI”yy-y’ yHI-y”y ’ yy ”yyyyy”y y yy -y”y-yy. MyyL^“ yyy -yyy-yyy y”yy ’y yyyy, - ”y’ ”y -y”y”-’y, y”-yyy”L^” “”y’y“y yyH]y”y’”yy’’”y^’ ”yy-y’ yHI’yyyyy”y, y - yy-y”y -y”y”’y, y”-yyy”L ” yy”yyy!^y“y y y TT I” yy tttt ” yyy y”y-y”yy “ y “yyy’y“y y Web-yyy’yy“y.

yyyyy HI Semantic Web [1] yyyyy-yy-HI’ y y-y”yyy”yy’ yy yy-y yyy’ ”y”yyy P yy-0 yyDy“ ”“ Hyyyy yyy“yyyy XML y RDF P Hyyyy ”yy-y-’ yHIyy--y-”y. M -y”yyy”yy’ yy Hyyyy XML [2] y”yy”yHyy -yy-yy-yyy”yyyy yy’’yy yy”yyy”yy’ y “ ”yyyy”- , yyyL^“ yyyyyy”yLTy y-y”yyy yy -y”y -”y-""yyy’ ’ yy yyyy, y“ yy y yy ”yyyyyyb’’yy -y“y’yyLy-yyy -“y-y. M -y”yyy”-yy’ yy ttt ttt” y yyty y”y“ ”y ’ ” -yy yyy” yyyy - y”y--y’ y” ‘ yyy - yyyy” yyy’ ”y ""yy yy y”y, Ly” y”yy”yHJy, y -y”y ”Lyyyyy, ”yyy’ yy”yyyyyy y”-y-y y yy-y”“ —yyyuy’y—y”y—-y’yy y yy!’ -”yyyy y“ ”“-r-

e Semantic Web RDF yyyyyty -“y-y XML-y”y—y’y—y ”y“ yy-HI y”y- ’ ”yy-yy” y’ y”y“yyy”’ ’ ” -yHy’ yy y”’ HTyy. y“y-y y”y—— y’ yy yyyy-y yyy-HIy yyyy “ ’ ”y y-yyy yyy ’ yyy yyy— y y yyyyyyy”y P y’ yy”y^’y -y^Jyy subjectPverbPobject. e y” yy -y“ ”y yyy“ HIRDF-”yy-y’ yy [3] yyyy y yy-HI XML-y”y-— y’ y”“ , -y ”y — yy”yy’ ’ ”“ ’ y ”- ”yy’ yy ”yyyyyyb’ ’ y y

yyyyyy.

yyHT’yyyy”yyy XML-y”y-— y’ yy yyyy-Ty-HHyy-y”y D^yy P “yyyLyiyy y” ”y’ ”y y’ yy y Hyy y—yyy- yyyy. e yyLy-yyy yyy”y” Hyy yy ’ yyy”yyy yyyy-yy’ Hyyy XSL y yy” yy-y yyy’ yy XSLT. M -y”yyy”yy’ yy yyyy yy-y yyy-’ yy y”yy”yHyy yyy”yyyy”yy yyyy XML-y”y—y’ yy y yy-yyy y”y“y yyHI y”-yyy y y yy yyyyy’ yyyyy, ”y’ yy” y-y”yyy' yy’ yy yyyy Hyyy”y yyHIy’ y-

yyyy y”y—y’y”y yyyy—y’yyyyy’ ”.

cyyy“ ”yyyy”“ , TTTmyTTy yyyyyyyyyy y”’ yyyyyy Semantic Web tttttttt— yy, - ”y’ ”y -y”y”’ y, -yyyHyyyy yyHIy’ yyyyy (yyy-y’ yy) XML-y”y— y’ yy, y, - yy-y”y, y-y”yyy”yy’ yHI-yyy-yyy yyHIy”-yyy-yyyy” -y“y’ yyLy-y”y” y y”yyLy-y”y” y’yyyyy y”y -■ y’yy.

h XML-

y yy y XML - ”yyyyy-yy-HIyyy yyyyy”, -^’-y”Hy yy yy -yy”y. o yyy yyyyyy -^’” yyyy-yy—y y -yy-yy-y’ y “ yyy- y’ yy- : XML-yyyy“ , yyy yyy yy y”-y”yyy y- yyy ”yyyyyyt’’yy -y-y’yyLly-yyy -“y-y.

n ”y“yyy’ ” [4] yyyyy” ’’yyyyyyLTy-HIyyy y”’ yL ”y - ’ ”y y-yy” L, -”--y”Hy yy yy ”y’ ”y” yyy ’ y-y”yyyyy yyy-y’ y”y, ”yyyyyyy yy -yyy-yy y-y -y”y-yyy- y:

- y” - ’ ”y y-yyy L yyyyynyty-HIyyy’ -yyy’ ’ yy -yyy, ’ yyyyyy- yy y”y-

yyy- -yy”- yyy y”y’y-;

- y-y ”-yyyy’ yy -yyy yyyyyyy’ y ’ y m>=0 ’ yyyyy-yyyyyyy-HI“ ’ ”-y y-yy Li, ..., Lm, yyy y”y yy y”y”yyy, y -y”y ”Lyyyyy, yyyy y LУyLУy-H]yy-yyy”-.

XML y”y—y’y -”yyyy yy yyy“y’yy -y“y yyy”y:

- ц”ц’ цц”ц -ццц;

- -ццц ццц“ц’ц”ц;

- -ццц ццццц-ц”ц;

- ццц—ц”ццц -ццц;

- -ццц цц”-ццц’ -цц ц“ ь’;

- -ццц ц’ —цц цццц ц” ”цццц”ццц;

- -ццц ц”““ц’цццццц.

жццццц -ццц ццц ццц ц“ ццц ”цццццць’ ’ ”ц —цц”ц”ц”ц ц’ цЩ цц, ц”-ц”ц”ц цц IТ[т ~т тПЦгг т—I Тц цццц-ц“”-цц ”ц цццц. мццIЬ“ -цц”ц”цц“ ц’ цЦт’ цц“ ц”ц’ цц”ц” -ццц ц -ццц ццц“ ц’ цц ’ цццц’ цццШ-цц”ц”ццц ц’ цЦі-

’ цц ц-цц цц ц”ц”“ц”ц, ц ццШ”-цццц’ цц ццц”ц —цц”ц —цц”ц”ц”ц ц’ цЩ цц ЩцIЦц—IШЦ-ццц -ц“”ц” -ццц [5].

о ццц цтштшц XML-ц’’ц—ц’ цц ’ цц”цЩ-Шц ”цццццць’ ’ ”“ п”цПццц, ц”ц”ццц ’ ТПТТТТПТТШ—ГТТц”цПцц”“ цц”—“ ”ццц ц”ц—ц’цц. кц цццццццц цц” ”ц’ц!ццц, IЦ” ццШ”цццц”ццц XML-^^-“ ц’цц ’ ц”цц”цц“ ” ”—--ц ц-цццЩц ццццц”ц ц-цц —цц”ц ц”ц—“ц’ цц ц ццШ”“ ццц ”цццц’ ”“ п”цTГЦцц■ cццц“ ”цццц”“, IЦ”цц ’цццц ц”цц”цц“ цц -ццц ццц цц” ц’цЩ цц, ц”цц”цц“ ” цццццц ”цццццц, ц ц цццц”’ , ц” ц”ц”ц”“ ц ц ццц ’ цццц’ -””цццц—цц ц-ц цц -ццц.

ццц”ц” ц”ц”цЩ—-ц ц-цц-цц ццц ц”цц”цц ц ”цццц”ццц XML-ц’’ц— “ц’ цц. мццццц ц”цц”ц ”- ”цц’ ’ ц ”ц——ц—цццц ц’ -ццц’ ’ цц” цццц-ццццц’ цШ XML-^^-“ ц’цц, ц цц” “ -Ц-ЇЇЦЦ цццц’цц ”цц-ццццц—Шццццццц ц” ”ццц-ц”ццц ц”ц ццц ц’ ”ц ц”’ -цц—цццц XML-ц’’ц— ц’ цц, ц ццц—цц, ц-цццИЦШ-”-”цццц—цц Ц ц Ц ц”’ -цц-цццц, ц-ццц ццц”ц’ Щц ”цццццць’ ’ цц ццц-цццШ цц-ц”ц ц”цц”ц ццц ццц ц цццццЦццц-Шц ц—ц ’ццц’цц’ цц цццц-ццццц’цШ ц”ц—ц’цц ццц цццц”ццц’”ц -цц-цц-цц.

цццццц ццццццц W3C ц”’-”ццц—ц [http://www.w3c.org] ”ццццццШ цц—Шц”цЩ”ц цц”-‘”ццц ц”ц——ц’цц:

- ц”ц’ цц”ц -ццц ЩцЩц—Шццццц “ —цц”“ ц ц’цШцтт цц”—“ ”ццц ц”-

ц “ ц’ цц;

- -ццц ццц“ц’ ц”ц ццццц ц-цц-цц —ц”ц“ ц”IЦц’ ц“ -ццц“ , -ццц“ цц”-—ццц —цц ц“ь’ ц —ццц“ ццццц-ц”ц;

- -ццц цц”—ццц’ -цц ц“ ь’ цццццц—цц цц -ццц“ ццццц-ц”ц;

- -ццц ццццц ц”ц ццццц ц-цц-цц цц-цц“ ц”IЦц’ц“ ццц“ -ц”цц” ццц“ ц’ цц;

- ’’-цццц’ цц —ццц —ї”цИц”1Уцшцц—ITit ц”-ццц”цццццц’ ”-цц цц ц”Птц-цц’цШц ц”ц—“ц’цц

ццШц”ццццц’ ”ц ”цццц”ццц XML-ц’’ц—ц’ цц ’ц”цц”цц“ц ццццццццШ цц’’цц. ц-ц ц-цц-цц ццц -ц”-”цц ццццццццц цц’’цц Р XML:DTD ц -цц“ ц XML. ц цц“ ц —цц’ ццццццц ц цццц цц’’цц, -”цццц цц цц—Шц ццц“ц’ццц ц”ц-“ ц’цц ц цццццццц цццц“ ”—цПГцц “ццц—ццц“ц’цц“ц. й -ц”ццц”цц’ цц -цц“ ц”цц”цIЦц ц”ццц tf’I ” —цц—цц—ццц”цццц цц’’цц ц ”--ц ц-цццЩц ццц”цццц”цц’ цШXML-ц”ц—ц’:цц■

cццц“ ”цццц”“, ”цццц”ццц XML-ц’’ц—ц’ цц -ц”ццц—I^ ц”-цццццц, ц —цц цц ццц”цц’ цц цц’ ’ цц ц цццц-ццццц’ цц цц ц цццц — ц—ц ’ццц’цц’ цц“

XML, ц”-цц”ццц, ц ццц”цццц”цц’ цц XML-ц’’ц—“ц’ цц ц ц ”ц“цц, ’ ц”цц”цц-“цц ццШццццц’ ццццц Р HTML, ц, ц-ццццццц, цццццГЦ’ цц цц XML-ц’’ц— “ц’цц ц”цц”цц“ цц ццШЦ’ ццццц цц’’цц Р ц”“ццццц цц ц ццц—ц’ц’ цц.

цццц—цц ”ц“ ццццц, Иц” —ц“ ц ц” -ццц XML-ц’’ц— ц’ цц ’ ц ц“ ццц ”-”-ц”ц” —“ ц-цц, ц”ц”“— Цт” ’ ццццц’ц ’ц ц-ц”ццц”цц’цц ц”’цццц’ц“ц ццц-ё”ц ц’ цШц ццШц”’ цццц’ цц ццццЦ цц—““ ”ццц“ ц ццIЦ-ццц ццц“ ццц ”ц’ — цц ццццц ццццццц цц ццццЦ

<?xml version=M1.0M encoding="UTF-8"?>

<coalchain shipper="coalspirit"

xmlns:xsi="http://www.w3.org/2 0 01/XMLSchema- instance" xsi:noNamespaceSchemaLocation="cargoschema.xsd">

<shipfrom country="ru" area="kuzbass">

<shipment id="81065432">

<wagon> 86532114 </wagon>

<wagon> 86543226 </wagon>

</shipment>

</shipfrom>

</coalchain>

yy- 1. Myy“yy XML-y”y—y’yy, ”yy-yyyyyyy ’yy”y”yyy yyyyyyyyy-yyyy -yyyyyyy”y”y”yy

<?xml version="1.0" encoding="UTF-8"?>

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified">

<xs:element name="coalchain">

<xs:complexType>

<xs:sequence>

<xs:element ref="shipfrom"/>

</xs:sequence>

<xs:attribute name="shipper" type="xs:string" use="required"/>

</xs:complexType>

</xs:element>

<xs:element name="shipfrom">

<xs:complexType>

<xs:sequence>

<xs:element ref="shipment"/>

</xs:sequence>

<xs:attribute name="country" type="xs:string" use="required"/> <xs:attribute name="area" type="xs:string" use="required"/>

</xs:complexType>

</xs:element>

<xs:element name="shipment">

<xs:complexType>

<xs:sequence>

<xs:element ref="wagon" maxOccurs="unbounded"/>

</xs:sequence>

</xs : complexType>

</xs:element>

<xs:element name="wagon" type="xs:string"/>

</xs:schema>

yy- 2. XML--yy“ y y” -yy’ yyyy-W3C-y”’ -^’yyy--y

^y’y- yy -y-yy yyyyyyyy’yy yyy-y’y’yy Hyyyy XML ^JyHiyy-HI ”y“ y’ yy’ ’y“y. y-y y-yy-y y yyy’ ”y”y’ yy -yyyy , - yy y—y”y”yy - y ’ y”y-y”yy- ” ”- y y-yyyHTy ”y- y’ yy’ ’ y“y. Kyyy”yyy yy y yyyyy’ yy -y”-”y yy-yyy Uyyy-HIy yyyyyy”yyy -y”yyyHT’y“y’ y, y y ’ yy”yy yyy”y, ”yy-yyyyyyy yy’’ yy, y”yyyy yy yy ”y-y’— y -””yyyy-yy-y y yy y“—XML--yy“ y yyHI yyyyyyyyy. M”-yy yy”y” y-y”yyy-yy—H]yy”yyy“ “y wrapper, y”y”yyHIyyy”y-yyy-yy yy’’yy yy y”y-yy”y, yyy’HTyy y y”’yyyy’”y -yyyy, y y ”y- yy

XML y ”yyyy’ ”. kyy”y yyy”y--””yyyy-yy-yy yy -yy- ”y yyy’ Hy” ’ yyyyyyy

’ yyy- ’ ”yy - H|y y”yy - y”y- ’ ”y y-yy” - , yyyy’ yy’ yLy’ ’ y - yyHIyyy y’ yHI

y”’ yyyy’ ”y yyyyDy. e yy’ ’ ”y -yyyyy y yyDy-yyy yyy-yyy y-yy- yy—-yy-yyyyyy TTy y CargoXML, yyyyyy”yy’ ’ yy yyHIyyy y’ yHIy”yy-yyDy-yyy yy-yyD y y- y’ ’ ” yyHI’y- y’ y yy’ y-y - yy y—”yyyyy’ y-y yyy- y y”yy-yyiy--y”y y’ y ”y - yyy” ’ ’ ”y -y-yy-y. Ky yy-. 1 y 2 yyyy -yyyyy’ y yyy-yyy ’ y-y”yyy ”y” y”y—y’ yy, ”yy-yyyyy yy” y yy yyyyy y-yyyy - yyyyyyy”y”y”yy, y XML--yy- y , yy”-—y”y—- y’ y— -””yyyy-yy—y y yy. yyy--yyy-yy” y”yyy” yyyy-yyyyyHI ’y -y-”- yyyy CargoXML P y”y’ ”yy’ ’ yy TTyy, y”y”y”-— -””yyyy-yy-yy -yy-y, y”y ”-yyy ’’yy-yyyyyyHy-y yy” yyy-y’yy.

M”-yy -yy yy yyy ”yy’ yHIy yyyy yyyyy y’ y ”y- yyyy -”y ’ ” yyyyy” -yyyy y yyyyDy yyy’ -y ”y- yyyy y yyyyy’ yyyy”’ ’yy y ”y- yyy y yyyyyDy’ yy yy’ yy yyHy’-yyy—y y yy” y’yyyyy.

El m

yyyy my”y”y yyyyy—yy-HI ’ y ”yyyyyyt’ ’ ”- ’ yy”yy -yyy’ yy- ”y,

yyyyDyyyyy y -yyHIyy-y”y’ yyy’ yy y” ” yyyyy r yyyy” yyy’ ”y y yyy-yyyy y-’ yy -yy-yy-y yy’’yy y yyy” - yyyiy-yyy y’yyyyy. M’y-y -y”yy- y, my”y”y ”yyyD ” yyy-y”-”yyy’ yyHIyyy y’ yHIyyyyD y y”y”yyy y yy—yyy y y -yy-y-y-yy y ”y’ ”y y’ yHI- yy y—’ y- y. yy- ” ’ yyyy’ yy Hyy yy y-yy -”yyyy y’ yy, ”y’yDyyyyy yy”yyy-- yy”yy’yy y yyy-y’yy y”yyyy. m y ”y ”y ”-”yy’ ’y ”yy-yyyyy’ ”- yyy y yyyyy yyyy’ ”- yyy’ yyyy yy ”yyy- -yy”yy’ yHI ry” y -”-y”y y’ ”-yy - yyy yyyyyDy-yy’ ’y-y -y”y-yyy- y yyty y”y- ”y ’ ”-yy yyy- y-’y’yHZyyyy yyHTyyy’THyyyyD; y-y---yyy’’”y” y’yyyyyyyy [6].

e y y”y’ y’ yy yy”yyy- - ’ y my”y”yy yyyyyLTyy-HIy yyy”yy yy-yyyyy-’ ”y” y’ yyyyyyyyy”yy, yyy y”y”y”y y-y-y” yy”yyy”yy’ ”y yyyy yyyyyyyy-HI -y- yHyyyyHyyyy, y ’ yyyyyy- y’ yy”yy’ ’ yy yyy”y yyyyy”y y’ yHyy- y’ HTy--HIy”-yyy”yyyyyy’y - y”y-y”- —Lyy yyyy—y- ”y” yyyyyyy y - yyy’ yy- ”-y”yyyyyy. m”y yyyyy y yy’ ’ ”- -y—Dyy y—yy- y”’ y-yyy ’ yy”y yy’ yHI-^’”y-yyy-yyyHIyyyyyH^yy’ ’ ”y” ”yyyyyy - y-yyy yy-HI-yy-yy-y”y yy’ ’ yy, Dy” ”y’yDyyy y”yyy ”yy”y y yy-yy’ y’”yyyy’”y” yyyyyy y”y-yy.

.n yyyy” yyy yy’ ’ yy y”y’ ”-yyy yyyyyDy’ y y yyy”yyy‘‘y -^yyyyyyyy [7]. e ^yy yyyyyy yyyyyy”yy’ y: ”y’ ”yyyy’ ”y yyy-yyyyy’ yy, yyyyyyDy yyyy- yyy”y, yyy-yyy’ yy yyyy-yy y y”-y—y y y”ym yyyy-y yyHI’y’ ”yyy-y’ -’”y” Dyy’ yH/yyyy-y.

”y’ yy y”’ -yy—yyyy My”y”yy P yyy-y y —yyyyyyy’ yHI My”-yyy-yy- yyy”- —yyyyyyy’ yTT TT^тTттT^тTy—TT Iy T|TT|TУ; y”y”yyy y -tt’tttttt—yy-TT ^TyHT ^^T^^T^Ty-’ yHI’ yy”y”yy y —yyyyy yy’ yy - yy y—”yyyyyy- y. K yy- y’ ”yy’ yHI”yyyyy”y TTrTyTiy y-HIyy”- y- y. c yy- y TTy^jTiy y-HIyyy’ -yyy’ ’y-y -yy—yy—yy- y yy’ ’ y y y my”y”yy .n yyyyyyy’ yy yyy- ”y y’ y yyyy’ ”. -yy’ yy y yyyy-y’ ’ yy TTtTttTM y TT Tyyy - y- y ^y”-y y”y”, yyy‘‘y‘‘y TTtTttTTtT tt-TT I-”-tttttt’ y y yyy-y yyy

-yy-yy-yy. y”-yyy’ ”y yyy- -”yyyy yy y—yy”y y y”-yyy”yyyyyy’ ”-yy yy ”y’ ”y” y y”yyy yyy—-y’ y”y, TTy^jTTy y yy-TT Iyyy- y- y. n —Lyy”y yyyyby-HI-y”-y- y- y’y-, y”y”y”y -—yy yy”-, y -y”yy yy’”-yyy, yyy Dy-y”- yyy—-y’y”y.

Ky ”-i ”yy’yy y’yyyyy ”- ”y’yy yyy’yyy”y yyyyyyyyyy m y ”y ”yy

- ”y ’ ” —yyyyy yyyy, Dy” ”’ TMyT^T^T-TT Ty-yy-yTTy’ ’ y - TTTtt y” - yyyyyyyyyy y”’ yyyyyy Semantic Web, yyy, y” y-Hy”- -y—Dyy, - ”y yy -yyyy ”- ”y’ y-y’-yy—y’y”- yyHTb yy y yyyyy ”y yyyyyyyyyy.

c - EUXML- - m

yyTnTyT’TTyyy’ yTT Ttttttt’ -y ”y-tttttttt XML-y”y—- y’ yy yy”yyyb- yyy”y-yyy”yy’ yy y”y -y’ yy y yyy-y HTyyy my”y”y m yyy-y’ ” [6], Dy” ’ yyy”yyy yyy yyyyy’”y y”y-”y yyyy-yyyyy’yHIyyyy’yyy’yy -yy-yy-y LУyLУy—HI -yy-”y, y”y”yy y y-yyyy - ”y ’ ” yy - yyyyyyyy yyy -yy-yy-y-T -^’-y”Hy-y yy yy-y yyy-y’ y”y: y”y”yy -yy-yy y yy” yy”-yy P yyyy y -yy-yy. e yy’ ’ ”-

—ц—ПЦц цццц”ццц’ цШ-цц—цц—цц XML-ц’’ц—“ц’ цц ц”ц’ ”-ццц -””цццц-цц—цц —цц цц цц цц’’цц ’ц Щццц мц”ц”ц

XML-ц’’ц—ц’ ц ц цц“ цц “ цццццццц ццц -цц-”ц, -”-ц”Щцц цц ццц“”ц цццц:

tag(Name,Attributes,Content),

ццц Name Р ц“ Шццц“ ц’ цц (—ццц), Attributes Р -цц-”ц ццццц—ц”ц, Content Р -”цццц ц“”ц ццц“ц’цц.

м”-цц ццц”цццц”цц’ цШц”ц—^Цц“ —ццц ц ц ц -цц-цц-ц-т ц”цццц’ -’-ц ’ц цц—. 3.

ц ттИ Ttt”tt—ПЦ цШццц”ц -цц—цц—цц ц” —IT ” ц” —т”цтпц”ШИПI—IT—’ -цццц’ ц “ ц —ццц—ццц“ ц ц’ ццццц -ц“ ц”цц’ ”ц ц’ ц ”ц“ цццц, ц“ цц ц ц“ ц—Шц ’ цц”ц”ццц цццццццццЩ мц”ц”цц, ’цццц“цц Visual Prolog, Amzi Prolog, SWI-Prolog. Н”цШ——ц ц-цц—цц ”цццЦ цИ ^т^^т^^т^тц^^т^тццП TXML-ццц-ттцц, ццццц-ц”цц’ ’ ттШтт цццц ц”цццц ITi“ ”ц” “ ”ц—TITSWI-Prolog. ццц—ццццц”“ ццц”цц ццц—ццц ЩцЩц-Ш-цц-”ц, -”-ц”Щ цц цц “ ’ ”ц ц-ццц ццц“ ц’ ц”ц, ц”ц”ццц, ц -ц”ц ”!Ццццц, цццц ц “ ”ц-ц цццц —цц—ц”“. ццццIЦ ццц’ -ц”ц“цццц -ц”ццц-—Шц ц”ц—ц—ц —” ”цццц—цццц — ц ццц”’ ”“ ’ —ц ’ ”ц” ццц“ ц’ цц -цц-цц ц цц” ”ц”цццц ц’цц ц ц”ц“цц ццццц’ццццц HTML.

xml_doc([version="1.0", encoding="UTF-8"],

[namespace('http://www.w3.org/2001/XMLSchema-instance'," ", tag(coalchain, [shipper="coalspirit",

[tag(shipfrom,[country="ru",area="kuzbass"],

[

tag(shipment,[id="81065432"],

[tag(wagon, [] , [ 86532114] ), tag(wagon,[],[ 86543226])

]

)

]

)]

])

)]

).

цц-. 3. мцц”цццц”цц’ цц XML-ц’’ц—“ц’цц ц ццц“ц мц”ц”цц

м”ц-ц ц” 0 ццц”’ —“ ”ццц цццц ц—цц—ццц’ ’ ” цццццц”цц’ ’ ц мц”ц”цц, ццц ц”ц—ц цццц’ ’ ”ц” ццц“ц’ цц ц -цц-цц. ц-цц ц“ццц—Ш“ ’ ”ц ц-ццц’ ’ ”ц ццццW цц ”цццццць’ ’ ”ц” ццц“ ц’ цц (’ цццц“ цц, ццц <wagon>), ц”, ц—ц”цц-ц—IT T“ ццц’ цц“ ццц’ —цццццц’ ”ц” ц”ц”ц’ ”ццц’ цШц”ц-цц, цццц” ц”цццц—Ш”ц-

ц”цц ц-цц” цццццц.

ж”’-цц—цццПГц”ц-цц ццц“ццц ц“ ццц ’ц мц”ц”цц —ццц цццц ццц:

search_element(X,[X|Y]).

search_element(X,[H|Y]):-search_element(X,Y).

ццц—ц цццц“ ц’ ’ tITX цц —ц цццц ц цц!Ц-ццц ”цццццц. eцц”IЦ“, -цц-ц-цц цццц’ ццц, Щ’ цццццць’ ’ цШццц ц ц”’ -цц-цццШ’ ц ЩцЩц—Шццццц-ццц’ ”ц ццШ”цць“’цц XML-ц’’ц— ц’ ц”ц — ц”ццц ц“ ц” 111^11-711”“ цц”ц ц’ цц. ццШц”ццц ц’ цШццц ццццц’ ” —цц “ ”ц-ц цццц ц—ц”ццц”цц’ ц —’ццц-цц’ —цц”цц’ ’ цц “цц”цц цццц—ццццц’ цШцццц’ццц’ ”ц -цц-цц-цц ’ ц мц”-ц”цц [б, 7].

кцццц“цц, —ццц ц ц цц цццц“ц’ц ц”цц ц’ццццц—цц ц ”ц”цццц ццц ц цццц -цц”цц ц’цIЦ’цIITццццц—ц”ц ццц“ц’цц <shipfrom>

search_element(tag(shipfrom(_,[C|A],_)),Xml_Doc),

write("<html>"),nl,write("<title> Transforming test </title>"),nl, write("<body>"),nl,

write("<p align='center'> Shipping from"),

write(C, "and ", A),

write( "</p>"),

write("</body>"),

write("</html>").

ццц—ццц-Щ ццц ”цццц”ццц ццц”ц - ц”ццц ”ц w-цц’ ”ц цц”ц ц’ цПГ ц-”цц”цц“ ” ”ццццццццццц ццц ццц -””цццц-цц-цццц -цц-”ц ”ццццц’ ц“ ццц-ццц”“, ц’цц”щЦц“ цццццць’’”“— ццц ц цццц“ц’ц-т- к” ц” --цц ’ цВД’ ’ц “ц’Щц-Ш

м- - HML-

мц”цц— ц ”ц“ цц”цц’ цШцццц ц’ ц’ цц цц “ ’ ”ц ц-ццц XML-ц’’ц--ц’ -ц”ц цццц-ццццц’ ’ц цц- 4.

Парсинг

Постпроцессинг

Агрегирование

Дедукция

цц-. 4. ттттццтт ”цццц”ццц XML-ц’’ц—ц’цц ццШц”ц-Ыц’цШццц”цц мц”ццц цц ц”щЦгц”ц” ццц”цц ”--ц ц-цццЩц-Ш’ ц ”- ”цц ”ццццц-

ць’ ’ цц цццццц ц -ц ”ц“ цц”цц’ ’ ”ц ТТТТТТТТ цц’ ’цц. е -ц“ ”“ цц”-ц”“ -ц-Ыцц XML-ц’’ц—ц’ ц ццц”цццц-ц“ ц -””цццц-цц-цц -ц цццц-ц цццПЦц”’ ’ ”ц цц-цц цц’ ’цц. кцццц“цц, ц -””цццц-цццц - ц”ц”“, цццццць’ ’ц“ ’ц цц-. 1, “”ццц цццц ”цццц”цц’ ц ццццццц coalchain -ццц-ццвдТ цццц:

country Area shipment wagon

Russia Kuzbass 81065432 86532114

c yyyyyyyHIyy’ ’ yy yyniy”-yy”y’ yHI-””yyyy-yy—yy yy yyyyyy yy”y--y”yyy y-b yyy y y ’ y ”- ”yy yyyyyy”yy’ ’ ”y yy’ yy XML--yy-y. ,ny’ yy” y”y- ”y ’ ”-yy my”y”yy yyyy y”y- ”y ’ ”-yy y”yyy -y”y ’ ”y” y ”y-yy”yy’ yHI yyyy yy’’yy: yyy, y Dy-y’”-yy, y-y”yyy-HI-yyy-yyy yyy”yy - yyy-y-y,

y”y- ”y , ” ”yyyy”yyyy yyyyyyyyy -yyyyy yy’ yy, —yy’ yyyyyyy y yy ”yyy-

yyyb’ ’ y y ”y’ ”y y’ yHI- yy y—yyy- y’ yy- y XML-y”y— y’ yy. k yyyy- yy, yyTTT ”yyy’ yyyyyy y”yyDy-y”y” yyy”yy - ”y ’ ” yyyy-yyyyyy yy’’yy y yyyy -yy-y-yyyy” yyyyyyyyy:

wagon(shipper, origin, shipment, number),

yyyDb- yyy” yyyy”’yy’ yy y yyy”y yyy ’ y yyyy-yyyy Hyy ”-”y”y” yy-yy. Ky-y-y’ ”yy’ yHHShipper, consignee, origin y number -—yy y”-y’ y, yyy y”y”yyy yyyyy yyyyby—H]XML--yy“”y.

c yyy- ’yyyy”’- , y-yy yyDy yyby ”y yyyyyDy’yy y’ y ”y- yyyy yy XML-y”y—y’ yy - yyyyy y”-yyy-y y yy” -y- y’ yyDy-y”y” y’yyyyy, y” y--y”yyy”yy’ yy -yHTyy XMLPMy”y”y y”-yyy”D ” yyy yyyyy’ ”. k” y-yy -yy-yyy-HIyyyyDy -y-y’ yyDy-y”y” yyyy- ”yyy-yyyHI y” y-y”yyy”yy’ yy XML ’ y yyby ’ y”yy”yy- ”y” yyy yyyyyy [8]. My ’yyyy” yyy- yyy yyy’ ”, Dy” ’ y My”-y”y y’yyyyyyy-HIyyyyDy ’ y y”yyy” -”y-yyy’ ’ ” -y- y’ yyDy-y”y” y’ yyyyy, ’ ”

-”~yyyyy’ yy -y-y’ yyDy-yyy yyy’ yy. e yy”- -y-Dyy y”yyyy” yyy-yyyyyy’ yy y-y”yyy”yyyy -yTTrJy—RDF-My”y”y

M -y”yyy”yy’ yy XML y”yy”yHTy -yy-yy-yyy”yyyy yy’ ’yy, y y-y”yy-y”yy’yy RDF-”yy-y’yy y ’ y- y”yy”yyy y”yyyyyy -y-y’yyDy-yyy -^‘y-y. ^”- y y”y”, y-y”yyy”yy’ yy RDF--yy- y’yy’yHTy yy -yyyyyyyy yy-y- y -y”y -’ ”y ”yy-y’ yy ”yyyyy”y. yy—-”yyy- , ’yyyy- yy -yyy—yyyy RDF ”yy-y’ yTT'T

rdf_triple("Kuzbass",shipment(81065432,86532114),"Eagle_Energy"); rdf_triple("Kuzbass",shipment(82354111,43567810),"Hakan" ).,

y”y”yyy -yy”ny-HIy ”-’”yy XML-y”y—y’yy y —-yy’yyyyyyyy —yy yy”y’y ”yyyyyyb’ ’ y y ”y’ ”y y’ yHI - yy y—yyy- y’ yy- y. Myyyyy” yyHI-y- y’ yyiy--y”y” y’ yyyyy y—yyy y- yyy -yyy-yyyy yyy:

logicistics_chain(Shipper,Area):-

rdf_triple(Area,Shipment,Shipper).

Kyy”y y’ yy”yyD; yy yyyyyy -^’-yyyyHTy yyy y’ y’ yy yyHIy’-yyy—yy y-y” y’ yyyyy, Dy” y”yy”yHTy --yy-yyy’’” y”yy -yyy yyyyyyyy’”-yy y”y-yy.

ц

m ’ yy’ -yy’ ”y yyyyyyyy y”’yyyyyy Semantic web -yy-—yyy—yy y---yyy”yy’ yHIy ”yyy-yy ’ yyy”yyy yyyyyyyy’ ”y” yyy-y’ y’ yHIyy”y y”’ yyyyyy ’y yyyyyyyy. y yyyyyyyyy’ y y HTyyy yy”yyy- - yy”yy’ yHIy My”y”y P

”y’ y yy yyy yyy’ ”y”yyy, y”y”yyy - ”y-y yyyy —yyy ’ ” yyy- y’y’y y yy”y ”yyy-yy. kyyy”yyy -yyD; ”y -”Dyyy’ yy, yyy y”y”y”- yyyyyy ”y yyy-y’ y-’ yHIMy”y”yy ”Dyyyyy’ , P y-y”yyy”yy’ yy y -”Dyyy’ yy - yyy’ ”y”yyyy RDF. e yy”- -y—Dyy -y-y’ yyDy-yyy yyy’ yyy -^’yyyyy-HI’yy-y’ yHHy RDF, y My”-y”y yyy- y’ HTy-HIyyHIy’y’ ”y” -y- y’ yyDy-y”y” y’ yyyyy, y yyyy y yyTTIyyy-”yyyy”yy’ yHIyyyy’-^’y y sy ’y y-yy-yyy’ ’ ”- HTyyy. yy” ’ yyyyyyy’ yy y y---yyy”yy’ yHy yyyy-yyyyHJy-HIyyy”yyy yyyyyyyy y- y ’y-y”Hyyy yyy‘‘HI

wMcyy^coy^

1. Semantic Web. World Wide Web Consortium (W3C), http://www.w3.org/.

2. T. Bray, J. Paoli, C. Sperberg-McQueen, and E. Maler. Extensible Markup Language (XML) 1.0 / World Wide Web Consortium (W3C), http://www.w3.org/TR/REC-XML, Oct. 2000.

3. O. Lassila, R.R. Swick. RDF Model and Syntax Specification, http://www.w3.org/TR/REC-rdf-svntax , Feb. 1999.

4. Ж . й -ц—--цц” цц”ууц“ “ цц”цц’ цШ с. 1. л— ”ц’ цц цщТццц“ц.Р н .: й цуу-уууц-ццу ц”“ ЗецццШ-Ц 2000.

5. е Л. ^y’”y”w![]XSLT.P уму.: зНе-мцуцуу—уу 2002.

6. з й. му”^уу““цу”цу’ цц ’ у Щццц му”у”у ууШЦ-ц—--уцц’ ’ ”у” ц’ уууууу-уу.Р н.: н цу, 1990.

7. ’ и, . й-ц——уц” уу”ууу““цу”цу’ цПГ у Щццц му”у”уР н .:

н цу, 1990.

8. Stefan Decker, Frank van Harmelen, Jeen Broekstra, Michael Erdman, Dieter Fensel, Ian Horrocks, Michael Klein, Sergey Melnik. The Semantic Web P on the respective Roles of XML and RDF / www.ontoknowledge.org/oil/downl/IEEE00.pdf, 2000.

Л. .

мликлє л скл скЛ НЛ И покж йлкй лє Лкй нкл^Лмл лкуНйсн

жл ии жсйєкл ^л мли лєЛкй

мцц у’ ууццц ц—ццц’” цц”цу’ цШ“ ’ ”у”цц”цц—”ц’ цц ццгц-уцуцуц-’ цц -ц-уц“ ц”ууццуцц’ ”у” ц”уцц”цц’ цШ(н ецжм) [1-5] ’ у ”- ”цу’ цц уц”-“ цууцгц-ццц -””уцуцц’цц —цу’ ”цуц’ у цуцц-ц“”-цц цц”ц—ц’ ”ц -ц”-”у-’ ”-уц ”у ць ”- ”ц’ цц цуцу“ ццц”ц, цццуцц’ ’ уТТТи ”ц“ —у”ц иуцуу-у [6]. е уу’ ’ ”ц -цуццц “ цу”уу“ ц ц”“ уц’ цц”ц’ ”у” у’ ууццц цц ”TTTm”yTTTT-TT Т—уу—уіть’ -’ ”ц цц—Нц’ цц цу”ц—-ц’ ”ц -ц”-”у’ ”-уц, цц”yцц-ПТцц-цццyццц’ цц иуццу-у, -цц”Щ-Ш-цуцц”’ уу’ цц ц угу’ -ццц-ццц’ цц уц’ цц уу-цуцуцуц’ цЦІцццц”-уПЦцц ц ”ууу-уц ццуцццц ”ууу’цНц’цц “”уцуц нецжм.

Л’ ууцц цуу—цгц-ццц ццц”Щ’ ”-ц’ цц цуууЦ ццц ц’ цц ц”у”ццц ууцу--ТТТтт ”ц“ —уу“ ц ц”у’ ”ц ццц”Щ’ ”-уц ц з тпут-тт, цццц”уцу ц ц”’ Щцц ц”у’ ”-ццц”Щ’ ”-у’ ”ц уууцуцц ц”’ цЦ цц “ ’ ”ц ц-цц, ц“ ццц ц“ —цуц ’ ццц цц ццц-цууу’ ”ц ц’ уіц’ цц. цу’ ’ цц уццуцуу ^іцу-ПІ’-^ ”ц’ ц “ ц ’ у-ц”Щ цц цуу”-уц, ц “ц ’ уіц’ уц“ - ’ уц”“ ц’ у’ цПГ’-^ ”ц’ цц ”у’ ”-Щ цц-ПТц ’ ц“ —”цццуц-уц’ цц.

м—-уц “ ’ ”ц ц-цц” Н -”-ц”цу цц ц”’ ттТТ ”у” іц-уу ’ ццццц-ццуцц цц-Ш ц”у“ ’ ”ц ц-уц Н = IjXi, XiXj=0, j Ф i, ’у ц”ц”ццц цууу’ у “ ццу -ц”ц-ц-

цу“ц P(X)=1, P(Xi+Xj)=P(Xi)+P(Xj), jфi.

е цуіц-ццц “ццц ”уцЦ” уцццу-Ш “”ц’”-ц’”ц ”у’”цц’цц

P(X. ) = N(Xi) ц”’цЦцц “’”цц-цц Xi, X.

1 N(X)

н ’ ”ц ц-цц” X ’ уцццуцу-Пцуцц ц цц-цццц“ ц’ у” “ , ц”у“ ’ ”ц ц-ццу Xi Р цу” цуц“ц’ цуц’ ц“ц ц-ц”уу“ц, “ццу P(Xi) Р ццц”Щ’ ”-уцц ц-ц”уу Xi. сц”-ццццц”-“ ’ ”ц ц-уцц’ ’ цц ”цццуццц ’ уу цуц“ ц’ цуц’ ц “ ц ц-ц”уу“ ц ц”ц”ц -ууцц ц”у’ ”ццц”Щ’ ”-ц’ —ц уууцуц— -у—гуц’ цц -”уцццц A = AX1 + Й + +AXn, ццц”Щ’ ”-цц ц”у”ццц ’ уц”уцу-ПТц” —ц”“Ш—ц”ц ц ’ уТІшті цуу”цц т ”ц“ —уц.