è è è RDF-perusteet 7 RDF-perusteet

Koko: px
Aloita esitys sivulta:

Download "è è è RDF-perusteet 7 RDF-perusteet"

Transkriptio

1 7 RDF-perusteet Semanttisen Webin määrittelyteknisen ytimen muodostaa siis Resource Description Framework (RDF) -määritys. Tarkastellaan seuraavassa lyhyesti kielen (kaikille sovelluksille yhteisiä) primitiivejä lähemmin. RDF määrittelee lausumien perusrakenteen lisäksi erityisesti tyypitetyn literaalin käsitteen (vrt. XML Schema). Tämän lisäksi kieli esittelee joukko yksinkertaisia tietorakenteita: säiliöitä ja kokoelmia, sekä ns. reifikaation käsitteen 144

2 7.1 Välisoitto RDF-tietomalli tähtää siis kaikentyyppiseen mallintamiseen Malli taipuukin useiden sovellusten käyttöön Käytännön sovelluksissa "realistinen minimalismi" RDF:n eri piirteiden hyödyntämisessä on kuitenkin kelpo tie 145

3 7.2 Vielä tyhjistä solmuista Tyhjä solmu on siis RDF-graafin osa jolle ei haluta pakottaa globaalia nimeä - monipaikkaiset relaatiot - "muuttujat" (vrt. "on olemassa X, s.e. Address(X, "Kotikatu 1") N3-tiedostoissa tyhjä solmu nimetään esim. _:x ex:address "Kotikatu 1". RDF/XML-tiedostoissa tyhjä solmu nimetään attribuutilla rdf:nodeid: <rdf:description rdf:about=" <dc:title>rdf/xml Syntax Specification (Revised)</dc:title> <exterms:editor rdf:nodeid="abc"/> <rdf:description rdf:nodeid="abc"> <exterms:fullname>dave Beckett</exterms:fullName> <exterms:homepage rdf:resource=" 146

4 7.3 Tyypitetyt literaalit (1/2) Oletusarvoisesti literaali on vain merkkijono: ex:85740 ex:age "27". Merkkijonon tulkinta voidaan tuntea "etukäteen" sovelluksen perusteella tai kertoa toisella lausumalla Literaaliin voidaan kuitenkin myös liittää tieto datatyypistä (vrt. XML Schema); tuloksena tyypitetty literaali (Typed Literal): ex:85740 ex:age "27"^^< tai ex:85740 ex:age "27"^^xsd:integer. RDF määrittelee vain yhden oman datatyypin (rdf:xmlliteral), muuten nojaudutaan toisaalla esiteltyihin (periaatteessa taas mv. URI-nimiä) Osaa XML-skeemojen esimääritellyistä datatyypeistä ei suositella käytettäväksi näiden olettamusten tai tulkinnanvaraisuuden takia 147

5 7.4 Tyypitetyt literaalit (2/2) RDF/XML-syntaksissa tyypitetty literaali esitetään attribuutilla rdf:datatype: <rdf:rdf xmlns:rdf=" xmlns:exterms=" <rdf:description rdf:about=" <exterms:creation-date rdf:datatype= " </exterms:creation-date> </rdf:rdf> Sama N3-muodossa: ex:index.html exterms:creation-date " "^^xsd:date. Tekstientiteettejä käytetään toisinaan lyhentämään RDF/XML-koodia, esim.: <!DOCTYPE rdf:rdf [<!ENTITY xsd " 148

6 7.5 URI-nimien sieventäminen RDF/XML sallii suhteellisten nimien käytön resurssien URI-nimien koodaamisessa fragmenttiosoitteiden avulla (tällöin rdf:about rdf:id). Oletetaan esimerkiksi että ao. esimerkkitiedoston osoite on Ts. ao. koodinpätkä... <rdf:description rdf:id="item10245"> <exterms:model rdf:datatype="&xsd;string">overnighter</exterms:model> <exterms:sleeps rdf:datatype="&xsd;integer">2</exterms:sleeps>...vastaa N3-koodia < exterms:model "Overnighter"^^xsd:string. RDF/XML sallii myös XML:n base-attribuutin käytön (attribuutti xml:base) N3-tiedostossa voidaan vastaavasti viitata notaatiolla <#item10245> exterms:model "Overnighter"^^xsd:string. 149

7 7.6 Säiliöt RDF määrittelee kolme ns. säiliöitä (Container) kuvailevaa käsitettä: - pussi (rdf:bag): ei järjestystä (monikerrat sallitaan) - jono (rdf:seq): järjestetty - vaihtoehdot (rdf:alt): 1. arvo on oletusarvo, muuten järjestyksellä ei väliä Säiliöominaisuus voidaan liittää mihin tahansa resurssiin; tällöin halutaan lähinnä käyttää neutraalia jäsenyyspredikaattia rdf:_n missä n=1,2,3,... Yo. määritelmät ovat "vain" tarkoitettuja tulkintoja; RDF ei määrittele käsitteille formaalia tulkintaa (joka olisi erilainen kuin RDF-graafin tulkinta muuten) 150

8 7.7 Esimerkki: RDF/XML ja vaihtoehdot Säiliössä voidaan käyttää koodia rdf:li: <rdf:rdf xmlns:rdf=" xmlns:s=" <rdf:description rdf:about=" <s:distributionsite> <rdf:alt> <rdf:li rdf:resource="ftp://ftp.example.org"/> <rdf:li rdf:resource="ftp://ftp1.example.org"/> <rdf:li rdf:resource="ftp://ftp2.example.org"/> </rdf:alt> </s:distributionsite> </rdf:rdf> N3:ssa joudutaan käyttämään numerointia (vrt. tyhjän solmun nimi!): ex:x11 rdf:_1 "ftp://ftp.example.org". 151

9 7.8 Kokoelmat Säiliötä ei voi "sulkea" kokoelma (Collection) korjaa tämän puutteen Kokoelmat ovat oleellisesti listarakenteita joiden 1. ja viimeinen alkio merkitään erikseen Listan jokainen alkio on implisiittisesti tyyppiä rdf:list: - rdf:first - rdf:rest - rdf:nil 152

10 7.9 RDF/XML ja kokoelmat <rdf:description rdf:about=" <s:students rdf:parsetype="collection"> <rdf:description rdf:about=" <rdf:description rdf:about=" </s:students> /rdf:description> Yo. lyhennemerkintä on käytössä mukavampi kuin täyspitkä versio, esim.: <rdf:description rdf:about=" <s:students rdf:nodeid="sch1"/>... <rdf:description rdf:nodeid="sch2"> <rdf:first rdf:resource=" <rdf:rest rdf:nodeid="sch3"/> <rdf:description rdf:nodeid="sch3"> <rdf:first rdf:resource=" <rdf:rest rdf:resource=" 153

11 7.10 Reifikaatio Joskus on tarpeen sanoa jotain itse lausumista, esim. kuka sanoi sen Reifikaatio (Reification) tarjoaa mahdollisuuden koodata lausumiin liitettäviä ominaisuuksia: esim. exproducts:item10245 exterms:weight "2.4"^^xsd:decimal. Voidaan nimetä seuraavasti: exproducts:triple12345 rdf:type rdf:statement. exproducts:triple12345 rdf:subject exproducts:item exproducts:triple12345 rdf:predicate exterms:weight. exproducts:triple12345 rdf:object "2.4"^^xsd:decimal. Nyt voidaan sanoa esim. exproducts:triple12345 dc:creator exstaff: Reifikaatio ei kuvaa viittaamansa lausuman sisältöä vaan vain viittaa siihen objektina 154

12 7.11 Oletusarvo rdf:value Toisinaan on hyödyllistä sanoa mikä tietorakenteen luetelluista arvoista on "tärkein" (vrt. rdf:alt ja oletusarvo). esim. exproduct:item10245 exterms:weight _:weight _:weight10245 rdf:value "2.4"^^xsd:decimal. _:weight10245 exterms:units exunits:kilograms. RDF/XML vastaavasti (huomaa myös rdf:parsetype="resource" joka määrittelee implisiittisesti tyhjän solmun): <rdf:description rdf:about=" <exterms:weight rdf:parsetype="resource"> <rdf:value rdf:datatype="&xsd;decimal">2.4</rdf:value> <exterms:units rdf:resource=" </exterms:weight> Aina tärkeintä (yhtä) arvoa ei toki ole (esim. osoitetiedot) 155

13 7.12 XML-literaalit Toisinaan literaaleihin on tarpeen kirjoittaa myös merkkausta - esim. merkkiviittauksia, matemaattista notaatiota tms. merkkausta <?xml version="1.0"?> <rdf:rdf xmlns:rdf=" xmlns:dc=" xml:base=" <rdf:description rdf:id="book12345"> <dc:title rdf:parsetype="literal"> <span xml:lang="en"> The <em><br /></em> Element Considered Harmful. </span> </dc:title> </rdf:rdf> Fragmenttiin liitetään RDF/XML-dokumentin nimiavaruuksien prefiksinimet (muttei esim. dokumentin omia xml:lang ja xml:base -tietoja) 156

14 7.13 RDF ja xml:lang Maailmassa on muitakin kieliä kuin englannin kieli, siispä (literaalien) kieli pitää voida merkitä dokumenttiin attribuutilla xml:lang: <rdf:description rdf:about=" xml:lang="de"> <dc:title>der Baum</dc:title> <dc:description>das Buch ist außergewöhnlich</dc:description> <dc:title xml:lang="en">the Tree</dc:title> Tämä mutkistaa RDF-graafin käsitettä hieman literaalien osalta (kielikoodia voidaan tosin ajatella vain erikoisella tavalla koodattuna ja periytyvänä datatyypin määrittelynä) Kielikoodi ei kuitenkaan periydy XML-literaalin sisään (vrt. edellinen sivu) N3:ssa (laajasti tulkittuna) kielikoodit merkitään "kielitagin" avulla ex:baum dc:title "The 157

15 7.14 Lopuksi RDF on pohjimmiltaan melko yksinkertainen tietomalli, joka melko intuitiivisesti rakentaa semanttista yhteensopivuutta sovellusten välille RDF:stä voidaan löytää kaikenlaisia puutteita myös RDF/XML-formaatin pulmat ovat synnyttäneet kokonaisen runsaasti "vaihtoehtoisia" esitystapoja Perusidea on joka tapauksessa ok; omissa sovelluksissa kannattaa kuinkin miettiä kahteen kertaan haluaako todella... - käyttää reifikaatioita (siis oman suunnitteluratkaisun osana) - käyttää säiliöitä (ainakaan sellaisenaan) - käyttää tyhjiä solmuja monipaikkaisten relaatioiden esittämiseen, jne. Pieni on kaunista, tässäkin asiassa 158

RDF ja RDFS. 8 RDF ja RDFS

RDF ja RDFS. 8 RDF ja RDFS 8 RDF ja RDFS RDF:n merkitys selkiytyy kun tarkastelemme RDFsanastojen määrittelyä (kuvailua). RDF-skeemat (RDF Schema) tarjoaa peruskäsitteet joiden varassa voidaan karkeasti luonnehtia esim. yksinkertaisten

Lisätiedot

Luento 12: XML ja metatieto

Luento 12: XML ja metatieto Luento 12: XML ja metatieto AS-0.110 XML-kuvauskielten perusteet Janne Kalliola XML ja metatieto Metatieto rakenne sanasto Resource Description Framework graafikuvaus XML Semanttinen Web agentit 2 1 Metatieto

Lisätiedot

Semanttinen Web. Ossi Nykänen. Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), Hypermedialaboratorio W3C Suomen toimisto

Semanttinen Web. Ossi Nykänen. Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), Hypermedialaboratorio W3C Suomen toimisto Semanttinen Web Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), Hypermedialaboratorio W3C Suomen toimisto Esitelmä Hyvin lyhyt versio: Semanttinen Web (SW) on

Lisätiedot

RDF-TIETOMALLI TOIMINTAPROSESSIN TIEDONHALLINNAN TUKENA

RDF-TIETOMALLI TOIMINTAPROSESSIN TIEDONHALLINNAN TUKENA Maiju Virtanen RDF-TIETOMALLI TOIMINTAPROSESSIN TIEDONHALLINNAN TUKENA Esimerkkinä suomalainen lainsäädäntöprosessi Tietojärjestelmätieteen pro gradu -tutkielma 08.10.2004 Jyväskylän yliopisto Tietojenkäsittelytieteen

Lisätiedot

Eero Hyvönen. Semanttinen web. Linkitetyn avoimen datan käsikirja

Eero Hyvönen. Semanttinen web. Linkitetyn avoimen datan käsikirja Eero Hyvönen Semanttinen web Linkitetyn avoimen datan käsikirja WSOY:n kirjallisuussäätiö on tukenut teoksen kirjoittamista Copyright 2018 Eero Hyvönen & Gaudeamus Gaudeamus Oy www.gaudeamus.fi Kansi:

Lisätiedot

6 Semanttinen Web 101

6 Semanttinen Web 101 6 Semanttinen Web 101 Laajamittainen tiedonvälitys edellyttää sopimusta tietorakenteista. Tietorakenteiden ohella tarvitaan kuitenkin myös sopimuksia eri tietorakenteiden välisistä yhteyksistä. Jos kaikki

Lisätiedot

6 Semanttinen Web 101

6 Semanttinen Web 101 6 Semanttinen Web 101 Laajamittainen tiedonvälitys edellyttää sopimusta tietorakenteista. Tietorakenteiden ohella tarvitaan kuitenkin myös sopimuksia eri tietorakenteiden välisistä yhteyksistä. Jos kaikki

Lisätiedot

6 Semanttinen Web 101

6 Semanttinen Web 101 6 Semanttinen Web 101 Laajamittainen tiedonvälitys edellyttää sopimusta tietorakenteista. Tietorakenteiden ohella tarvitaan kuitenkin myös sopimuksia eri tietorakenteiden välisistä yhteyksistä. Jos kaikki

Lisätiedot

Paikkatiedot ja Web-standardit

Paikkatiedot ja Web-standardit Paikkatiedot ja Web-standardit Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), Hypermedialaboratorio W3C Suomen toimisto Esitelmä Hyvin lyhyt versio: World Wide

Lisätiedot

Semanttinen Web. Ossi Nykänen. Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto

Semanttinen Web. Ossi Nykänen. Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Semanttinen Web Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Esipuhe Semanttinen Web (SW) on laaja W3C:n visio ja hanke (Webin) yhteensopivan

Lisätiedot

Ontologiat merkitysten mallintamisessa: OWL. Eeva Ahonen

Ontologiat merkitysten mallintamisessa: OWL. Eeva Ahonen Ontologiat merkitysten mallintamisessa: OWL Eeva Ahonen 1.11.2004 Semanttinen tieto käsitemallit ihmisillä sisäiset mallit maailmantieto tarvitaan tekstin tulkitsemiseen tietokoneelle esim. sanat vain

Lisätiedot

W3C-teknologiat ja yhteensopivuus

W3C-teknologiat ja yhteensopivuus W3C-teknologiat ja yhteensopivuus Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), Hypermedialaboratorio W3C Suomen toimisto Esitelmä Hyvin lyhyt versio: W3C asettaa

Lisätiedot

Semanttinen Web. Ossi Nykänen Tampereen teknillinen yliopisto (TTY), DMI / Hypermedialaboratorio W3C Suomen toimisto

Semanttinen Web. Ossi Nykänen Tampereen teknillinen yliopisto (TTY), DMI / Hypermedialaboratorio W3C Suomen toimisto Semanttinen Web Ossi Nykänen ossi.nykanen@tut.fi Tampereen teknillinen yliopisto (TTY), DMI / Hypermedialaboratorio W3C Suomen toimisto Esitelmä "Semanttinen Web" Sisältö Konteksti: W3C, Web-teknologiat

Lisätiedot

Semanttinen Web. Ossi Nykänen. Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto

Semanttinen Web. Ossi Nykänen. Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Semanttinen Web Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Esitelmä Hyvin lyhyt versio: World Wide Web Consortium (W3C) on kansainvälinen

Lisätiedot

3 Verkkosaavutettavuuden tekniset perusteet

3 Verkkosaavutettavuuden tekniset perusteet 3 Verkkosaavutettavuuden tekniset perusteet Saavutettavuuden toteuttaminen edellyttää lähtökohtaisesti tietoa laitteista ja sovelluksista, käyttäjistä ja käyttötavoista, sekä tekniikasta. Tekniikasta on

Lisätiedot

Semanttisen webin käsikirja (luonnos)

Semanttisen webin käsikirja (luonnos) Semanttisen webin käsikirja (luonnos) Eero Hyvönen Aalto-yliopisto ja Helsingin yliopisto Semantic Computing Research Group (SeCo) ja HELDIG-keskus http://seco.cs.aalto.fi ja http://heldig.fi 1.2.2017

Lisätiedot

Semanttinen Web ja Webteknologiat

Semanttinen Web ja Webteknologiat Semanttinen Web ja Webteknologiat Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Esipuhe Semanttinen Web (SW) on laaja W3C:n visio ja hanke

Lisätiedot

tään painetussa ja käsin kirjoitetussa materiaalissa usein pienillä kreikkalaisilla

tään painetussa ja käsin kirjoitetussa materiaalissa usein pienillä kreikkalaisilla 2.5. YDIN-HASKELL 19 tään painetussa ja käsin kirjoitetussa materiaalissa usein pienillä kreikkalaisilla kirjaimilla. Jos Γ ja ovat tyyppilausekkeita, niin Γ on tyyppilauseke. Nuoli kirjoitetaan koneella

Lisätiedot

URI:n muodostamisen prosessi (suositusluonnoksen liite 1)

URI:n muodostamisen prosessi (suositusluonnoksen liite 1) URI:n muodostamisen prosessi (suositusluonnoksen liite 1) Keskustelutilaisuus JHS-suositusluonnoksesta Paikkatiedon yksilöivät tunnisteet Kai Koistinen 19.11.2014 Liite 1. URI:n muodostamisen prosessi

Lisätiedot

SÄHKE-hanke. Abstrakti mallintaminen Tietomallin (graafi) lukuohje

SÄHKE-hanke. Abstrakti mallintaminen Tietomallin (graafi) lukuohje 04.02.2005 1 (6) SÄHKE-hanke Versio ja pvm Laatinut Tarkpvm Tarkastanut Hyvpvm Hyväksynyt 2.0 / 04.02.2005 Anneli Rantanen 15.02.2005 Markus Merenmies 18.02.2005 Ohjausryhmä 04.02.2005 2 (6) Muutoshistoria

Lisätiedot

ONKI SKOS Sanastojen ja ontologioiden julkaiseminen ja käyttö Asiasanaston muuntaminen SKOS muotoon: case YSA

ONKI SKOS Sanastojen ja ontologioiden julkaiseminen ja käyttö Asiasanaston muuntaminen SKOS muotoon: case YSA ONKI SKOS Sanastojen ja ontologioiden julkaiseminen ja käyttö Asiasanaston muuntaminen SKOS muotoon: case YSA ONKI julkistustilaisuus 12.9.2008 Jouni Tuominen, Matias Frosterus Semantic Computing Research

Lisätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 30. marraskuuta 2015

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 30. marraskuuta 2015 TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 30. marraskuuta 2015 Sisällys t Väitöstilaisuus 4.12.2015 kello 12 vanhassa juhlasalissa S212 saa tulla 2 demoruksia

Lisätiedot

Tutkitaan sitten HTML-dokumenttien anatomiaa, jotta päästään käsiksi rakenteisten dokumenttien käsitteistöön esimerkkien kautta.

Tutkitaan sitten HTML-dokumenttien anatomiaa, jotta päästään käsiksi rakenteisten dokumenttien käsitteistöön esimerkkien kautta. 3 HTML ja XHTML Tutkitaan sitten HTML-dokumenttien anatomiaa, jotta päästään käsiksi rakenteisten dokumenttien käsitteistöön esimerkkien kautta.

Lisätiedot

SPARQL-workshop. Sini Pessala Kirjastoverkkopäivät KANSALLISKIRJASTO - Kirjastoverkkopalvelut

SPARQL-workshop. Sini Pessala Kirjastoverkkopäivät KANSALLISKIRJASTO - Kirjastoverkkopalvelut SPARQL-workshop Sini Pessala Kirjastoverkkopäivät 23.10.2013 Esittely Sini Pessala Tietojärjestelmäasiantuntija Kansalliskirjasto, ONKI-projekti Avustajina Osma Suominen Henri Ylikotila 23.10.2013 Kirjastoverkkopäivät

Lisätiedot

Semanttisen webin käsikirja (luonnos)

Semanttisen webin käsikirja (luonnos) Semanttisen webin käsikirja (luonnos) Eero Hyvönen Aalto-yliopisto ja Helsingin yliopisto Semantic Computing Research Group (SeCo) ja HELDIG-keskus http://seco.cs.aalto.fi ja http://heldig.fi 19.1.2017

Lisätiedot

12 Pari sanaa sovelluskehityksestä

12 Pari sanaa sovelluskehityksestä 12 Pari sanaa sovelluskehityksestä Kurssin lopuksi pohdimme yksinkertaisia tietointensiivisiä sovelluksia. Pyrkimyksenä on valottaa eri tekniikoiden merkitystä ja hajautettuihin sovelluksiin tyypillisesti

Lisätiedot

XML kielioppi. Elementtien ja attribuuttien määrittely. Ctl230: Luentokalvot Miro Lehtonen

XML kielioppi. Elementtien ja attribuuttien määrittely. Ctl230: Luentokalvot Miro Lehtonen XML kielioppi Elementtien ja attribuuttien määrittely Ctl230: Luentokalvot 11.10.2004 Miro Lehtonen Dokumenttien mallinnus Säännöt dokumenttityypeille 3Mahdollisten dokumenttirakenteiden määrittely Samassa

Lisätiedot

Tarkastelemme ensin konkreettista esimerkkiä ja johdamme sitten yleisen säännön, joilla voidaan tietyissä tapauksissa todeta kielen ei-säännöllisyys.

Tarkastelemme ensin konkreettista esimerkkiä ja johdamme sitten yleisen säännön, joilla voidaan tietyissä tapauksissa todeta kielen ei-säännöllisyys. Ei-säännöllisiä kieliä [Sipser luku 1.4] Osoitamme, että joitain kieliä ei voi tunnistaa äärellisellä automaatilla. Tulos ei sinänsä ole erityisen yllättävä, koska äärellinen automaatti on äärimmäisen

Lisätiedot

standardit (W3C, ISO) Semanttisen laskennan tutkimusryhmä Teknillinen korkeakoulu kim.viljanen@tkk.fi

standardit (W3C, ISO) Semanttisen laskennan tutkimusryhmä Teknillinen korkeakoulu kim.viljanen@tkk.fi Semanttisen webin standardit (W3C, ISO) ja teknologiat Kim Viljanen Kim Viljanen Semanttisen laskennan tutkimusryhmä Teknillinen korkeakoulu kim.viljanen@tkk.fi SeCon Semantic web -patteristo XML Finland

Lisätiedot

9 RDF-kyselykielten perusteet: SPARQL

9 RDF-kyselykielten perusteet: SPARQL 9 RDF-kyselykielten perusteet: SPARQL Pelkkä yhteensopiva tietomalli ei sovellusten toteuttamiseen tietenkään riitä. RDFsovellusten yleiskäyttöisen perustan muodostavat erilaisten kyselyrajapinnat ja -

Lisätiedot

Johdatus rakenteisiin dokumentteihin

Johdatus rakenteisiin dokumentteihin -RKGDWXVUDNHQWHLVLLQGRNXPHQWWHLKLQ 5DNHQWHLQHQGRNXPHQWWL= rakenteellinen dokumentti dokumentti, jossa erotetaan toisistaan dokumentin 1)VLVlOW, 2) UDNHQQHja 3) XONRDVX(tai esitystapa) jotakin systemaattista

Lisätiedot

9 RDF-kyselykielten perusteet: SPARQL

9 RDF-kyselykielten perusteet: SPARQL 9 RDF-kyselykielten perusteet: SPARQL Pelkkä yhteensopiva tietomalli ei sovellusten toteuttamiseen tietenkään riitä. RDFsovellusten yleiskäyttöisen perustan muodostavat erilaisten kyselyrajapinnat ja -

Lisätiedot

ELM GROUP 04. Teemu Laakso Henrik Talarmo

ELM GROUP 04. Teemu Laakso Henrik Talarmo ELM GROUP 04 Teemu Laakso Henrik Talarmo 23. marraskuuta 2017 Sisältö 1 Johdanto 1 2 Ominaisuuksia 2 2.1 Muuttujat ja tietorakenteet...................... 2 2.2 Funktiot................................

Lisätiedot

7/20: Paketti kasassa ensimmäistä kertaa

7/20: Paketti kasassa ensimmäistä kertaa Ohjelmointi 1 / syksy 2007 7/20: Paketti kasassa ensimmäistä kertaa Paavo Nieminen nieminen@jyu.fi Tietotekniikan laitos Informaatioteknologian tiedekunta Jyväskylän yliopisto Ohjelmointi 1 / syksy 2007

Lisätiedot

Esimerkki uudelleenohjauksen teknisestä toteutuksesta

Esimerkki uudelleenohjauksen teknisestä toteutuksesta Esimerkki uudelleenohjauksen teknisestä toteutuksesta Keskustelutilaisuus JHS-suositusluonnoksesta Paikkatiedon yksilöivät tunnisteet Marko Kauppi 19.11.2014 Liite 2. Esimerkki tiedontuottajan URIpalvelun

Lisätiedot

Paikannimirekisteri linkitettynä tietona

Paikannimirekisteri linkitettynä tietona Paikannimirekisteri linkitettynä tietona URI-tunnukset paikkatietokohteille, (JHS 193 paikkatiedon yksilöivät tunnisteet) Linkitetty tieto eli webin yleiset teknologiat: RDF, OWL, SPARQL jne. Saavutettavuus

Lisätiedot

Logiikkapohjainen lähestymistapa RDF-tietolähteen esittämiseksi. Tuomas Räsänen

Logiikkapohjainen lähestymistapa RDF-tietolähteen esittämiseksi. Tuomas Räsänen Logiikkapohjainen lähestymistapa RDF-tietolähteen esittämiseksi Tuomas Räsänen Tampereen yliopisto Luonnontieteiden tiedekunta Tietojenkäsittelytieteiden tutkinto-ohjelma Pro gradu -tutkielma Ohjaaja:

Lisätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 3. lokakuuta 2016

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 3. lokakuuta 2016 TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 3. lokakuuta 2016 Sisällys n tunnistin Jay : An Efficient Context-Free Parsing Algorithm. Communications of the

Lisätiedot

M. Merikanto 2012 XML. Merkkauskieli, osa 2

M. Merikanto 2012 XML. Merkkauskieli, osa 2 XML Merkkauskieli, osa 2 Esimerkki: XML-dokumentti resepti maitokaakao

Lisätiedot

12 Case: "hajautettu kauppapaikka"

12 Case: hajautettu kauppapaikka 12 Case: "hajautettu kauppapaikka" Kurssin lopuksi tarkastelemme yksinkertaista sovellusesimerkkiä joka pyrkii valottamaan eri tekniikoiden suhdetta ja hajautettuihin sovelluksiin tyypillisesti liittyvien

Lisätiedot

Rakenteisten dokumenttien jatkokurssi, syksy 2006

Rakenteisten dokumenttien jatkokurssi, syksy 2006 Rakenteisten dokumenttien jatkokurssi, syksy 2006 MATHM-57200 Rakenteisten dokumenttien jatkokurssi, 5 op opetetaan syksyn 1-2 periodeilla Kotisivu: http://matriisi.ee.tut.fi/hmopetus/rdj/index.html Luennot:

Lisätiedot

JHS 183 Julkisen hallinnon palvelujen tietomalli ja ryhmittely verkkopalveluissa Liite 3 XML-skeeman kuvaus ja esimerkit

JHS 183 Julkisen hallinnon palvelujen tietomalli ja ryhmittely verkkopalveluissa Liite 3 XML-skeeman kuvaus ja esimerkit JHS 183 Julkisen hallinnon palvelujen tietomalli ja ryhmittely verkkopalveluissa Liite 3 XML-skeeman kuvaus ja esimerkit Versio: 05.03.2013 Julkaistu: 28.2.2013 Voimassaoloaika: toistaiseksi Sisällys 1

Lisätiedot

Helsingin yliopisto Tietojenkäsittelytieteen laitos XML-metakieli (2011) Harri Laine 1. Jäsennys ja sarjallistaminen

Helsingin yliopisto Tietojenkäsittelytieteen laitos XML-metakieli (2011) Harri Laine 1. Jäsennys ja sarjallistaminen Jäsennys ja sarjallistaminen Tietorakenteen määrittely Hyvinmuodostettu / validi rakenne Rakenteen määrittely DTD XML-jäsentäjä (parser) on työkalu, joka pystyy muodostamaan puurakenteen tekstuaalisesta

Lisätiedot

W3C, Web-teknologiat ja Semanttinen Web

W3C, Web-teknologiat ja Semanttinen Web W3C, Web-teknologiat ja Semanttinen Web Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), Hypermedialaboratorio W3C Suomen toimisto Esitelmä Hyvin lyhyt versio:

Lisätiedot

RDF-muotoisen tiedon hallinta

RDF-muotoisen tiedon hallinta RDF-muotoisen tiedon hallinta Topi Sarkkinen Pro gradu -tutkielma Helsinki 7.4.2016 HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI

Lisätiedot

HELIA 1 (17) Outi Virkki Tiedonhallinta

HELIA 1 (17) Outi Virkki Tiedonhallinta HELIA 1 (17) Luento 4.1 Looginen suunnittelu... 2 Relaatiomalli... 3 Peruskäsitteet... 4 Relaatio... 6 Relaatiokaava (Relation schema)... 6 Attribuutti ja arvojoukko... 7 Monikko... 8 Avaimet... 10 Avain

Lisätiedot

XML / DTD / FOP -opas Internal

XML / DTD / FOP -opas Internal XML / DTD / FOP -opas Internal Reviewed: - Status: pending approval Approved by: - Author: Sakari Lampinen Revision: 1.0 Date: 15.10.2000 1 Termit DTD (data type definition) on määrittely kielelle, niinkuin

Lisätiedot

Muodolliset kieliopit

Muodolliset kieliopit Muodolliset kieliopit Luonnollisen kielen lauseenmuodostuksessa esiintyy luonnollisia säännönmukaisuuksia. Esimerkiksi, on jokseenkin mielekästä väittää, että luonnollisen kielen lauseet koostuvat nk.

Lisätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 16. marraskuuta 2015

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 16. marraskuuta 2015 ja ja TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho NFA:ksi TIETOTEKNIIKAN LAITOS 16. marraskuuta 2015 Sisällys ja NFA:ksi NFA:ksi Kohti säännöllisiä lausekkeita ja Nämä tiedetään:

Lisätiedot

Esimerkkejä polynomisista ja ei-polynomisista ongelmista

Esimerkkejä polynomisista ja ei-polynomisista ongelmista Esimerkkejä polynomisista ja ei-polynomisista ongelmista Ennen yleisempiä teoriatarkasteluja katsotaan joitain tyypillisiä esimerkkejä ongelmista ja niiden vaativuudesta kaikki nämä ongelmat ratkeavia

Lisätiedot

9.16 XSLT ja nimiavaruudet (1/3): literaali oletusnimiavaruus

9.16 XSLT ja nimiavaruudet (1/3): literaali oletusnimiavaruus 9.16 XSLT ja nimiavaruudet (1/3): literaali oletusnimiavaruus XSL-muunnos voi tietenkin tuottaa myös tiettyyn nimiavaruuteen liittyviä kohdedokumentteja (tarvitaan aina jo esim. XHTML-sovelluksissa!) Helpoimmillaan

Lisätiedot

P e d a c o d e ohjelmointikoulutus verkossa

P e d a c o d e ohjelmointikoulutus verkossa P e d a c o d e ohjelmointikoulutus verkossa XML-kielen perusteet Teoria ja ohjelmointitehtävät XML-kielen perusteet 3 Sisältö YLEISKATSAUS KURSSIN SISÄLTÖIHIN... 7 YLEISKATSAUS KURSSIN SISÄLTÖIHIN...

Lisätiedot

Suunnitteluvaihe prosessissa

Suunnitteluvaihe prosessissa Suunnittelu Suunnitteluvaihe prosessissa Silta analyysin ja toteutuksen välillä (raja usein hämärä kumpaankin suuntaan) Asteittain tarkentuva Analyysi -Korkea abstraktiotaso -Sovellusläheiset käsitteet

Lisätiedot

XML johdatus: DTD. Jaana Holvikivi

XML johdatus: DTD. Jaana Holvikivi XML johdatus: DTD Jaana Holvikivi Dokumenttityypin rakennemäärittely DTD = kielioppi esim. XML- esitykselle Elementit Attribuutit Entiteetit ja notaatiot Prosessointikomennot DTD:n suunnittelu 19.1.2013

Lisätiedot

XHTML - harjoitus. Tehtävä1: Tee xhtml tiedosto käyttäen notepad (muistio) ohjelmaa. Tiedoston tallennus notepad (muistio) ohjelmassa:

XHTML - harjoitus. Tehtävä1: Tee xhtml tiedosto käyttäen notepad (muistio) ohjelmaa. Tiedoston tallennus notepad (muistio) ohjelmassa: XHTML - harjoitus Tehtävä1: Tee xhtml tiedosto käyttäen notepad (muistio) ohjelmaa Tiedoston tallennus notepad (muistio) ohjelmassa: Jokaisen XHTML-dokumentin tulisi alkaa XML-määrittelyllä(engl.XML-prologue),

Lisätiedot

Hahmon etsiminen syotteesta (johdatteleva esimerkki)

Hahmon etsiminen syotteesta (johdatteleva esimerkki) Hahmon etsiminen syotteesta (johdatteleva esimerkki) Unix-komennolla grep hahmo [ tiedosto ] voidaan etsia hahmon esiintymia tiedostosta (tai syotevirrasta): $ grep Kisaveikot SM-tulokset.txt $ ps aux

Lisätiedot

10 Tiedostot, dokumentit, tieto (&h-media)

10 Tiedostot, dokumentit, tieto (&h-media) 10 Tiedostot, dokumentit, tieto (&h-media) Tietokoneet käsittelevät tietoa tiedostojen muodossa Tietokoneiden yhteydessä dokumentilla tarkoitetaan tiedosto(je)n avulla esitettävää asiakokonaisuutta, joka

Lisätiedot

815338A Ohjelmointikielten periaatteet Harjoitus 2 vastaukset

815338A Ohjelmointikielten periaatteet Harjoitus 2 vastaukset 815338A Ohjelmointikielten periaatteet 2015-2016. Harjoitus 2 vastaukset Harjoituksen aiheena on BNF-merkinnän käyttö ja yhteys rekursiivisesti etenevään jäsentäjään. Tehtävä 1. Mitkä ilmaukset seuraava

Lisätiedot

Ohjelmoinnin peruskurssien laaja oppimäärä

Ohjelmoinnin peruskurssien laaja oppimäärä Ohjelmoinnin peruskurssien laaja oppimäärä Keskeneräinen luento 3: Listat (mm. SICP 22.2.3) Riku Saikkonen 31. 10. 2011 Sisältö 1 Linkitetyt listat 2 Linkitetyt listat (SICP 2.1.1, 2.2.1) funktionaalinen

Lisätiedot

10 Ohjelmoinnista Semanttisessa Webissä

10 Ohjelmoinnista Semanttisessa Webissä 10 Ohjelmoinnista Semanttisessa Webissä Semanttista Webiä (SW) on sivuttu kurssilla useaan otteeseen. Nyt tavoitteena on käydä tiiviisti läpi Semanttisen Webin tekninen perusta, esitellä muutamia esimerkkejä

Lisätiedot

Turingin koneen laajennuksia

Turingin koneen laajennuksia Turingin koneen laajennuksia Turingin koneen määritelmään voidaan tehdä erilaisia muutoksia siten että edelleen voidaan tunnistaa tasan sama luokka kieliä. Moniuraiset Turingin koneet: nauha jakautuu k

Lisätiedot

SQL-perusteet, SELECT-, INSERT-, CREATE-lauseet

SQL-perusteet, SELECT-, INSERT-, CREATE-lauseet SQL-perusteet, SELECT-, INSERT-, CREATE-lauseet A271117, Tietokannat Teemu Saarelainen teemu.saarelainen@kyamk.fi Lähteet: Leon Atkinson: core MySQL Ari Hovi: SQL-opas TTY:n tietokantojen perusteet-kurssin

Lisätiedot

Semanttinen web ja sukututkimus

Semanttinen web ja sukututkimus Jenni Myllynen Semanttinen web ja sukututkimus Tietotekniikan pro gradu -tutkielma 29. maaliskuuta 2007 Jyväskylän yliopisto Tietotekniikan laitos Jyväskylä Tekijä: Jenni Myllynen Yhteystiedot: jenni.myllynen@gmail.com

Lisätiedot

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016

ICS-C2000 Tietojenkäsittelyteoria Kevät 2016 ICS-C2000 Tietojenkäsittelyteoria Kevät 206 Kierros 0, 2. 24. maaliskuuta Huom! Perjantaina 25. maaliskuuta ei ole laskareita (pitkäperjantai), käykää vapaasti valitsemassanne ryhmässä aiemmin viikolla.

Lisätiedot

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 19. tammikuuta 2012

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 19. tammikuuta 2012 TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 19. tammikuuta 2012 Sisällys Sisällys Muistathan A B -konstruktion 0 k 1 i 2 s 3 s 4 a 5 0 k 1 o 2 i 3 r 4

Lisätiedot

Hohde Consulting 2004

Hohde Consulting 2004 Luento 5: XQuery AS-0.110 XML-kuvauskielten perusteet Janne Kalliola XQuery XQuery uudet funktiot sekvenssit muuttujat Iterointi järjestys suodatus järjestäminen Ehtorakenteet Muita toimintoja www.hohde.com

Lisätiedot

Harjoitus 1 -- Ratkaisut

Harjoitus 1 -- Ratkaisut Kun teet harjoitustyöselostuksia Mathematicalla, voit luoda selkkariin otsikon (ja mahdollisia alaotsikoita...) määräämällä soluille erilaisia tyylejä. Uuden solun tyyli määrätään painamalla ALT ja jokin

Lisätiedot

Varmennepalvelu Rajapintakuvaus Kansallisen tulorekisterin perustamishanke

Varmennepalvelu Rajapintakuvaus Kansallisen tulorekisterin perustamishanke Versio 1.0 Varmennepalvelu Rajapintakuvaus Kansallisen tulorekisterin perustamishanke Varmennepalvelu Rajapintakuvaus 2 (13) Versiohistoria Versio Päivämäärä Kuvaus 1.0 Dokumentti julkaistu. Varmennepalvelu

Lisätiedot

Kuinka määritellään 2 3?

Kuinka määritellään 2 3? Kuinka määritellään 2 3? y Nyt 3 = 1,7320508.... Luvut 3 2 x x 3 2 x 2 1 = 2, 2 1,7 3,2490, 2 1,73 3,3173, 2 1,732 3,3219,... ovat hyvin määriteltyjä koska näihin tarvitaan vain rationaalilukupotenssin

Lisätiedot

W3C ja alueellinen standardointi

W3C ja alueellinen standardointi W3C ja alueellinen standardointi Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Esitelmä Hyvin lyhyt versio: W3C on kansainvälinen konsortio

Lisätiedot

JHS XXX Paikkatiedon yksilöivät tunnisteet Liite 2: Esimerkki tiedontuottajan URI-palvelun teknisestä toteutuksesta

JHS XXX Paikkatiedon yksilöivät tunnisteet Liite 2: Esimerkki tiedontuottajan URI-palvelun teknisestä toteutuksesta JHS XXX Paikkatiedon yksilöivät tunnisteet Liite 2: Esimerkki tiedontuottajan URI-palvelun teknisestä toteutuksesta Versio: 2014-11-12 Julkaistu: Voimassaoloaika: Sisällys 1 Johdanto... 1 2 Tiedontuottajan

Lisätiedot

FORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus

FORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus FORMAALI SYSTEEMI (in Nutshell): Formaali kieli: aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus esim. SSM:n tai EBNF:n avulla Semantiikka:

Lisätiedot

TIEA341 Funktio-ohjelmointi 1, kevät 2008

TIEA341 Funktio-ohjelmointi 1, kevät 2008 TIEA34 Funktio-ohjelmointi, kevät 2008 Luento 3 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 2. tammikuuta 2008 Ydin-Haskell: Syntaksi Lausekkeita (e) ovat: nimettömät funktiot: \x

Lisätiedot

Ctl160 Tekstikorpusten tietojenkäsittely p.1/15

Ctl160 Tekstikorpusten tietojenkäsittely p.1/15 Ctl160 490160-0 Nicholas Volk Yleisen kielitieteen laitos, Helsingin yliopisto Ctl160 490160-0 p.1/15 Lisää säännöllisistä lausekkeista Aikaisemmin esityt * ja + yrittävät osua mahdollisimman pitkään merkkijonoon

Lisätiedot

Todistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia, niin A on rekursiivinen.

Todistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia, niin A on rekursiivinen. Lause: Tyhjyysongelma ei ole osittain ratkeava; ts. kieli ei ole rekursiivisesti lueteltava. L e = { w { 0, 1 } L(M w ) = } Todistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia,

Lisätiedot

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet )

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet ) T-79144 Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet 11-22) 26 29102004 1 Ilmaise seuraavat lauseet predikaattilogiikalla: a) Jokin porteista on viallinen

Lisätiedot

Näkymäpohjainen RDF-haku

Näkymäpohjainen RDF-haku Näkymäpohjainen RDF-haku Samppa Saarela Helsinki 26.5.2004 Pro Gradu -tutkielma HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Matemaattis-luonnontieteellinen Tekijä Författare Author Samppa Saarela

Lisätiedot

Poikkeusinfo XML-rajapinnan kuvaus, rajapinnan versio 2 Seasam Group

Poikkeusinfo XML-rajapinnan kuvaus, rajapinnan versio 2 Seasam Group 1.10.2010 1(15) Poikkeusinfo XML-rajapinnan kuvaus, rajapinnan versio 2 Seasam Group Graanintie 7 Tel. + 358 15 338 800 FIN-50190 MIKKELI Fax + 358 15 338 810 VERSIOHISTORIA Versio Pvm Tekijä Selite 1.0

Lisätiedot

Creative Commons ja yliopistot. V i l l e O k s a n e n

Creative Commons ja yliopistot. V i l l e O k s a n e n Creative Commons ja yliopistot V i l l e O k s a n e n 1 8. 2. 2 0 0 5 Kuka puhuu? OTK Tutkija, HIIT/SoberIT RIPOS Risks and prospects in Open Source www.ripos.org Väitöskirja tekeillä Joensuun yliopistossa

Lisätiedot

Attribuutti-kyselypalvelu

Attribuutti-kyselypalvelu Attribuutti-kyselypalvelu sivu 1/10 Sisällysluettelo 1 Johdanto... 3 2 Palvelut... 3 2.1 Ammattioikeudenrajoituslista... 3 2.2 Ammattioikeuslista... 3 2.3 Attribuutti-rajoitustietosanoma... 3 3 Palvelurajapinnan

Lisätiedot

Internet jolla on merkitystä

Internet jolla on merkitystä Internet jolla on merkitystä Semanttinen Web visio, kehitys ja tulevaisuus Ora Lassila Nokia Services USA ICT 2010 avauspuheenvuoro Keskiviikko 14.4. klo 8:30 Olen puhunut tästä jo aiemmin Onko sanoma

Lisätiedot

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 5. marraskuuta 2015

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 5. marraskuuta 2015 TIEA24 Automaatit ja kieliopit, syksy 205 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 5. marraskuuta 205 Sisällys Käsiteanalyysiä Tarkastellaan koodilukkoa äärellisenä automaattina. Deterministinen äärellinen

Lisätiedot

on rekursiivisesti numeroituva, mutta ei rekursiivinen.

on rekursiivisesti numeroituva, mutta ei rekursiivinen. 6.5 Turingin koneiden pysähtymisongelma Lause 6.9 Kieli H = { M pysähtyy syötteellä w} on rekursiivisesti numeroituva, mutta ei rekursiivinen. Todistus. Todetaan ensin, että kieli H on rekursiivisesti

Lisätiedot

Säännöllisten kielten sulkeumaominaisuudet

Säännöllisten kielten sulkeumaominaisuudet Säännöllisten kielten sulkeumaominaisuudet Osoitamme nyt, että säännöllisten kielten joukko on suljettu yhdisteen, konkatenaation ja tähtioperaation suhteen. Toisin sanoen jos A ja B ovat säännöllisiä,

Lisätiedot

Semanttinen web - lyhyt johdatus

Semanttinen web - lyhyt johdatus Semanttinen web - lyhyt johdatus Airi Salminen Jyväskylän yliopisto http://www.cs.jyu.fi/~airi/ Huhtikuu 2002 Airi Salminen, Semanttinen web - lyhyt johdatus, huhtikuu 2002 Sisältö 1. Webin historia 2.

Lisätiedot

Metatiedot organisaatioiden sisällönhallinnassa

Metatiedot organisaatioiden sisällönhallinnassa Metatiedot organisaatioiden sisällönhallinnassa Airi Salminen Jyväskylän yliopisto http://www.cs.jyu.fi/~airi/ Lainsäädäntöprosessin tiedonhallinnan kehittäminen Metatiedot suomalaisen lainsäädäntöprosessin

Lisätiedot

Luento 1: Johdanto merkintäkieliin

Luento 1: Johdanto merkintäkieliin Luento 1: Johdanto merkintäkieliin AS-0.110 XML-kuvauskielten perusteet Janne Kalliola Johdanto merkintäkieliin Merkintäkieliä SGML HTML XML XML:n peruspiirteet XML-dokumentin rakenne XML:n käyttö XML-pohjaisia

Lisätiedot

Rekursiiviset palautukset [HMU 9.3.1]

Rekursiiviset palautukset [HMU 9.3.1] Rekursiiviset palautukset [HMU 9.3.1] Yleisesti sanomme, että ongelma P voidaan palauttaa ongelmaan Q, jos mistä tahansa ongelmalle Q annetusta ratkaisualgoritmista voidaan jotenkin muodostaa ongelmalle

Lisätiedot

Resource Description Framework (RDF) -konsepti. Lauri Antikainen

Resource Description Framework (RDF) -konsepti. Lauri Antikainen Resource Description Framework (RDF) -konsepti Lauri Antikainen Opinnäytetyö Tietojenkäsittelyn koulutusohjelma 2013 Tiivistelmä Tietojenkäsittelyn koulutusohjelma Tekijä tai tekijät Lauri Antikainen Raportin

Lisätiedot

Miten Linked Data aineistoja tuotetaan ja. Semanttisen laskennan tutkimusryhmä SeCo Aalto-yliopisto kim.viljanen@tkk.fi

Miten Linked Data aineistoja tuotetaan ja. Semanttisen laskennan tutkimusryhmä SeCo Aalto-yliopisto kim.viljanen@tkk.fi Miten Linked Data aineistoja tuotetaan ja julkaistaan? Kim Viljanen Semanttisen laskennan tutkimusryhmä SeCo Aalto-yliopisto kim.viljanen@tkk.fi Webin killer app on web itse = valtava määrä informaatiota,

Lisätiedot

Tietorakenteet ja algoritmit

Tietorakenteet ja algoritmit Tietorakenteet ja algoritmit Pino Pinon määritelmä Pinon sovelluksia Järjestyksen kääntäminen Palindromiprobleema Postfix-lausekkeen laskenta Infix-lausekkeen muunto postfix-lausekkeeksi Sisäkkäiset funktiokutsut

Lisätiedot

ITKP102 Ohjelmointi 1 (6 op)

ITKP102 Ohjelmointi 1 (6 op) ITKP102 Ohjelmointi 1 (6 op) Tentaattori: Antti-Jussi Lakanen 22. huhtikuuta 2016 Vastaa kaikkiin tehtäviin. Tee jokainen tehtävä erilliselle konseptiarkille! Kirjoittamasi luokat, funktiot ja aliohjelmat

Lisätiedot

Attribuuttikieliopit

Attribuuttikieliopit TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 3. toukokuuta 2011 Sisällys t Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti

Lisätiedot

Tiedon mallintaminen ja esillesaanti. Web Ontology Language OWL Daniel Lillqvist 26.10.2015

Tiedon mallintaminen ja esillesaanti. Web Ontology Language OWL Daniel Lillqvist 26.10.2015 Tiedon mallintaminen ja esillesaanti Web Ontology Language OWL Daniel Lillqvist 26.10.2015 Ontologiat "An explicit formal specification of how to represent the objects, concepts and other entities that

Lisätiedot

8. Kieliopit ja kielet

8. Kieliopit ja kielet 8. Kieliopit ja kielet Suomen kielen sanoja voidaan yhdistellä monella eri tavalla. Kielioppi määrää sen, milloin sanojen yhdistely antaa oikein muodostetun lauseen. "Mies räpyttää siipiään" on kieliopillisesti

Lisätiedot

Helsingin yliopisto/tktl DO Tietokantojen perusteet, s 2000 Relaatiomallin peruskäsitteet Harri Laine 1. Relaatiotietokannat DONOTP

Helsingin yliopisto/tktl DO Tietokantojen perusteet, s 2000 Relaatiomallin peruskäsitteet Harri Laine 1. Relaatiotietokannat DONOTP RINT THIS DOCUM ENT Relaatiotietokannat DONOTP Relaatiomalli Perustana rakennetason tietomalli relaatiomalli (the relational model of data) perusteoria: Codd 1970 ensimmäiset kaupalliset toteutukset 70-luvun

Lisätiedot

Rekursiolause. Laskennan teorian opintopiiri. Sebastian Björkqvist. 23. helmikuuta Tiivistelmä

Rekursiolause. Laskennan teorian opintopiiri. Sebastian Björkqvist. 23. helmikuuta Tiivistelmä Rekursiolause Laskennan teorian opintopiiri Sebastian Björkqvist 23. helmikuuta 2014 Tiivistelmä Työssä käydään läpi itsereplikoituvien ohjelmien toimintaa sekä esitetään ja todistetaan rekursiolause,

Lisätiedot

UML-kielen formalisointi Object-Z:lla

UML-kielen formalisointi Object-Z:lla UML-kielen formalisointi Object-Z:lla Kalvot ja seminaarityö WWW:ssä: http://users.jyu.fi/~minurmin/opiskelu/form/ UML UML == Unified Modelling Language. OMG:n standardoima kieli ohjelmistojärjestelmien,

Lisätiedot

Sisällönhallinnan menetelmiä

Sisällönhallinnan menetelmiä Sisällönhallinnan menetelmiä Airi Salminen Jyväskylän yliopisto http://www.cs.jyu.fi/~airi/ Suomalaisen lainsäädäntötyön tiedonhallinta: suuntana semanttinen web RASKE2-projektin loppuseminaari Eduskunnassa

Lisätiedot