è è è RDF-perusteet 7 RDF-perusteet
|
|
- Joel Haapasalo
- 7 vuotta sitten
- Katselukertoja:
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
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ätiedotLuento 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ätiedotSemanttinen 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ätiedotRDF-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ätiedotEero 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ätiedot6 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ätiedot6 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ätiedot6 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ätiedotPaikkatiedot 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ätiedotSemanttinen 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ätiedotOntologiat 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ätiedotW3C-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ätiedotSemanttinen 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ätiedotSemanttinen 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ätiedot3 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ätiedotSemanttisen 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ätiedotSemanttinen 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ätiedottää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ätiedotURI: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ätiedotSÄ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ätiedotONKI 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ätiedotTIEA241 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ätiedotTutkitaan 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ätiedotSPARQL-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ätiedotSemanttisen 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ätiedot12 Pari sanaa sovelluskehityksestä
12 Pari sanaa sovelluskehityksestä Kurssin lopuksi pohdimme yksinkertaisia tietointensiivisiä sovelluksia. Pyrkimyksenä on valottaa eri tekniikoiden merkitystä ja hajautettuihin sovelluksiin tyypillisesti
LisätiedotXML 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ätiedotTarkastelemme 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ätiedotstandardit (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ätiedot9 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ätiedotJohdatus rakenteisiin dokumentteihin
-RKGDWXVUDNHQWHLVLLQGRNXPHQWWHLKLQ 5DNHQWHLQHQGRNXPHQWWL= rakenteellinen dokumentti dokumentti, jossa erotetaan toisistaan dokumentin 1)VLVlOW, 2) UDNHQQHja 3) XONRDVX(tai esitystapa) jotakin systemaattista
Lisätiedot9 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ätiedotELM 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ätiedot7/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ätiedotEsimerkki 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ätiedotPaikannimirekisteri 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ätiedotLogiikkapohjainen 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ätiedotTIEA241 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ätiedotM. Merikanto 2012 XML. Merkkauskieli, osa 2
XML Merkkauskieli, osa 2 Esimerkki: XML-dokumentti resepti maitokaakao
Lisätiedot12 Case: "hajautettu kauppapaikka"
12 Case: "hajautettu kauppapaikka" Kurssin lopuksi tarkastelemme yksinkertaista sovellusesimerkkiä joka pyrkii valottamaan eri tekniikoiden suhdetta ja hajautettuihin sovelluksiin tyypillisesti liittyvien
LisätiedotRakenteisten 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ätiedotJHS 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ätiedotHelsingin 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ätiedotW3C, 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ätiedotRDF-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ätiedotHELIA 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ätiedotXML / 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ätiedotMuodolliset 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ätiedotTIEA241 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ätiedotEsimerkkejä 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ätiedot9.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ätiedotP 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ätiedotSuunnitteluvaihe 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ätiedotXML 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ätiedotXHTML - 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ätiedotHahmon 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ätiedot10 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ätiedot815338A 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ätiedotOhjelmoinnin 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ätiedot10 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ätiedotTuringin 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ätiedotSQL-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ätiedotSemanttinen 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ätiedotICS-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ätiedotTIEA241 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ätiedotHohde 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ätiedotHarjoitus 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ätiedotVarmennepalvelu 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ätiedotKuinka 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ätiedotW3C 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ätiedotJHS 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ätiedotFORMAALI 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ätiedotTIEA341 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ätiedotCtl160 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ätiedotTodistus: 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ätiedotT 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ätiedotNä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ätiedotPoikkeusinfo 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ätiedotCreative 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ätiedotAttribuutti-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ätiedotInternet 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ätiedotTIEA241 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ätiedoton 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ätiedotSää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ätiedotSemanttinen 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ätiedotMetatiedot 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ätiedotLuento 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ätiedotRekursiiviset 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ätiedotResource 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ätiedotMiten 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ätiedotTietorakenteet 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ätiedotITKP102 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ätiedotAttribuuttikieliopit
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ätiedotTiedon 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ätiedot8. 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ätiedotHelsingin 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ätiedotRekursiolause. 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ätiedotUML-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ätiedotSisä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