ONTOLOGIJOS IR SEMANTINIS PASAULINIS TINKLAS

1
ONTOLOGIJOS IR SEMANTINIS PASAULINIS TINKLAS

• Saulius Maskeliunas
• Matematikos ir informatikos institutas
• Akademijos 4, Vilnius 08663
• .

2
TURINYS (1)

• IVADAS (ontologiju apibrežimas, sudetingumo
  lygiai, ontologiju rušys ir kt.).
• ONTOLOGIJU KURIMAS (specifikavimo kalbos, kurimo
  metodologijos ir aplinkos, pavyzdžiu bibliotekos
  Internete).
• ONTOLOGIJU PANAUDOJIMAS INFORMACINESE SISTEMOSE
• ONTOLOGIJOS PASAULINIAME TINKE

3
TURINYS (2)

• 4. TOLESNES SEMANTINIO PASAULINIO TINKLO RAIDOS
  KRYPTYS
• I paslaugas orientuota architektura, pasaulinio
  tinklo paslaugos ? Semantinio pasaulinio tinklo
  paslaugos (angl. Service Oriented Architecture,
  Web Services ? Semantic Web Services)
• Skaiciuojamieji tinklai (išskirstyti skaiciavimai
  kompiuteriu tinkluose) ir skaiciuojamosios
  pasaulinio tinklo paslaugos ? Semantiniai
  skaiciuojamieji tinklai (angl. Grid Computing,
  Grid Services ? Semantic Grid)
• IŠVADOS

4
1. IVADAS
5
Ontologijos termino istorija

• Filosofijoje terminas "ontologija" turi prasme
  "buties teorija", "visos tikroves svarbiausiu
  ypatybiu nagrinejimas". Cia "ontologija" yra
  sinonimas terminui "metafizika" (tai aptarinejo
  ir Aristotelis IV a.pr.m.e.).
• Pats "ontologijos" terminas pirma karta
  panaudotas XVII a.
• Maždaug nuo 1990 m. šis terminas pradetas naudoti
  ir Dirbtinio intelekto srityse, kalbant apie
• žiniu bendra naudojima sharing,
• programiniu agentu tarpusavio saveika,
• visuotinai pripažistamu common sense žiniu
  atvaizdavima, naturalios kalbos apdorojima
• ir kt.

6
Ontologiju apibrežimas

• Ontologija - tai tam tikros srities savoku
  visumos specifikavimas išreikštu pavidalu
  explicit specification of a conceptualization
  
  T.R.Gruber 1993 m..
• Ontologijos specifikuoja nagrinejimo srities
• Savokas, esybiu (daiktu bei reiškiniu) tipus
• Savoku hierarchijas, esybiu tipu tarpusavio
  saryšius, priklausomybes
• Aksiomas, taisykles, desningumus apie esybiu
  tipus ir saryšius
• Pavyzdinius atvejus

7
Ontologiju sudetingumo lygiai

• Deborah L. McGuinness. Ontologies Come of Age.
  In D. Fensel, J. Hendler, H. Lieberman, W.
  Wahlster (eds.) The Semantic Web Why, What, and
  How, MIT Press, 2001.

8
Ontologiju sudetingumo lygiai (tesinys)

• Terminai
• Terminu apibrežimai
• Siauresniu/platesniu terminu saryšiai
• Apibendrinimo (IS_A) saryšiai
• neformalus \ formalus
• Formaliai nurodyti konkretus atvejai
• Freimai (savybes)
• Galimu reikšmiu apribojimai
• Logines salygos (suvaržymai, aksiomos)
• Inversijos, nepersidengimo (disjointness),
  visumos-dalies (PART_OF) saryšiai ir kt.

9
Ontologiju rušys (pagal formaluma)

• Neformalios (pvz., terminu katalogai)
• Formalios
• Aksiomatizuotos (pvz. formalios mokslu teorijos,
  taisykliu ir freimu rinkiniai ekspertinese
  sistemose, duomenu baziu koncepciniu schemu
  specifikacijos)
• Prototipais paremtos (terminologines)
• Mišrios

10
Ontologiju rušys (pagal galia)

• Lengvasvores" ontologijos išreiškia
• savokas
• elementarius tipus
• savoku hierarchija
• saryšius tarp savoku
• Sunkiasvores" ontologijos papildomai išreiškia
• kardinalumo apribojimus
• saryšiu klasifikacija
• pakartotinius tvirtinimus
• galimybes manipuliuoti aksiomomis ir semantika,
  naudojant logikos formalizmus ir loginio išvedimo
  sistemas

11
Ontologiju rušys (pagal paskirti)

• žiniu vaizdavimo ontologijos
• bendrosios ontologijos, visuotinai naudojamu
  savoku ontologijos
• aukšciausio lygio ontologijos,
  meta-ontologijos
• lingvistines ontologijos
• nagrinejimo sriciu ontologijos
• užduociu ontologijos, metodu ontologijos,
  taikomuju programu ontologijos ir kt.

12
1. ONTOLOGIJU KURIMAS
13
Ontologiju specifikavimo kalbos

• Tradicines CARIN, FLogic, LOOM, OCML,
  Ontolingua
• Specializuotos CycL (CyC ontologijai), GRAIL
  (medicininei ontologijai GALEN), NKRL
  (naratyviniu dokumentu semantiniam kontekstui
  aprašyti)
• Skirtos pasauliniam tinklui SHOE, XOL, OML, RDF
  ir RDF Schema, OIL, DAMLOIL, Web Ontology
  Language (OWL)

14
CyC ontologijos apibrežimu peržiuros pavyzdys
http//opencyc251.homelinux.org3603/cg?cb-start
15
Web Ontology Language (OWL)

• http//xml.coverpages.org/owl.html
• OWL yra Semantinio pasaulinio tinklo sudedamoji
  dalis ja kuria W3C Web Ontology darbo grupe
  DAMLOIL ontologiju kalbos pagrindu
• 2002.03.08 išleidžiama pirma OWL reikalavimu
  dokumento versija
• 2002.07.29 - 1.0 versijos juodraštiniai
  variantai
• OWL svarbiausiu ypatybiu aprašas (Feature
  Synopsis),
• OWL abstrakcios sintakses specifikacija
• OWL semantikos specifikacija (Reference)
• 2002.11.08 išleidžiama pirma OWL vadovo (Guide)
  versija

16
Ontologiju kurimo metodologijos

• Cyc
• Uscholdo ir Kingo
• Grüningerio ir Foxo
• KACTUS
• METHONTOLOGY
• SENSUS
• On-To-Knowledge galutine versija 1.0
  2002.09.26 projektas Content-Driven Knowledge
  Management Tools through Evolving Ontologies (EU
  IST-1999-10132) http//www.aifb.uni-karlsruhe.d
  e/WBS/ysu/publications/OTK-D18_v1-0.pdf

17
Ontologiju kurimo aplinkos

• Apollo
• LinkFactory
• OILEd
• OntoEdit
• Ontolingua Server
• OntoSaurus

• OpenKnoME
• Protégé-2000
• SymOntoX
• WebODE
• WebOnto

Naujausia iš Stanfordo universitete sukurtu
priemoniu, skirta žiniu igijimui laisvai
platinama, placiai naudojama, lengvai išpleciama
(iki 150 000 freimu), suderinama su OKBC,
eksportuoja HTML, XML, RDF Schemos, JDBC,
artimiausioje ateityje ir DAMLOIL formatais.
http//protege.stanford.edu
18
Protégé-2000 TMTab ? XML(XTM) ? TMNav
19
Automatinis ontologiju kurimas

• Daugybes ontologiju sudarymo poreikis
• Ontologiju inžinerijos sudetingumas ir
  darbaimlumas
• Mašininio mokymosi panaudojimas ontologiju
  kurimui
• Ontologiju automatinis generavimas esamiems
  informacijos ištekliams ("rekonstruojanti
  inžinerija, semantinis anotavimas)

20
Ontologiju evoliucionavimas

• Pasaulis nuolat keiciasi (naujos veiklos, naujos
  organizaciju strukturos, nauji produktai ir
  paslaugos, )
• Ontologijos turi atspindeti šiuos pokycius
  (naujos ar nereikalingomis tampancios savokos
  ir saryšiai, naujos savoku prasmes)
• Ontologiju palaikymo svarba (taikomuju
  programiniu sistemu veikimo kokybes priklausymas
  nuo naudojamu ontologiju "šviežumo")

21
Ontologiju bibliotekos Internete

• Ontolingua ontologiju serverishttp//www-ksl.stan
  ford.edu/knowledge-sharing/ontologies/index.html
  (statine biblioteka),http//www-ksl-svc.stanford.
  edu5915/
• IEEE darbo grupes Standartines aukšciausios
  ontologijos tinklalapio nuorodu
  puslapishttp//ltsc.ieee.org/suo/refs.html
• DAML ontologiju bibliotekahttp//www.daml.org/ont
  ologies/ontologies.html

22
2. ONTOLOGIJU PANAUDOJIMAS INFORMACINESE SISTEMOSE
23
Ontologiju naudojimo privalumai

• žiniu strukturizavimo palengvinimas naujose
  srityse
• bibliotekoje saugomu komponentu pakartotinas
  naudojimas (išvengiant butinumo kurti iš naujo)
• tarpusavio saveikos tarp skirtingu komponentu
  palengvinimas, išsiaiškinant atitikmenis tarp ju
  naudojamu terminu
• intelektuali paieška apdorojant užklausas (t.y.,
  automatiškai apibendrinant užklausas, surandant
  artimiausius dalinius atitikmenis)

24
Esamos ontologiju taikymu sritys

• informacijos mokslas, bibliotekininkysteprofesin
  es terminijos standartizavimas
• matematine lingvistika naturalios kalbos
  generavimas
• ontologijomis pagrista programiniu sistemu
  saveika
• duomenu baziu koncepcines schemos, koncepcinis
  modeliavimas
• žiniu inžinerija, žiniu baziu sistemos
• brokeriai bei kitókios informacijos paieškos
  sistemos, pagristos ontologijomis
• korporacinis žiniu valdymas

25
Pagrindines ontologiju rušys
Aukšciausio lygio ontologijos
Taikomuju sriciu ontologijos
Užduociu ontologijos
Taikomuju sistemu ontologijos
N. Guarino. Formal Ontology and Information
Systems. In N. Guarino (ed.), Formal Ontology
in Information Systems. Proceedings of FOIS98,
Trento, Italy, June 1998. IOS Press, pp. 3-15.
26
Pagrindines ontologiju rušys (tesinys)

• Aukšciausio lygio ontologijos (ALO) aprašo
  bendriausias savokas (pvz. erdve, laikas,
  objektas, ivykis, veiksmas, ir kt.),
  nepriklausomas nuo konkrecios problemos ar
  srities.
• Taikomuju sriciu ontologijos aprašo konkreciu
  sriciu žodynus (pvz. medicina, automobiliai),
  specializuodamos terminus, ivestus aukšciausio
  lygio ontologijose
• Užduociu ontologijos aprašo konkreciu užduociu ar
  veiklu žodynus (irgi specializuojant ALO
  terminus).
• Taikymu ontologijos aprašo savokas, kurios yra
  tiek taikomuju sriciu, tiek užduociu ontologiju
  specializacija. Dažnai šios savokos atitinka
  roles kurias atlieka tam tikros taikomosios
  srities esybes vykdydamos tam tikra veikla.

27
Pagrindines ontologiju rušys (tesinys)
28
Žiniu vaizdavimo meta-ontologijos

• Pirmos eiles predikatu logika
• Freimu logika
• UML
• Temu žemelapiai

29
Aukšciausio lygio ontologijos

• J.F.Sowaos Top Level Ontologyhttp//users.best
  web.net/sowa/ontology/toplevel.htm
• N.Guarino grupes Top Level of Particulars
• SUMO http//ontology.teknowledge.com/
• SUO IFF Foundation Ontology http//suo.ieee.org/I
  FF/
• WordNet top level ontology
• Upper Cyc
• http//www.cyc.com/cyc-2-1/cover.html
• Apie 3 000 bendražmogišku žiniu savoku
• Savokos grupuojamos i mikro teorijas
• Naujausia atvira versija Open Cyc v0.6b
  (2002.04.03) http//www.opencyc.com/

30
Lingvistines ontologijos

• CoreLex, EDR Electronic Dictionary,
  Goi-Taikei (GT)
• Mikrokosmos
• The Generalized Upper Model
• http//www.darmstadt.gmd.de/publish/komet/gen
  -um/newUM.html
• SENSUS
• http//www.isi.edu/natural-
  language/projects/ONTOLOGIES.html
• WordNet http//www.cogsci.princeton.edu/wn/
• Turi 118 000 žodžiu formu ir 90 000 žodžiu
  reikšmiu
• Žodžiai kategorizuojami i daiktavardžius,
  veiksmažodžius, budvardžius, prieveiksmius
• Išreiškiami semantiniai saryšiai tarp žodžiu
  reikšmiu (sinonimai, antonimai, IS_A, PART_OF
  saryšiai)
• EuroWordNet http//www.illc.uva.nl/EuroWordNet/

31
WordNet vizuali versija
http//www.visualthesaurus.com/
32
WordNet vizuali versija (sena
versija)
http//www.visualthesaurus.com/classic/
33
Pagrindines ontologiju rušys (tesinys)
34
Taikomuju sriciu ontologijos Imoniu ontologija
(1)
http//www.aiai.ed.ac.uk/project/enterprise/enterp
rise/ontology.html
35
Taikomuju sriciu ontologijos Imoniu ontologija
(2)

• (Define-Class Legal-Entity (?X) "That which can
  enter into a legal contract. For the purposes of
  the Enterprise Ontology, this is equivalent to
  the union of Person, Corporation, and
  Partnership."
• Iff-Def (And (Eo-Entity ?X)
• (Or (Person ?X) (Corporation ?X)
  (Partnership ?X)))
• Axiom-Def (Partition Legal-Entity
• (Setof Person Corporation Partnership)))
• __________________________________________________
  ______________
•  
• (Define-Class Purpose (?Purpose) "a
  State-Of-Affairs that is either 1) the
  Intended-Purpose of some Plan, or
• 2) in a Hold-Purpose relationship with some
  Actor"
• Iff-Def (And (State-Of-Affairs ?Purpose)
• (Qua-Entity ?Purpose)
• (Or (Exists (?Plan) (Intended-Purpose ?Plan
  ?Purpose))
• (Exists (?Actor) (Hold-Purpose ?Actor
  ?Purpose)))))

36
Pagrindines ontologiju rušys (tesinys)
37
Užduociu ontologijos Verslo procesu
modeliavimo kalba

• The Business Process Management Initiative
  (http//www.bpmi.org/)
• Business Process Modeling Language specification
  (2002.11.13)
• Verslo procesu modeliavimo kalba (BPML) yra
  verslo procesu ir juos palaikanciu esybiu
  abstraktus modelis.
• BPML apibrežia formalu modeli abstraktiems ir
  vykdomiems procesams išreikšti, apimanti visus
  imoniu verslo procesus (tame tarpe ivairaus
  sudetingumo veiklas, transakcijas bei ju
  kompensavima, duomenu valdyma, konkuravima,
  išimciu apdorojima ir operacine semantika).
• BPML išreiškia ir gramatika (XML schemos forma)
  igalinancia išsaugoti ir keistis apibrežimais
  heterogeninese sistemose ir modeliavimo
  priemonese.
• Business Process Modeling Notation 0.9 working
  draft (02.11.13)

38
BPML specifikacijoje apibrežti veiklu tipai
39
BPML specifikacijoje apibrežta veiklu
egzemplioriu busenu perejimo diagrama
40
Pagrindines ontologiju rušys (tesinys)
41
Taikomuju sistemu ontologijos Imoniu
inžinerijos ontologija

• A.Caplinskas, A.Lupeikiene, O.Vasilecas. Unified
  Enterprise engineering environment ontological
  point of view. In BalticDBIS2002 proceedings,
  Kluwer, 2002, Fig.2

Enterprise
Functional entities
execute
Enterprise system aspects FUNCTION /
ACTIVITY INFORMATION COMPUTERISATION
42
Konkrecios imones sistemos pavyzdys MII PSIS
skyrius

• Imones sistemai MII PSIS priklausancios verslo
  sistemos
• Pagrindine veikla
• Moksline veikla (pagrindines temos ir papildomu
  temu vykdymas)
• Užsakomieji darbai
• Konferenciju organizavimas
• Pagalbine veikla
• Doktorantu, magistru ruošimas Inventoriaus
  priežiura ir kt.)
• Informacine sistema (IS) tai, kas yra arba
  galetu buti realizuota kaip kompiuterizuota IS.

43
Verslo sistema Moksline veikla
Verslo sistemos posistemiai Informacines sistemos Programines sistemos
Informacijos kaupimas, Aptarimas, Pristatymas Publikacijos (esama moksline inf.), Diskusijos, Seminaras, Skelbimai, Reikalavimai, Nauja informacija (turinti versijas, tekstine ir grafine), Darbuotojai MS Office, Elektroninis paštas, Paieškos Internete priemones,Publikaciju DB tinklalapis, Mokslininku DB Galimos ateityje Reikalavimu inžinerijos programines priemones, Skelbimu lenta, Kadru DB, Virtualios konferenc. iranga, Interneto portalas, etc.
44
Verslo sistema Konferenciju organizavimas
Verslo sistemos posistemiai Informacines sistemos Programines sistemos
Konkrecios rengiamos konferencijos Bendroji informacija, dalyviai, biudžetas, naujienos Konferencijos tinklalapis,MS Office, Elektroninis paštas, Konferencijos dalyviu DB Dalyviu registravimo sistema Galimos ateityje Straipsniu iteikimo ir recenzavimo sistema, Dokumentu DB, Biudžeto sistema
45
Pagalbine verslo sistema Inventoriaus priežiura
Verslo sistemos posistemiai Informacines sistemos Programines sistemos
Žiniarašciai MS Word Galimos ateityje Darbu srautu sistema, Inventoriaus duomenu baze
46
3. ONTOLOGIJOS PASAULINIAME TINKE
47
Pasaulinio kompiuteriu tinklo kartos

• Pamatu padejimas HTML kalba derinyje su HTTP
  ryšio protokolu (WWW) praeitame dešimtmetyje
• WWW labai sekminga technologija(plg.
  prieinamos informacijos kiekis, tokios
  informacijos naudotoju kiekis),
• taciau WWW pagrinde yra skirta tik žmonems
  skaityti, o ne kompiuteriams automatiškai naudoti.

48
Pasaulinio kompiuteriu tinklo kartos

1. Pamatu padejimas HTML kalba derinyje su HTTP
   ryšio protokolu (WWW) praeitame dešimtmetyje
2. Save aprašanciu dokumentu naudojimas, remiantis
   XML ir RDF kalbomis prieš kelis metus.

49
XML ypatybes

• XML dokumentu prasme yra intuityviai aiški (deka
  "semantinio" sužymejimo, žymes yra taikomuju
  sriciu vardai)
• Taciau kompiuteriai intuicijos neturi (t.y.,
  žymiu vardai patys savaime semantikos nepateikia)
• DTD aprašuose objektai nesiskiria nuo saryšiu
• XML turi ne semantini, o tik žemo lygio modeli
  (t.y., medžio tipo vidine struktura)

50
RDF ir RDF-S ypatybes

• RDF (t.y., WWW meta-duomenu vaizdavimo budas)
• naudoja maža modeliavimo konstrukciju rinkini
• neatitinka taikymo srities žodyno.
• RDF Schema
• išplecia modeliavimo konstrukciju rinkini
  (klase-poklase-tipas, savybe-subsavybe,
  domenas-sfera)
• igalina apibrežti taikymo srities žodyna
• organizuoja ši žodyna kaip apibendrinimu
  hierarchija
• taciau RDF-S išreiškiamoji galia yra maža (be
  tiksliai apibrežiamos prasmes, be loginio
  išvedimo modelio).

51
Pasaulinio kompiuteriu tinklo kartos

1. Pamatu padejimas HTML kalba derinyje su HTTP
   ryšio protokolu (WWW) praeitame dešimtmetyje
2. Save aprašanciu dokumentu naudojimas, remiantis
   XML ir RDF kalbomis prieš kelis metus.
3. Semantinio pasaulinio tinklo (angl. "Semantic
   Web") kurimo pradžia, siekiant paruošti galimybe
   automatinei semantinei kompiuteriu tarpusavio
   saveikai

52
(No Transcript)
53
Semantinio pasaulinio tinklo ideja

• Tikslas automatine kompiuteriu tarpusavio
  saveika bendrai priimtos terminijos pagrindu,
  naudojant
• ontologiju kalbas
• logikos formalizmus
• loginio išvedimo galimybes
• W3C papildomi reikalavimai
• realizuojama XML bazeje
• semantinius teiginius išreiškiancios
  deklaratyvios kalbos turi buti RDF ir RDF
  Schemos antstatu

54
(No Transcript)
55
Agentu žymejimo kalba DAML
(http//www.daml.org/ , http//xml.coverpages.org/
daml.html)

• Kuriama pagal JAV DARPA užsakyma
• Skirta
• semantines informacijos vaizdavimui kompiuteriams
  perskaitomu pavidalu
• semantines saveikos tarp programiniu agentu
  užtikrinimui (vietoj šiuo metu naudojamos XML
  sintaksines saveikos)
• Suderinama su esamomis ir ateities Interneto
  technologijomis

56
(No Transcript)
57
Loginiu samprotavimu realizavimas

• Neprieštaringumo tikrinimas
• Ryšiu tarp ontologiju nustatymas
• Išvestu (netiketu) saryšiu tikrinimas
• Ontologiju kurimo pagalbine priemone
• Didelems ontologijoms
• Kai ontologijos autoriu yra daug
• Ontologiju integravimui ir bendram naudojimui

58
Semantinio pasaulinio tinklo taikymai

• Ypac greitai auganti rinka
• "Verslo su verslu saveikos" (B2B) taikymai
• Agentais paremtos paslaugos
• Semantinio pasaulinio tinklo portalai
• Žiniu valdymo sprendimai

59
4. TOLESNES SEMANTINIO PASAULINIO TINKLO RAIDOS
KRYPTYS
60
IPOA apibrežimai

• A service oriented architecture (SOA) is one in
  which all entities are services and any
  operation visible to the architecture is the
  result of message exchange. Service is an
  entity that provides some capability to its
  clients by exchanging messages. Operations are
  defined in terms of message exchanges.
  I. Foster, C. Kessleman, S. Tueke SOA (Chapter
  17 of The Grid 2) 2004.3.6 ,
  http//www.cse.buffalo.edu/gridforce/SOAApril13.pp
  t
• SOA, or Service-Oriented Architecture, is an
  architecture comprising
• 2.1. loosely coupled services,
• 2.2. described by platform-agnostic interfaces
• 2.3. that can be discovered and invoked
  dynamically.
• ltsoaprpc/gt Frequently asked questions ,
  http//www.soaprpc.com/faq.htmlq11

61
I paslaugas orientuotos architekturos
supaprastinta schema

• http//www.w3.org/TR/ws-arch/ , 2003.05.14

62
I paslaugas orientuota architektura (IPOA)

• IT transformation to Service-Oriented
  architecture.
• Bea White paper, 2004. http//www.bea.com

63
Pasaulinio tinklo paslauga (angl. Web service)

• Pasaulinio tinklo konsorciumas (W3C)
• Pasaulinio tinklo paslauga (PTP) yra programine
  sistema, identifikuojama universaliu resursu
  identifikatoriumi (URI), kurios viešos sasajos ir
  isipareigojimai apibrežiami ir aprašomi su XML.
  PTP apibrežima gali rasti kitos programines
  sistemos. Šios sistemos po to gali saveikauti su
  PTP (taip, kaip numato PTP apibrežimas),
  naudojant pranešimus, perduodamus Interneto
  protokolais.
• http//www.w3.org/TR/ws-gloss/webservice ,
  2003.05.14

64
PTP funkcionavimo schema
UDDI registras
WSDL
Nuoroda i aprašyma

• Systinet Corporation. Introduction to Web
  Services. White paper, 2002 http//www.systinet.c
  om/resources/white_papers

Nuoroda i paslauga
Paslaugos aprašymas
Paslaugos paieška
Pasaulinio tinklo paslauga
Paslau-gos var-totojas
SOAP
XML pranešimai
65
PTP architekturos technologiju sluoksniai

• http//www.w3.org/TR/ws-arch/ , 2003.05.14

66
PTP protokolai
L. Wilkes The Web Services Protocol Stack, CBDI
Web Services Roadmap, May 2004
http//roadmap.cbdiforum.com/reports/protocols/ind
ex.php
67
PTP protokolus rekomenduojancios ir rengiancios
institucijos

• W3C (XML, XML-Signature, XML-Encryption,
  SOAP, WSDL, )
• OASIS (tik E-Business tematikai UDDI, WSBPL,
  WSRF, WS-Notification, )
• IBM Microsoft kt. (didele WS- standartu
  grupe)
• Liberty Alliance Sun, Oracle, mobile Co.,
  (Federated identity)
• Globus Alliance IBM kt. (Stateful Web
  Services)
• WS-I visi, net ir OMG interoperability (Basic,
  Security, Messaging, profiles testing tools,
  sample Web Services WG)

68
Vandens ištekliu valdymoinformacine sistema
(pagrista pasaulinio tinklo paslaugomis)
69
Semantiniu PTP ideja (1)

• D. Fensel, Ch. Bussler. Semantic Web Enabled Web
  Serviceshttp//nextwebgeneration.com/swsi/resourc
  es/wsmf.pdf

Informacijos radimo, gavimo, vaizdavimo,
interpretavimo, palaikymo problemiškumas
Pasaulinis tinklas (WWW) URI, HTML, HTTP
Semantinis pasaulinis tinklas RDF, RDF(S), OWL
Statinis pasaulinis tinklas
70
Semantiniu PTP (2)
Dinaminis pasaulinis tinklas
Pasaulinio tinklo paslaugos UDDI, WSDL, SOAP

• D. Fensel, Ch. Bussler. Semantic Web Enabled Web
  Serviceshttp//nextwebgeneration.com/swsi/resourc
  es/wsmf.pdf

Kompiuteriu skaiciuojamosios galios panaudojimas
Pasaulinis tinklas (WWW) URI, HTML, HTTP
Semantinis pasaulinis tinklas RDF, RDF(S), OWL
Statinis pasaulinis tinklas
71
Semantiniu PTP (3)
Pasaulinio tinklo naudojimas visu pajegumu
Dinaminis pasaulinis tinklas
Pasaulinio tinklo paslaugos UDDI, WSDL, SOAP
Intelektualios pasaulinio tinklo paslaugos

• D. Fensel, Ch. Bussler. Semantic Web Enabled Web
  Services, http//nextwebgeneration.com/swsi/resour
  ces/wsmf.pdf

Semantinis pasaulinis tinklas RDF, RDF(S), OWL
Statinis pasaulinis tinklas
Pasaulinis tinklas (WWW) URI, HTML, HTTP
72
SWSIs SWS Language effort, on top of Current WS
Standards Stack
Wire Protocols
Description
Discovery
W3C WS Choreograph Group BPEL4WS (Microsoft, IBM,
BEA) WSCL (HP)BPML (Most but not Microsoft) WSCI
(Sun, BEA, Yahoo, ) XLANG (Microsoft), WSFL
(IBM), BPEL4WS
DiscoveryInvocationInteroperationDeal
NegotiationCompositionMonitoringVerification
S W S L
SOAP Blocks
Agreements
SOAP/XMLP
Process
XML
WSDL Extensions
Categorization
HTTP/SMTP/BEEP
WSDL
Registry (UDDI)
TCP/IP
XML
Inspection
M. Kifer, D. Martin. Bringing Services to the
Semantic Web and Semantics to Web Services,
Dec. 16, 2002 http//swsc.semanticweb.org/resource
s/swsc-lc-intro.ppt
73
Skaiciuojamieji tinklai (angl. Grid Computing)

• http//www.webopedia.com/TERM/g/grid_computing.htm
  l Grid computing is a form of networking. Unlike
  conventional networks that focus on communication
  among devices, grid computing harnesses unused
  processing cycles of all computers in a network
  for solving problems too intensive for any
  stand-alone machine.
• http//whatis.techtarget.com/Grid computing (or
  the use of a computational grid) is applying the
  resources of many computers in a network to a
  single problem at the same time - usually to a
  scientific or technical problem that requires a
  great number of computer processing cycles or
  access to large amounts of data.

74
Atviruju standartu pletra
T. Hey, G. Fox The Future of the Grid -
e-Science to e-Business, 2003.03.28
CERNGridLectures5.ppt , http//www.globus.org
75
Išskirstytu skaiciavimu globaliuose tinkluose
numatoma raida
T. Hey, G. Fox The Future of the Grid -
e-Science to e-Business, 2003.03.28
CERNGridLectures5.ppt , http//www.globus.org
76
SemPT ateities bendrasis kontekstas
GridSemW
GridWebServ
GridComputing
SemWebServ
WebServ
SemWeb
Web
77
SemPT ateities bendrasis kontekstas
...
....
GridSemW
GridWebServ
GridComputing
WF
BPEL4WS
...
SemWebServ
WebServ
SemWeb
Web
78
IŠVADOS

• Ontologijos (t.y., strukturizuota, specializuota
  atskiroms taikomosioms sritims ir pritaikyta
  bendram kompiuterizuotam naudojimui terminija)
  šiuo metu tiesiog masiškai pradedamos naudoti
  informacinems sistemoms intelektualizuoti
  (informacijos resursu aprašymui, informacijos
  indeksavimui pasauliniame kompiuteriu tinkle).
• Pasaulinis tinklas (WWW) palaipsniui pradeda
  peraugti i semantini pasaulini tinkla (SPT,
  Semantic Web), kurio informacija gales suprasti
  (t.y., naudoti prasminiam loginiam išvedimui)
  kompiuterines programos.
• Ontologiju naudojimo svarba realizuojant SPT
  analogiška kalbu mokejimo svarbai žmoniu
  tarpusavio bendravime.

79
Aciu už demesi !