RDF ja RDFS. 8 RDF ja RDFS

Koko: px
Aloita esitys sivulta:

Download "RDF ja RDFS. 8 RDF ja RDFS"

Transkriptio

1 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 käsite- tai luokittelujärjestelmien käsitteitä ja näiden välisiä suhteita. RDF-skeemat lähtevät siitä perusajatuksesta että sanastoja (ja siten sovelluksia) kuvataan luokkien (Class) ja ominaisuuksien (Property) käsitteisiin vedoten. Kuten abstraktin RDF:n tapauksessa, myös RDF-sanastot kuvailevat "jotakin jo olemassa olevaa" (vrt. XML-skeemat!). RDF:lle (tai assertionaaliselle logiikalle) on ominaista ajattelu jonka mukaan kuvailutieto EI ole tyhjentävää! (Erit.: ei negaatiota eikä "suljetun maailman" käsitettä.) 160

2 8.1 Välisoitto Pelkän RDF-tietomallin varassa ei siis pitkälle päästä ("(s,p,o)") RDF-skeemat tarjoavat keinon määritellä omia sanastoja Tämäkään ei sinänsä vielä varmista "semanttista yhteensopivuutta" sovellusten välillä "käytännössä" juju on yhteisesti sovittujen sanastojen ja nimeämiskäytäntöjen hyödyntämisessä (vrt. yleisesti tunnettujen asiasanastojen käyttö)...koska luokan ja predikaatin käsitteetkin ovat hyvin abstrakteja (ja siten neutraaleja) 161

3 8.2 Luokkien kuvailu: rdfs:class (1/2) Mallinnuksessa nojaudutaan erityisesti luokan (Class), aliluokan (Subclass) ja esiintymän (Instance) käsitteisiin Esimerkki: (companycar on luokan MotorVehicle esiintymä) ex:motorvehicle rdf:type rdfs:class. exthings:companycar rdf:type ex:motorvehicle. Esimerkki: (Van on luokan MotorVehicle aliluokka) ex:van rdfs:subclassof ex:motorvehicle. Huom. (järkevä sovellus voi asettaa rajoituksia, mutta "oletuksena"...) - luokka voi olla useamman kuin yhden luokan aliluokka - objekti voi olla useamman kuin yhden luokan esiintymä - objekti voi olla samanaikaisesti sekä luokka että esiintymä 162

4 8.3 Luokkien kuvailu: rdfs:class (2/2) Predikaatista rdf:type voidaan päätellä että subjekti on tyyppiä rdfs:resource ja objekti tyyppiä rdfs:class Vastaavasti, predikaatista rdfs:subclassof voidaan päätellä että subjekti ja objekti ovat luokkia Predikaatti rdfs:subclassof on transitiivinen: - subclassof(a, B) subclassof(b, C) subclassof(a, C) RDF-käytäntö: "luokkien nimet kirjoitetaan isolla alkukirjaimella, objektien ja predikaattien nimet pienellä" (vrt. esim. companycar, MotorVehicle) Koska RDF/XML-tiedostot sallivat tyyppiin nojautuvat lyhennemerkinnät, voidaan esim. luokat kirjoittaa seuraavasti: <rdfs:class rdf:id="van"> <rdfs:subclassof rdf:resource="#motorvehicle"/> </rdfs:class> 163

5 8.4 Ominaisuuksien kuvailu: rdfs:property (1/2) Predikaattien määrittely "ominaisuuksina" nojautuu relaatioiden määrittelyyn, perustana käytetään määrittelyjoukon (Domain) ja arvojoukon (Range) käsitteitä (r: Domain Range) Esimerkki: ex:person rdf:type rdfs:class. ex:author rdf:type rdf:property. ex:author rdfs:domain ex:book. ex:author rdfs:range ex:person. Huom. - ominaisuudet ovat universaaleja, ts. niitä ei ole kiinnitetty esim. luokkien määrittelyyn (vrt. oliosuunnittelu) - predikaatin ei (tietenkään) tarvitse olla esim. funktionaalinen relaatio (mutta toki voi olla) - määrittelyjoukko voidaan ilmoittaa ilman arvojoukkoa (ja päinvastoin) 164

6 8.5 Ominaisuuksien kuvailu: rdfs:property (2/2) Arvojoukko voi tietenkin koostua myös literaaleista (rdfs:literal) xsd:integer rdf:type rdfs:datatype. ex:age rdf:type rdf:property. ex:age rdfs:range xsd:integer. Huomaa että RDF ei määrittele datatyyppejä vaan viittaa niihin Predikaatille voidaan sanoa useita arvo- tai määrittelyjoukkoja: tällöin tulkinta on se, että ominaisuuden tulee täyttää kaikki ehdot luvassa on ongelmia... exterms:weight rdfs:domain ex:book. exterms:weight rdfs:domain ex:motorvehicle. Ts. exterms:weight käyttö vaatii nyt että oliot ovat sekä kirjoja että autoja! HUOM!: Tämä piirre vähentää universaalien domain/range-kuvailujen käyttökelpoisuutta, koska yleisesti ottaen ei ole järkevää määritellä "liian" suppeita ominaisuuksia (weightofbooks, parenttiger jne.) 165

7 8.6 Ominaisuuksien tarkentaminen RDF määrittelee aliluokkaa vastaavan ominaisuuden rdfs:subpropertyof ex:driver rdf:type rdf:property. ex:primarydriver rdf:type rdf:property. ex:primarydriver rdfs:subpropertyof ex:driver. Ts. jos on sanottu ex:companyvan ex:primarydriver ex:fred....voidaan päätellä ex:companyvan ex:driver ex:fred. Aliominaisuudelle pätevät kaikki kantaominaisuuden piirteet 166

8 8.7 Lisätietoja (1/2) Varsinaisten luokkia ja ominaisuuksia kuvailevien rakenteiden ohella XMLskeemat tarjoavat myös apuvälineitä (vapaamuotoisen) lisätiedon liittämiseksi RDF-dataan Kuvataan resurssi ihmislukijalle "luettavana otsikkona": ex:fred rdfs:label "Fred Möttönen, Kuvataan resurssi ihmislukijalle "kommenttina": ex:primarydriver rdfs:comment "Ensimmäinen kuljettaja vahinkovakuutuksen 167

9 8.8 Lisätietoja (2/2) Vinkkejä voidaan tarjota myös tiedon tulkintaan: ex:motorvehicle rdfs:seealso dict:car. Vastaavasti "skeematiedon" olemassaolosta voidaan vihjeistää ex:person rdfs:isdefinedby un:humanrights. Mutta: - kyse on intuitiivisista määrittelyistä joita tietokoneet eivät yleisessä tapauksessa ymmärrä -...niinpä (ainakin toistaiseksi?) ko. ominaisuuksien käyttöarvo jää nähtäväksi Huomaa että vaikka formaalin tulkinnan & tietokoneiden näkökulmasta edellisillä kuvauksilla ei juuri semanttista eroa olekaan, niin esim. RDFeditorien/välineiden näkökulmasta erot voivat olla hyvinkin konkreettisia 168

10 8.9 "RDF & RDFS" Skeemamäärittely jakaa RDF-tiedon luontevasti kahteen moduuliin: - sovellusolioita käsittelevät lausumat ("RDF") - valittua sanastoa kuvaavat terminologiset lausumat ("RDFS") Käytännön sovelluksissa lausumat jaetaan tiedostoihin ylläpidettävyyden ja yleiskäyttöisyyden näkökulmasta company_drivers.rdf "RDFS" MotorVehicle subclassof driver subpropertyof domain primarydriver Person range subclassof Van StaffMember type type "RDF" primarydriver ABC-123 fred acme_drivers.rdf 169

11 8.10 RDF-skeemojen tulkinta RDF-tietoa tulkitaan oletuksena siis kuvailun (ja päättelyn), ei rajoitteiden näkökulmasta RDFS kuitenkin sallii kuvailutietojen monitulkintaisuuden :-( "esimerkiksi" 1. annetun tiedoston tietojen järkevyyden arviointi 2. tietojen tarkistus (syöttövaiheessa) 3. päättely Käytännössä suuren pulmia tuovat myös seuraavat kysymykset - mikä näkökulma edellä tulisi valita (sovittava RDF:n ulkopuolella) - milloin kuvailutietoa on "riittävästi" saatavilla? (vaikka kuvailumekanismi onkin rakennettu loogiselta rakenteeltaan monotoniseksi) - mikä vaihtoehtoisesta kuvailutiedosta valitaan (ts. vaikkei loogisia ristiriitoja, niin lausumien { type(abc-123, Sedan), type(abc-123, Van) } tulkinta on silti käytännössä melkoinen ongelma 170

12 8.11 RDF- ja RDFS-sanastojen jäsennys RDF Vocabulary - rdf:type, rdf:property, rdf:xmlliteral, rdf:nil, rdf:list, rdf:statement, rdf:subject, rdf:predicate, rdf:object, rdf:first, rdf:rest, rdf:seq, rdf:bag, rdf:alt, rdf:_1, rdf:_2,..., rdf:value - osajoukot: RDF Reification Vocabulary, RDF Container Vocabulary, RDF Collection Vocabulary RDFS Vocabulary - rdfs:domain, rdfs:range, rdfs:resource, rdfs:literal, rdfs:datatype, rdfs:class, rdfs:subclassof, rdfs:subpropertyof, rdfs:member, rdfs:container, rdfs:containermembershipproperty, rdfs:comment, rdfs:seealso, rdfs:isdefinedby, rdfs:label 171

13 8.12 Pari sanaa RDF(S)-aksiomista (kuvailu vs. päättely) Kun RDF-dataa tulkintaan formaalisti, oletetaan annetun RDF-datan rinnalle ns. aksiomaattisten lausumien (Axiomatic Triples) joukko RDF-sanastosta määritellään seuraavat lausumat: rdf:type rdf:type rdf:property. rdf:subject rdf:type rdf:property. rdf:predicate rdf:type rdf:property. rdf:object rdf:type rdf:property. rdf:first rdf:type rdf:property. rdf:rest rdf:type rdf:property. rdf:value rdf:type rdf:property. rdf:_1 rdf:type rdf:property. rdf:_2 rdf:type rdf:property.... rdf:nil rdf:type rdf:list. RDFS-sanaston yhteyteen aksiomia määritellään "neljä kertaa enemmän": rdf:type rdfs:domain rdfs:resource. rdfs:domain rdfs:domain rdf:property. rdfs:range rdfs:domain rdf:property

14 8.13 Lopuksi RDF-skeemat tarjoavat perustan luokittelujärjestelmien (taksonomia) ja asiasanastojen (tesaurus) kaltaisten rakenteiden määrittelyyn Formaalista määrittelystään huolimatta semanttisen yhteensopivuuden ydin ovat vapaamuotoisesti sovitut ja ohjeistetut käytännön erilaisten standardisanastojen käytöstä (esim. dokumenttien metatiedot ja Dublin Core -sanasto) Skeemojen pulmallisia piirteitä ovat esim. - predikaattien universaali perusluonne - standardisanastojen melko heikko saatavuus / tunnettavuus (toistaiseksi?) Osa pulmista on "helposti" ratkaistavissa (esim. OWL & Property Restrictions), osa ei (vaatii esim. työlästä sanastotyötä) 173

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

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

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

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

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

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

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

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

JHS 183 Julkisen hallinnon palvelujen tietomalli ja ryhmittely verkkopalveluissa Liite 9 RDF-skeeman kuvaus

JHS 183 Julkisen hallinnon palvelujen tietomalli ja ryhmittely verkkopalveluissa Liite 9 RDF-skeeman kuvaus JHS 183 Julkisen hallinnon palvelujen tietomalli ja ryhmittely verkkopalveluissa Liite 9 RDF-skeeman kuvaus Versio: 28.2.2013 Julkaistu: 28.2.2013 Voimassaoloaika: toistaiseksi Sisällys 1 Johdanto... 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

METATIETOSKEEMA LAINSÄÄDÄNTÖPROSESSIN ASIAKIRJOILLE

METATIETOSKEEMA LAINSÄÄDÄNTÖPROSESSIN ASIAKIRJOILLE Veli-Pekka Mäkinen METATIETOSKEEMA LAINSÄÄDÄNTÖPROSESSIN ASIAKIRJOILLE Tietojärjestelmätieteen pro gradu -tutkielma 20.2.2006 Tietojenkäsittelytieteiden laitos Jyväskylän yliopisto Jyväskylä TIIVISTELMÄ

Lisätiedot

Ontologiat merkitysten mallintamisessa: OWL Web Ontology Language

Ontologiat merkitysten mallintamisessa: OWL Web Ontology Language HELSINGIN YLIOPISTO TIETOJENKÄSITTELYTIETEEN LAITOS Seminaaritutkielma Ontologiat merkitysten mallintamisessa: OWL Web Ontology Language Eeva Ahonen 011730576 Ohjaaja: Juha Puustjärvi Helsinki, 30.10.2004

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

Palveluiden semanttinen kuvailu ja haku

Palveluiden semanttinen kuvailu ja haku TEKNILLINEN KORKEAKOULU Viestintätekniikka Diplomityö Palveluiden semanttinen kuvailu ja haku Espoossa 19.8.2009 Mikko Salonoja msalonoj@cc.hut.fi 54799D TEKNILLINEN KORKEAKOULU DIPLOMITYÖN TIIVISTELMÄ

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

Nspire CAS - koulutus Ohjelmiston käytön alkeet Pekka Vienonen

Nspire CAS - koulutus Ohjelmiston käytön alkeet Pekka Vienonen Nspire CAS - koulutus Ohjelmiston käytön alkeet 3.12.2014 Pekka Vienonen Ohjelman käynnistys ja käyttöympäristö Käynnistyksen yhteydessä Tervetuloa-ikkunassa on mahdollisuus valita suoraan uudessa asiakirjassa

Lisätiedot

10 Tieto ja metatieto

10 Tieto ja metatieto 10 Tieto ja metatieto Tiedon mallinnus tähtää tietyn sovelluksen sisäisen tiedon lokerointiin ja rakenneosien tarkoituksenmukaiseen nimeämiseen, tietojenkäsittelyn tarpeet huomioiden. Pelkkä "lopputuotteen"

Lisätiedot

LUKU II HOMOLOGIA-ALGEBRAA. 1. Joukko-oppia

LUKU II HOMOLOGIA-ALGEBRAA. 1. Joukko-oppia LUKU II HOMOLOGIA-ALGEBRAA 1. Joukko-oppia Matematiikalle on tyypillistä erilaisten objektien tarkastelu. Tarkastelu kohdistuu objektien tai näiden muodostamien joukkojen välisiin suhteisiin, mutta objektien

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 1 Määrittelyjoukoista Tarkastellaan funktiota, jonka määrittelevä yhtälö on f(x) = x. Jos funktion lähtöjoukoksi määrittelee vaikkapa suljetun välin [0, 1], on funktio

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

Sanomme, että kuvaus f : X Y on injektio, jos. x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2.

Sanomme, että kuvaus f : X Y on injektio, jos. x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2. Sanomme, että kuvaus f : X Y on injektio, jos x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2. Siis kuvaus on injektio, jos eri alkiot kuvautuvat eri alkioille eli maalijoukon jokainen alkio

Lisätiedot

RAKKAUS MATEMAATTISENA RELAATIONA

RAKKAUS MATEMAATTISENA RELAATIONA RAKKAUS MATEMAATTISENA RELAATIONA HEIKKI PITKÄNEN 1. Johdanto Määritelmä 1. Olkoon I ihmisten joukko ja a, b I. Määritellään relaatio : a b a rakastaa b:tä. Huomautus 2. Määritelmässä esiintyvälle käsitteelle

Lisätiedot

Ohjeita peda.net palvelun Luo uusi osioon

Ohjeita peda.net palvelun Luo uusi osioon Ohjeita peda.net palvelun Luo uusi osioon - Elikkä tuo kyseinen kohta löytyy omalta sivultasi oikeasta ylä-laidasta, kuten alla näkyvästä kuvasta näkyy. Sekä tuo kyseinen kohta näkyy luokkien sivuilla

Lisätiedot

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä. Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä. Kaksi järjestettyä paria ovat samat, jos niillä on samat ensimmäiset alkiot ja samat toiset alkiot:

Lisätiedot

Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua.

Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua. 6 Alkeisfunktiot Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua. 6. Funktion määrittely Funktio f : A B on sääntö, joka liittää jokaiseen joukon A alkioon

Lisätiedot

FUNKTIONAALIANALYYSIN PERUSKURSSI 1. 0. Johdanto

FUNKTIONAALIANALYYSIN PERUSKURSSI 1. 0. Johdanto FUNKTIONAALIANALYYSIN PERUSKURSSI 1. Johdanto Funktionaalianalyysissa tutkitaan muun muassa ääretönulotteisten vektoriavaruuksien, ja erityisesti täydellisten normiavaruuksien eli Banach avaruuksien ominaisuuksia.

Lisätiedot

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Vastaavuus puolestaan on erikoistapaus relaatiosta.

Lisätiedot

W3C, Web-teknologiat ja XML

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

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

JHS XML suositus. XML Finland tapahtuma 20.1.2009 Mikael af Hällström ylitarkastaja, Verohallinto JHS XML työryhmän vetäjä

JHS XML suositus. XML Finland tapahtuma 20.1.2009 Mikael af Hällström ylitarkastaja, Verohallinto JHS XML työryhmän vetäjä JHS XML suositus XML Finland tapahtuma 20.1.2009 Mikael af Hällström ylitarkastaja, Verohallinto JHS XML työryhmän vetäjä JHS XML suositus Esityksen sisältö: Suositustyön lähtökohdat ja taustat (Vielä)

Lisätiedot

W3C ja Web-teknologiat

W3C ja Web-teknologiat W3C ja Web-teknologiat 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

LAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,

Lisätiedot

Palautuskansio moduuli, ja sen vuorovaikutukset tehtävien annossa!

Palautuskansio moduuli, ja sen vuorovaikutukset tehtävien annossa! Palautuskansio moduuli, ja sen vuorovaikutukset tehtävien annossa! - Elikkä tässä ohjeessa näet kuinka voit tehdä peda.net palveluun koti/etätehtäviä tai vaikka kokeitten tekoa, tapoja on rajattomasti.

Lisätiedot

HELIA 1 (21) Outi Virkki Tietokantasuunnittelu 20.9.2005

HELIA 1 (21) Outi Virkki Tietokantasuunnittelu 20.9.2005 HELIA 1 (21) Luento 7 Relaatiomallin kertausta... 2 Peruskäsitteet... 2 Relaatio... 4 Määritelmä... 4 Relaatiokaava (Relation schema)... 4 Relaatioinstanssi (Relation instance)... 4 Attribuutti ja arvojoukko...

Lisätiedot

XML-pohjaiset rakennemäärittelyt

XML-pohjaiset rakennemäärittelyt -pohjaiset rakennemäärittelyt Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Esitelmä Hyvin lyhyt versio: -perustainen kommunikointi edellyttää

Lisätiedot

Julian graafinen annotointityökalu ja erityisontologioiden editori. Jaason Haapakoski P Kansanterveyslaitos , 28.3.

Julian graafinen annotointityökalu ja erityisontologioiden editori. Jaason Haapakoski P Kansanterveyslaitos , 28.3. Julian graafinen annotointityökalu ja erityisontologioiden editori Jaason Haapakoski P. 040 7612 811 Kansanterveyslaitos 28.2.2006, 28.3.2006 Perusnäkymä Ohjelmalle on konfiguroitavissa useita eri käsitteistöjä

Lisätiedot

Yhteentoimivuutta edistävien työkalujen kehittäminen

Yhteentoimivuutta edistävien työkalujen kehittäminen Yhteentoimivuutta edistävien työkalujen kehittäminen Semantiikkaa organisaatioiden välisen tiedonvaihdon helpottamiseksi Mikael af Hällström, Verohallinto Esityksen sisältö Taustatekijöitä (OKM:n hallinnonala,

Lisätiedot

Webforum. Version 14.4 uudet ominaisuudet. Viimeisin päivitys: 2014-12-6

Webforum. Version 14.4 uudet ominaisuudet. Viimeisin päivitys: 2014-12-6 Webforum Version 14.4 uudet ominaisuudet Viimeisin päivitys: 2014-12-6 Sisältö Tietoja tästä dokumentista... 3 Yleistä... 4 Yleistä & hallinnointi... 5 Dokumentit... 5 Perättäinen tarkistus- ja hyväksymisprosessi...

Lisätiedot

Kokoelmakartan lyhyt historia

Kokoelmakartan lyhyt historia Kokoelmakartan lyhyt historia Collection Mapping seminaari Helsinki 28.-29.11.2005 Merja Hyödynmaa, informaatikko Tampereen yliopiston kirjasto Kokoelmakartta-hanke http://www.lib.helsinki.fi/kirjastoala/neuvosto/tietokartta_hankesuunnittelu.htm

Lisätiedot

811120P Diskreetit rakenteet

811120P Diskreetit rakenteet 811120P Diskreetit rakenteet 2016-2017 3. Logiikka 3.1 Logiikka tietojenkäsittelyssä Pyritään formalisoimaan terveeseen järkeen perustuva päättely Sovelletaan monella alueella tietojenkäsittelyssä, esim.

Lisätiedot

Olio-ohjelmoinnissa luokat voidaan järjestää siten, että ne pystyvät jakamaan yhteisiä tietoja ja aliohjelmia.

Olio-ohjelmoinnissa luokat voidaan järjestää siten, että ne pystyvät jakamaan yhteisiä tietoja ja aliohjelmia. 4. Periytyminen 4.1. Johdantoa Käytännössä vähänkään laajemmissa ohjelmissa joudutaan laatimaan useita luokkia, joiden pitäisi pystyä välittämään tietoa toisilleen. Ohjelmien ylläpidon kannalta olisi lisäksi

Lisätiedot

Rajapinta (interface)

Rajapinta (interface) 1 Rajapinta (interface) Mikä rajapinta on? Rajapinta ja siitä toteutettu luokka Monimuotoisuus ja dynaaminen sidonta Rajapinta vs periytyminen 1 Mikä rajapinta on? Rajapintoja käytetään, kun halutaan määritellä

Lisätiedot

Kohti aidosti palvelevaa hallintoa yhteinen metatietoarkkitehtuuri yhteentoimivuuden kulmakivenä

Kohti aidosti palvelevaa hallintoa yhteinen metatietoarkkitehtuuri yhteentoimivuuden kulmakivenä Kohti aidosti palvelevaa hallintoa yhteinen metatietoarkkitehtuuri yhteentoimivuuden kulmakivenä Julkisen hallinnon sanastotyöprosessi ja XML-skeemat Mikael af Hällström (YSR/Verohallinto) NordTerm seminaari

Lisätiedot

Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset

Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset 2000-08-03T10:30/12:00 Huomaa, että joihinkin kysymyksiin on useampia oikeita vastauksia, joten nämä ovat todellakin vain mallivastaukset. 1 Logiikkaa

Lisätiedot

Interaktiivisten järjestelmien arkkitehtuuriratkaisu, jolla käyttöliittymä erotetaan sovelluslogiikasta.

Interaktiivisten järjestelmien arkkitehtuuriratkaisu, jolla käyttöliittymä erotetaan sovelluslogiikasta. Malli-näkym kymä-ohjain arkkitehtuurit (Model-View View-Controller, MVC) Interaktiivisten järjestelmien arkkitehtuuriratkaisu, jolla käyttöliittymä erotetaan sovelluslogiikasta. Lähtökohdat: Sovelluksen

Lisätiedot

REKISTERI- JA TIETOKANTA-AINEISTOJEN SIIRTÄMINEN VAPA-PALVELUUN

REKISTERI- JA TIETOKANTA-AINEISTOJEN SIIRTÄMINEN VAPA-PALVELUUN Arkistolaitos REKISTERI- JA TIETOKANTA-AINEISTOJEN SIIRTÄMINEN VAPA-PALVELUUN Ohje v. 1.0 (16.10.2012) Kansallisarkisto Rauhankatu 17 PL 258, 00171 Helsinki Puh. Tel. (09) 228 521 arkisto@narc.fi Riksarkivet

Lisätiedot

Liite C: Rakennuslupatietojen mallinnus tiedonsiirtoa varten

Liite C: Rakennuslupatietojen mallinnus tiedonsiirtoa varten Liite C: Rakennuslupatietojen mallinnus tiedonsiirtoa varten Versio: 18.10.2011 Julkaistu: 27.10.2011 Voimassaoloaika: Toistaiseksi Sisällys 1 Johdanto... 2 1.1 Rakennuslupasuosituksen tausta... 2 1.2

Lisätiedot

HELIA 1 (11) Outi Virkki Tiedonhallinta 4.11.2000

HELIA 1 (11) Outi Virkki Tiedonhallinta 4.11.2000 HELIA 1 (11) Access 1 ACCESS...2 Yleistä...2 Access-tietokanta...3 Perusobjektit...3 Taulu...5 Kysely...7 Lomake...9 Raportti...10 Makro...11 Moduli...11 HELIA 2 (11) ACCESS Yleistä Relaatiotietokantatyyppinen

Lisätiedot

HELIA 1 (17) Outi Virkki Tiedonhallinta 4.11.2000

HELIA 1 (17) Outi Virkki Tiedonhallinta 4.11.2000 HELIA 1 (17) Luento 4.5 Normalisointi... 2 Tavoitteet... 2 Attribuuttien väliset riippuvuudet... 4 Funktionaalinen / moniarvoinen riippuvuus... 4 Transitiivinen / suora riippuvuus... 6 Täydellinen / osittainen

Lisätiedot

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun {A 1,A 2,...,A n,b } 0, jatkoa jatkoa 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin

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

1. Algoritmi 1.1 Sisällys Algoritmin määritelmä. Aiheen pariin johdatteleva esimerkki. Muuttujat ja operaatiot (sijoitus, aritmetiikka ja vertailu). Algoritmista ohjelmaksi. 1.2 Algoritmin määritelmä Ohjelmointi

Lisätiedot

4. Lausekielinen ohjelmointi 4.1

4. Lausekielinen ohjelmointi 4.1 4. Lausekielinen ohjelmointi 4.1 Sisällys Konekieli, symbolinen konekieli ja lausekieli. Lausekielestä konekieleksi: - Lähdekoodi, tekstitiedosto ja tekstieditorit. - Kääntäminen ja tulkinta. - Kääntäminen,

Lisätiedot

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E. Perusaksioomat: Laki 1: Kukin totuusfunktio antaa kullekin propositiolle totuusarvoksi joko toden T tai epätoden

Lisätiedot

5. HelloWorld-ohjelma 5.1

5. HelloWorld-ohjelma 5.1 5. HelloWorld-ohjelma 5.1 Sisällys Lähdekoodi. Lähdekoodin (osittainen) analyysi. Lähdekoodi tekstitiedostoon. Lähdekoodin kääntäminen tavukoodiksi. Tavukoodin suorittaminen. Virheiden korjaaminen 5.2

Lisätiedot

Ontologioiden yhdistäminen YSO:oon

Ontologioiden yhdistäminen YSO:oon Ontologioiden yhdistäminen YSO:oon Katri Seppälä, Päivi Lipsanen ja Reetta Sinkkilä Semanttisen laskennan tutkimusryhmä (SeCo) Teknillinen korkeakoulu, mediatekniikan laitos; Helsingin yliopisto, tietojenkäsittelytieteen

Lisätiedot

Visio tulevaisuuden Webistä. Semantic Web - kohti uutta merkitysten Internetiä. Ratkaisumalli 1: Älykkäämmät sovellukset. Vision este Webissä

Visio tulevaisuuden Webistä. Semantic Web - kohti uutta merkitysten Internetiä. Ratkaisumalli 1: Älykkäämmät sovellukset. Vision este Webissä Semantic Web - kohti uutta merkitysten Internetiä Prof. Eero Hyvönen Helsingin yliopisto Helsinki Institute for Information Technology 1-marras-01 1 Visio tulevaisuuden Webistä Mitä hyötyä on Webistä?

Lisätiedot

etunimi, sukunimi ja opiskelijanumero ja näillä

etunimi, sukunimi ja opiskelijanumero ja näillä Sisällys 1. Algoritmi Algoritmin määritelmä. Aiheen pariin johdatteleva esimerkki. ja operaatiot (sijoitus, aritmetiikka ja vertailu). Algoritmista ohjelmaksi. 1.1 1.2 Algoritmin määritelmä Ohjelmointi

Lisätiedot

T-79.144 Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 28 31.10.2003

T-79.144 Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 28 31.10.2003 T-79.144 Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet 2.3-3.4) 28 31.10.2003 1. Olkoon R kaksipaikkainen predikaattisymboli, jonka tulkintana on relaatio R

Lisätiedot

Harjoitustehtävät ja ratkaisut viikolle 48

Harjoitustehtävät ja ratkaisut viikolle 48 Harjoitustehtävät ja ratkaisut viikolle 48 1. Tehtävä on jatkoa aiemmalle tehtävälle viikolta 42, missä piti suunnitella älykodin arkkitehtuuri käyttäen vain ennalta annettua joukkoa ratkaisuja. Tämäkin

Lisätiedot

Hypermedian ohjelmointi, kevät 2009. Luento 7. Tiedonhaun apuvälineet

Hypermedian ohjelmointi, kevät 2009. Luento 7. Tiedonhaun apuvälineet Hypermedian ohjelmointi, kevät 2009 (http://hlab.ee.tut.fi/hmopetus/hmohj-2009) Luento 7. Tiedonhaun apuvälineet Jukka Huhtamäki, Hlab (http://tut.fi/hypermedia) Luento 7. Tiedonhaun apuvälineet Tämän

Lisätiedot

HELIA 1 (20) Outi Virkki Tiedonhallinta 4.11.2000

HELIA 1 (20) Outi Virkki Tiedonhallinta 4.11.2000 HELIA 1 (20) Luento 3.1 7LHWRNDQWDSRKMDLVHQVRYHOOXNVHQVXXQQLWWHOXSURVHVVL Tietokannan suunnittelun tavoitteet... 3 Abstraktiotasot tietokannan suunnittelussa... 4 3-taso -malli... 4 TIHA-standardi... 5

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

MAOL ry on pedagoginen ainejärjestö, joka työskentelee matemaattisluonnontieteellisen. osaamisen puolesta suomalaisessa yhteiskunnassa.

MAOL ry on pedagoginen ainejärjestö, joka työskentelee matemaattisluonnontieteellisen. osaamisen puolesta suomalaisessa yhteiskunnassa. MAOL ry on pedagoginen ainejärjestö, joka työskentelee matemaattisluonnontieteellisen kulttuurin ja osaamisen puolesta suomalaisessa yhteiskunnassa. 2 Ennakkotehtävä Mitä yläluokalle tulevan oppilaan pitäisi

Lisätiedot

Liite B. Asemakaavan mallinnus tiedonsiirtoa varten

Liite B. Asemakaavan mallinnus tiedonsiirtoa varten Liite B. Asemakaavan mallinnus tiedonsiirtoa varten Versio: 18.10.2011 Julkaistu: 27.10.2011 Voimassaoloaika: Toistaiseksi Sisällys 1 Johdanto... 2 1.1 Asemakaavasuosituksen tausta... 2 1.2 Asemakaavasuosituksen

Lisätiedot

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Tietyn ominaisuuden samuus -relaatio on ekvivalenssi; se on (1) refleksiivinen,

Lisätiedot

Funktion määrittely (1/2)

Funktion määrittely (1/2) Funktion määrittely (1/2) Funktio f : A B on sääntö, joka liittää jokaiseen joukon A alkioon a täsmälleen yhden B:n alkion b. Merkitään b = f (a). Tässä A = M f on f :n määrittelyjoukko, B on f :n maalijoukko.

Lisätiedot

Liite A. Kantakartan mallinnus tiedonsiirtoa varten

Liite A. Kantakartan mallinnus tiedonsiirtoa varten Liite A. Kantakartan mallinnus tiedonsiirtoa varten Versio: 18.10.2011 Julkaistu: 27.10.2011 Voimassaoloaika: Toistaiseksi Sisällys 1 Johdanto... 2 1.1 Kantakarttasuosituksen tausta... 2 1.2 Kantakarttasuosituksen

Lisätiedot

GroupDesk Toiminnallinen määrittely

GroupDesk Toiminnallinen määrittely GroupDesk Toiminnallinen määrittely Tilanne: Paikallinen oppilaitos, kuvitteellinen WAMK, tarvitsee ryhmätyöhön soveltuvan sähköisen asioiden hallintajärjestelmän ja ryhmätyöohjelmiston, jonka ajatuksena

Lisätiedot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot 3. Funktion raja-arvo ja jatkuvuus 3.1. Reaali- ja kompleksifunktiot 43. Olkoon f monotoninen ja rajoitettu välillä ]a,b[. Todista, että raja-arvot lim + f (x) ja lim x b f (x) ovat olemassa. Todista myös,

Lisätiedot

JHS 193 Paikkatiedon yksilöivät tunnukset Liite 1. URI:n muodostamisen prosessi

JHS 193 Paikkatiedon yksilöivät tunnukset Liite 1. URI:n muodostamisen prosessi JHS 193 Paikkatiedon yksilöivät tunnukset Liite 1. URI:n muodostamisen prosessi Versio: 1.0 Julkaistu: 2.9.2015 Voimassaoloaika: toistaiseksi Sisällys 1 Johdanto...1 2 Paikallisen tunnuksen luominen tietokantaan

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

1. Skannaus ja tekstintunnistus (OCR) verkkoskannerilta

1. Skannaus ja tekstintunnistus (OCR) verkkoskannerilta M-Files OCR M-Files OCR:n avulla voidaan skannattavalle paperidokumentille tehdä tekstintunnistus skannerista riippumatta. Tällöin tekstiä sisältävät kuvat tunnistetaan varsinaisiksi tekstimerkeiksi, jonka

Lisätiedot

HELIA 1 (12) Outi Virkki Tiedonhallinta 4.11.2000

HELIA 1 (12) Outi Virkki Tiedonhallinta 4.11.2000 HELIA 1 (12) Luento 4.3 Eheyssäännöt (Integrity Constraints)... 2 Eheyden valvonta... 3 Yksilön eheyssääntö... 4 Viite-eheyssäännöt... 5 Arvojoukkoeheyssäännöt... 8 Null-arvoista... 10 Sovelluskohtaiset

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

Asiakasystävällinen ja ylläpidettävä verkkopalvelu tarua vai totta

Asiakasystävällinen ja ylläpidettävä verkkopalvelu tarua vai totta Asiakasystävällinen ja ylläpidettävä verkkopalvelu tarua vai totta 00.0.2008 Esitelmän pitäjän nimi (tarusta todeksi?) Leila Oravisto Mirjam Heikkinen Helsingin kaupunki Haasteet Kunnilla on palveluja

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

Tekstidokumenttien automaattinen ontologiaperustainen annotointi

Tekstidokumenttien automaattinen ontologiaperustainen annotointi Tekstidokumenttien automaattinen ontologiaperustainen annotointi Olli Alm Helsinki 25.9.2007 Pro Gradu -tutkielma HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET

Lisätiedot

UML Luokkakaavio 14:41

UML Luokkakaavio 14:41 UML Luokkakaavio UML Olio-ohjelman luokkien pääpiirteet voidaan kätevähkösti esittää ns. UML-luokkakaaviona. Näin usein tehdäänkin esim. suunniteltaessa, millaisia luokkia ohjelmaan on tarkoitus laatia,

Lisätiedot

Käsitteistä. Reliabiliteetti, validiteetti ja yleistäminen. Reliabiliteetti. Reliabiliteetti ja validiteetti

Käsitteistä. Reliabiliteetti, validiteetti ja yleistäminen. Reliabiliteetti. Reliabiliteetti ja validiteetti Käsitteistä Reliabiliteetti, validiteetti ja yleistäminen KE 62 Ilpo Koskinen 28.11.05 empiirisessä tutkimuksessa puhutaan peruskurssien jälkeen harvoin "todesta" ja "väärästä" tiedosta (tai näiden modernimmista

Lisätiedot

Reaalilukuvälit, leikkaus ja unioni (1/2)

Reaalilukuvälit, leikkaus ja unioni (1/2) Luvut Luonnolliset luvut N = {0, 1, 2, 3,... } Kokonaisluvut Z = {..., 2, 1, 0, 1, 2,... } Rationaaliluvut (jaksolliset desimaaliluvut) Q = {m/n m, n Z, n 0} Irrationaaliluvut eli jaksottomat desimaaliluvut

Lisätiedot

BlueJ ohjelman pitäisi löytyä Development valikon alta mikroluokkien koneista. Muissa koneissa BlueJ voi löytyä esim. omana ikonina työpöydältä

BlueJ ohjelman pitäisi löytyä Development valikon alta mikroluokkien koneista. Muissa koneissa BlueJ voi löytyä esim. omana ikonina työpöydältä Pekka Ryhänen & Erkki Pesonen 2002 BlueJ:n käyttö Nämä ohjeet on tarkoitettu tkt-laitoksen mikroluokan koneilla tapahtuvaa käyttöä varten. Samat asiat pätevät myös muissa luokissa ja kotikäytössä, joskin

Lisätiedot

Automaatit. Muodolliset kielet

Automaatit. Muodolliset kielet Automaatit Automaatit ovat teoreettisia koneita, jotka käsittelevät muodollisia sanoja. Automaatti lukee muodollisen sanan kirjain kerrallaan, vasemmalta oikealle, ja joko hyväksyy tai hylkää sanan. Täten

Lisätiedot

Ratkaisuehdotus 2. kurssikoe

Ratkaisuehdotus 2. kurssikoe Ratkaisuehdotus 2. kurssikoe 4.2.202 Huomioitavaa: - Tässä ratkaisuehdotuksessa olen pyrkinyt mainitsemaan lauseen, johon kulloinenkin päätelmä vetoaa. Näin opiskelijan on helpompi jäljittää teoreettinen

Lisätiedot

luonnonilmiölauseessa paikan tai ajan ilmaus täyttää subjektin paikan: tunnekausatiivilauseissa subjektin paikan perii partitiivimuotoinen kokija:

luonnonilmiölauseessa paikan tai ajan ilmaus täyttää subjektin paikan: tunnekausatiivilauseissa subjektin paikan perii partitiivimuotoinen kokija: Sanajärjestys ja subjektin paikka subjektittomat lauseet jättävät subjektin normaalin, finiittiverbiä edeltävän paikan tyhjäksi ellipsi- ja pronominin poisjättötapauksissa paikka jää tyhjäksi: Ø Lähdemme

Lisätiedot

Suvi Junes/Pauliina Munter Tietohallinto/Opetusteknologiapalvelut 2014

Suvi Junes/Pauliina Munter Tietohallinto/Opetusteknologiapalvelut 2014 Työpaja Työpaja on vertaisarviointiin soveltuva työkalu. Työpaja mahdollistaa töiden palautuksen ja niiden jakelun opiskelijoiden arvioitavaksi sekä arvioinnin antamisen. Laita Muokkaustila päälle ja lisää

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

Arkistoaineistojen sisällönkuvailu

Arkistoaineistojen sisällönkuvailu Arkistoaineistojen sisällönkuvailu Suomen yliopistokirjastojen neuvosto Sisällönkuvailuverkoston Sisällönkuvailupäivä 22.11.2013 Kenneth Ahlfors Arkistokuvailu Arkistokuvailun ominaispiirre on, että tietovarannon

Lisätiedot

Webforum. Version 15.2 uudet ominaisuudet. Päivitetty: 2015-06-26

Webforum. Version 15.2 uudet ominaisuudet. Päivitetty: 2015-06-26 Webforum Version 15.2 uudet ominaisuudet Päivitetty: 2015-06-26 Sisältö Tietoja tästä dokumentista... 3 Yleistä... 4 Aloita-sivu / Dashboard... 5 Dokumentit... 6 Salli dokumenttien muokkaaminen tarkistusprosessin

Lisätiedot

Suomalainen lainsäädäntöprosessi ja sen metatiedot

Suomalainen lainsäädäntöprosessi ja sen metatiedot Suomalainen lainsäädäntöprosessi ja sen metatiedot Lainsäädäntöprosessin tiedonhallinnan kehittäminen Metatiedot suomalaisen lainsäädäntöprosessin tiedonhallinnassa -seminaari antti.lehtinen@it.jyu.fi

Lisätiedot

Avoin data ja semanttinen verkko yhdessä kohti älykkäämpää internetiä. Hannu Lohtander

Avoin data ja semanttinen verkko yhdessä kohti älykkäämpää internetiä. Hannu Lohtander Avoin data ja semanttinen verkko yhdessä kohti älykkäämpää internetiä Hannu Lohtander Tampereen yliopisto Informaatiotieteiden yksikkö Tietojenkäsittelyoppi Pro gradu -tutkielma Ohjaaja: Erkki Mäkinen

Lisätiedot

Insinöörimatematiikka IA

Insinöörimatematiikka IA Isiöörimatematiikka IA Harjoitustehtäviä. Selvitä oko propositio ( p q r ( p q r kotradiktio. Ratkaisu: Kirjoitetaa totuustaulukko: p q r ( p q r p q r ( p q r ( p q r 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Lisätiedot

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 811120P 3. 5 op Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 ja laskenta tarkastelemme terveeseen järkeen perustuvaa päättelyä formaalina järjestelmänä logiikkaa sovelletaan

Lisätiedot

Ylläpitodokumentti. Boa Open Access. Helsinki 2.5.2006 Ohjelmistotuotantoprojekti HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos

Ylläpitodokumentti. Boa Open Access. Helsinki 2.5.2006 Ohjelmistotuotantoprojekti HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Ylläpitodokumentti Boa Open Access Helsinki 2.5.2006 Ohjelmistotuotantoprojekti HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Kurssi 581260 Ohjelmistotuotantoprojekti (6 ov) Projektiryhmä Ilmari

Lisätiedot

Kaavioiden rakenne. Kaavioiden piirto symboleita yhdistelemällä. Kaavion osan toistaminen silmukalla. Esimerkkejä:

Kaavioiden rakenne. Kaavioiden piirto symboleita yhdistelemällä. Kaavion osan toistaminen silmukalla. Esimerkkejä: 2. Vuokaaviot 2.1 Sisällys Kaavioiden rakenne. Kaavioiden piirto symbolta yhdistelemällä. Kaavion osan toistaminen silmukalla. Esimerkkejä: algoritmi oven avaamiseen vuokaaviona, keskiarvon laskeminen

Lisätiedot

Sosiaalihuollon asiakastietojen mallintamisopas

Sosiaalihuollon asiakastietojen mallintamisopas Sosiaalihuollonasiakastietojen mallintamisopas Tietokomponenttienjaasiakasasiakirjojen mallinnusohjeet 7.11.2011 KonstantinHyppönen MiikaAlonen MiikaHeikkinen VirpiHotti JaanaNevalainen PaulaLeinonen Versio

Lisätiedot

Semanttisen webin käyttöliittymäratkaisut. Tiedonhallinta semanttisessa webissä Osma Suominen

Semanttisen webin käyttöliittymäratkaisut. Tiedonhallinta semanttisessa webissä Osma Suominen Semanttisen webin käyttöliittymäratkaisut Tiedonhallinta semanttisessa webissä Osma Suominen 21.11.2005 Käyttäjän näkökulma semanttinen web ei yleisty, ennen kuin sille on kysyntää ja käyttöä semanttisen

Lisätiedot

Suomi.fi palvelutietovaranto

Suomi.fi palvelutietovaranto Suomi.fi palvelutietovaranto Metatiedot: luokitus ja ontologiakäsitteet (asiasanat) 13.12.2016 Metatiedot Metatieto on tietoa tiedosta eli kuvailevaa ja määrittävää tietoa jostain sisällöstä. Metatietojen

Lisätiedot

Tietokannan luominen:

Tietokannan luominen: Moodle 2 Tietokanta: Tietokanta on työkalu, jolla opettaja ja opiskelijat voivat julkaista tiedostoja, tekstejä, kuvia, linkkejä alueella. Opettaja määrittelee lomakkeen muotoon kentät, joiden kautta opiskelijat,

Lisätiedot