The OWL-S are not what they seem

Koko: px
Aloita esitys sivulta:

Download "The OWL-S are not what they seem"

Transkriptio

1 The OWL-S are not what they seem...vai ovatko? Verkkopalveluiden koostamisen ontologia OWL-S Seminaariesitelmä Emilia Hjelm

2 Internet on hankala Nykyinternet on dokumenttien verkko Asiat, joita kutsutaan samalla nimellä sekoittuvat keskenään Avoin data on kaikkien huulilla, mutta ihmisten on tehtävä koostaminen Tieto on palveluntarjoajien siiloissa, ja jokaista varten on erilaiset tikkaat Verkkopalveluita rakennettaessa suuri osa ajasta menee tikkaiden rakentamiseen

3 Semanttinen web 2001 Tim Berners-Lee et al Rakenteinen tieto Visio: ohjelmistoagentit hoitavat ihmisten asioita automaattisesti Verkkopalvelun voi löytää ja sitä voi käyttää ilman ihmispäättelyä

4 Ontologia Tietokone ei ole ihminen Mikä tahansa luonnollisen kielen sana sellaisenaan on koneelle merkkijono Maailmaa ei voi tulkita ilman tietämystä Jotta kone voi ymmärtää, on jonkun kerrottava

5 Ontologia Konetulkittava muodollinen kuvaus käsitteistä ja niiden välisistä suhteista Semanttinen web rakentuu ontologioille Koostuu luokista, aliluokista ja ilmentymistä

6 Onki.fi pöllöt

7 Ontologia Luokkien väliset suhteet mahdollistavat koneellisen päättelyn URI -tunnisteet yksilöivät käsitteet

8 Onki.fi pöllöt

9 Ontologia Kuvataan ontologiakielillä, esimerkiksi RDF tai OWL

10 OWL Web Ontology Language OWL Lite yksinkertaisiin luokitteluihin OWL DL kompromissi ilmaisun ja koneellisen pääteltävyyden kesken OWL Full täysi ilmaisuvoima, mutta ei täysin pääteltävissä

11 OWL DL vs. Full DL ei salli luokkien käyttöä ilmentyminä Tarkkaa hommaa, esimerkiksi: Onko luokan "Maat"aliluokkaan "Pohjoismaat"kuuluva "Suomi"aliluokka vai ilmentymä?

12 OWL ominaisuudet Tarkempaa kuvailua Luokille yleisiä, ilmentymälle yksittäisiä Ominaisuuksiin voidaan liittää piirteitä parantamaan päättelyä. Piirteet ovat matemaattis-loogisia.

13 OWL piirteet Transitiivisuus (jos x,y ja y,z niin x,z) Symmetrisyys (jos x,y niin y,x) Funktionaalisuus (vain yksi) Rajoitteet kaikki ja jotkut Kardinaalisuus: määrätty määrä piirteitä

14 OWL Joukko-opin käsitteet yhdiste leikkaus komplementti

15 OWL-S...on semanttisia verkkopalveluita kuvaava ontologia...jonka avulla käyttäjät ja agentit voivat automaattisesti löytää, herättää, koostaa ja monitoroida palveluita tarjoavia resursseja

16 OWL-S Ajatus: käyttäjän tarpeet on määritelty formaalisti tarpeet verrattavissa palveluiden kuvauksiin profit

17 OWL-S Kun käyttäjä tietää mitä haluaa, voi palveluita käyttää automaattisesti SILLÄ: OWL-S kertoo myös käytännön ohjeet vuorovaikuttamiseen

18 OWL-S Semantiikan käyttö verkkopalveluissa edistää palveluiden yhteispeliä: asiakas tarkistaa aina palvelukuvauksen ja yhteydenottotavan etukäteen muutokset tulevat käyttöön automaattisesti

19 OWL-S rakenne 1. Profiili 2. Prosessi 3. Maadoitus Lähde: Martin D. et al: Bringing Semantics to Web Services with OWL-S 2007

20 OWL-S profiili Palveluntarjoaja Nimi, yhteystiedot jne Toiminnan kuvaus Esiehdot, syötteet, paluuviestit, vaikutukset Piirteet määrittelevät toiminnallisuudet Kategoria, laatuluokitus, lista parametreja (esim. maantieteellinen saatavuus)

21 OWL-S profiili Määrittelee palvelun käyttötarkoituksen, käytetään mainonnassa Palveluun voi liittyä useita profiileita

22 OWL-S prosessi...määrittelee miten palvelun kanssa voi asioida...voi olla atominen, yhdistelty tai yksinkertainen.

23 OWL-S atominen prosessi odottaa yhtä viestiä ja antaa yhden vastauksen ei aliprosesseja siihen liittyy aina maadoitus

24 OWL-S yhdistelty prosessi...koostuu useista (atomisista) aliprosesseista...ylläpitää tilatietoa...jokainen prosessille lähetetty viesti edistää prosessia

25 Amazon kirjapalvelu Lähde Solanki, M. et al: Bringing Semantics to web services: The OWL-S approach. 2004

26 OWL-S prosessi...aiheuttaa muutoksen maailmassa...tai annetun tiedon perusteella palauttaa tietoa...vaatii esiehtojen täyttymisen

27 OWL-S prosessi...koostuu kahdesta tai useammasta osapuolesta...kontrollirakenteita ovat mm. If-Then-Else, Iterate, Repeat-While...on abstrakti

28 OWL-S maadoitus...toimii siltana prosessista käytännön toteutukseen...kertoo käytännön yksityiskohdat palvelun kanssa vuorovaikuttamiselle (protokollat, viestin muoto)...standardi sallii mitä tahansa, suosituin on ollut SOAP (Simple Object Access Protocol)

29 OWL-S maadoitus...voi olla useita...lisättävissä dynaamisesti

30 Esimerkkikoodia <service:service rdf:id="amazonpriceservice"> <service:presents rdf:resource="#amazonpriceprofile"/> <service:describedby rdf:resource="#amazonpriceprocess"/> <service:supports rdf:resource="#amazonpricegrounding"/> </service:service> <mind:bookinformationservice rdf:id="amazonpriceprofile"> <service:ispresentedby rdf:resource="#amazonpriceservice"/> <profile:servicename xml:lang="en">amazon Book Price</profile:serviceName> <profile:hasinput rdf:resource="#bookinfo"/> <profile:hasoutput rdf:resource="#bookprice"/> </mind:bookinformationservice>

31 Prosessi <process:atomicprocess rdf:id="amazonpriceprocess"> <service:describes rdf:resource="#amazonpriceservice"/> <process:hasinput rdf:resource="#bookinfo"/> <process:hasoutput rdf:resource="#bookprice"/> </process:atomicprocess> <process:input rdf:id="bookinfo"> <rdfs:label>book</rdfs:label> <process:parametertype rdf:datatype="&xsd;anyuri">&bibtex; Book </process:parametertype> </process:input>

32 Heikkouksia - Standardi ei määrittele poikkeusten hallintaa - Laadun ja turvallisuuden varmistus puutteellista / olematonta - On suoraan riippuvainen ontologioiden kehityksestä

33 Pohdintaa & kysymyksiä

34

Verkkopalveluiden koostamisen ontologia OWL-S

Verkkopalveluiden koostamisen ontologia OWL-S Verkkopalveluiden koostamisen ontologia OWL-S Emilia Hjelm Helsinki 12.4.2013 Seminaariraportti HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY

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

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

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

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

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

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

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

Älykkäät keltaiset sivut ( Intelligent Web Services ( IWebS ) )

Älykkäät keltaiset sivut ( Intelligent Web Services ( IWebS ) ) Älykkäät keltaiset sivut ( Intelligent Web Services ( IWebS ) ) Ongelma Palveluntarpeet Palvelut t1 p1 t3 tk t4 t2 p3 p4 pn p2 p6 p5 1 Palveluntarpeet Ongelma IWebS Palvelut t1 täsmäytys1 p1 t2 täsmäytys2

Lisätiedot

Automaattinen semanttinen annotointi

Automaattinen semanttinen annotointi Automaattinen semanttinen annotointi Matias Frosterus, Reetta Sinkkilä, Katariina Nyberg Semantic Computing Research Group (SeCo) School of Science and Technology, Department of Media Technology and University

Lisätiedot

OWL 2 -profiilit. Antti Hietasaari. Helsinki HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos

OWL 2 -profiilit. Antti Hietasaari. Helsinki HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos OWL 2 -profiilit Antti Hietasaari Helsinki 27.10.2013 HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI Tiedekunta Fakultet Faculty

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

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

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

Ohjelmistojen mallintaminen, mallintaminen ja UML

Ohjelmistojen mallintaminen, mallintaminen ja UML 582104 Ohjelmistojen mallintaminen, mallintaminen ja UML 1 Mallintaminen ja UML Ohjelmistojen mallintamisesta ja kuvaamisesta Oliomallinnus ja UML Käyttötapauskaaviot Luokkakaaviot Sekvenssikaaviot 2 Yleisesti

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

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

Järjestelmäarkkitehtuuri (TK081702)

Järjestelmäarkkitehtuuri (TK081702) Järjestelmäarkkitehtuuri (TK081702) yleistyvät verkkopalveluissa Youtube Google... Avaavat pääsyn verkkopalvelun sisältöön. Rajapintojen tarjoamia tietolähteitä yhdistelemällä luodaan uusia palveluja,

Lisätiedot

ONKI-projekti tuo ontologiat käyttöön sisällönkuvailussa

ONKI-projekti tuo ontologiat käyttöön sisällönkuvailussa ONKI-projekti tuo ontologiat käyttöön sisällönkuvailussa Sisällönkuvailun koulutuspäivä erikoiskirjastoille 14.5.2014 Ontologiat Ontologia Tunnisteet Koneluettavat suhteet Termeistä käsitteisiin Monikielisyys

Lisätiedot

Yleinen suomalainen ontologia YSO

Yleinen suomalainen ontologia YSO Yleinen suomalainen ontologia YSO Katri Seppälä Semanttisen laskennan tutkimusryhmä (SeCo) Teknillinen korkeakoulu, mediatekniikan laitos; Helsingin yliopisto, tietojenkäsittelytieteen laitos; Sanastokeskus

Lisätiedot

Epätäsmällisen tiedon esittäminen semanttisen webin ontologioissa

Epätäsmällisen tiedon esittäminen semanttisen webin ontologioissa Epätäsmällisen tiedon esittäminen semanttisen webin ontologioissa FinnOnto, 16.11.2005 Markus Holi (markus.holi@tkk.fi) Semantic Computing Research Group http://www.seco.tkk.fi/ UNIVERSITY OF HELSINKI

Lisätiedot

HSMT J2EE & EJB & SOAP &...

HSMT J2EE & EJB & SOAP &... HSMT J2EE & EJB & SOAP &... Ville Leppänen HSMT, c Ville Leppänen, IT, Turun yliopisto, 2011 p.1/15 Missä mennään... 1. Johdanto (1h) 2. Säikeet (2h) 3. Samanaikaisuudesta (2h) 4. Hajautetuista sovelluksista

Lisätiedot

Semantic Web käytännön sovelluksissa. TkT Janne Saarela Profium Oy

Semantic Web käytännön sovelluksissa. TkT Janne Saarela Profium Oy Semantic Web käytännön sovelluksissa TkT Janne Saarela Profium Oy 26.5.2004 Sisällysluettelo Johdanto Semanttisen Webin maailmaan Mahdollisuudet Tämän päivän käyttökohteet Haasteet 1 Johdanto Semanttisen

Lisätiedot

Semanttinen Finlex Arttu Oksanen ( )

Semanttinen Finlex Arttu Oksanen ( ) Semanttinen Finlex 7.3.2016 Arttu Oksanen ( arttu.oksanen@aalto.fi ) Taustaa Lainsäädäntö ja oikeuskäytäntö julkaistu aiemmin ihmisluettavina dokumentteina Finlexpalvelussa Data ei kuitenkaan ole ollut

Lisätiedot

Mikä on semanttinen web?

Mikä on semanttinen web? Mikä on semanttinen web? Airi Salminen Jyväskylän yliopisto http://www.cs.jyu.fi/~airi/ Semanttinen web ja funktionaalinen luettelointi seminaari 3.5.2006 Airi Salminen, Mikä on semanttinen web? 3.5.2006

Lisätiedot

HOJ J2EE & EJB & SOAP &...

HOJ J2EE & EJB & SOAP &... HOJ J2EE & EJB & SOAP &... Ville Leppänen HOJ, c Ville Leppänen, IT, Turun yliopisto, 2012 p.1/18 Missä mennään... 1. Johdanto (1h) 2. Säikeet (2h) 3. Samanaikaisuudesta (2h) 4. Hajautetuista sovelluksista

Lisätiedot

Komission asetus latauspalveluista Jani Kylmäaho Inspire-sihteeristö

Komission asetus latauspalveluista Jani Kylmäaho Inspire-sihteeristö Komission asetus latauspalveluista 31.1.2012 Jani Kylmäaho Inspire-sihteeristö 1 Sisällys Verkkopalveluasetus ja yhteentoimivuusasetus Mitä aineistoja velvoite koskee? Kansallinen vs. yhteentoimiva muoto

Lisätiedot

Javan perusteita. Janne Käki

Javan perusteita. Janne Käki Javan perusteita Janne Käki 20.9.2006 Muutama perusasia Tietokone tekee juuri (ja vain) sen, mitä käsketään. Tietokone ymmärtää vain syntaksia (sanojen kirjoitusasua), ei semantiikkaa (sanojen merkitystä).

Lisätiedot

Yhteentoimivuusalusta: Miten saadaan ihmiset ja koneet ymmärtämään toisiaan paremmin?

Yhteentoimivuusalusta: Miten saadaan ihmiset ja koneet ymmärtämään toisiaan paremmin? Yhteentoimivuusalusta: Miten saadaan ihmiset ja koneet ymmärtämään toisiaan paremmin? Avoin verkkoalusta ihmisen ja koneen ymmärtämien tietomääritysten tekemiseen Riitta Alkula 20.3.2019 Esityksen sisältö

Lisätiedot

Semantic Web Sisältötuotannon ja palveluiden tulevaisuus

Semantic Web Sisältötuotannon ja palveluiden tulevaisuus Semantic Web Sisältötuotannon ja palveluiden tulevaisuus Prof. Eero Hyvönen Helsingin yliopisto ja Helsinki Institute for Information Technology (HIIT) Semantic Computing Research Group http://cs.helsinki.fi/group/seco/

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

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

JOHDATUS TEKOÄLYYN TEEMU ROOS

JOHDATUS TEKOÄLYYN TEEMU ROOS JOHDATUS TEKOÄLYYN TEEMU ROOS LUONNOLLISEN KIELEN KÄSITTELY (NATURAL LANGUAGE PROCESSING, NLP) TEKOÄLYSOVELLUKSET, JOTKA LIITTYVÄT IHMISTEN KANSSA (TAI IHMISTEN VÄLISEEN) KOMMUNIKAATIOON, OVAT TEKEMISISSÄ

Lisätiedot

Tapahtumankäsittely Semanttisen Webin Menetelmillä

Tapahtumankäsittely Semanttisen Webin Menetelmillä Tapahtumankäsittely Semanttisen Webin Menetelmillä Mikko Rinne, Seppo Törmä, Esko Nuutila TIK-Päivä Hanasaari 17.1.2013 Department of Computer Science and Engineering Distributed Systems Group Tapahtumankäsittely

Lisätiedot

Agentit ja semanttinen web. Pekka Halonen

Agentit ja semanttinen web. Pekka Halonen Agentit ja semanttinen web Pekka Halonen Henkilökohtainen agentti Aika lääkäriin Agentti toteaa, että käyttäjä tarvitsee lääkäriä Pyytää lääkäriaikoja hoitavan agentin kautta pääsyä ko. vaivaa hoitavalle

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

Keltaisten sivujen palveluiden kuvaaminen ontologioiden avulla

Keltaisten sivujen palveluiden kuvaaminen ontologioiden avulla Keltaisten sivujen palveluiden kuvaaminen ontologioiden avulla - IWebS-projektin (2003-2005) kokemuksia FinnONTO-symposio, 16112005 Petri Lindgren (petrilindgren@helsinkifi) Kim Viljanen (kimviljanen@tkkfi)

Lisätiedot

Avoin data Avoin kirjasto Kuvailupäivät 20.3.2013

Avoin data Avoin kirjasto Kuvailupäivät 20.3.2013 Avoin data Avoin kirjasto Kuvailupäivät 20.3.2013 Aineistojen kuvailun uudistaminen laajemmassa yhteydessä Tiedon tallennuksen ja haun uusi ekosysteemi Kansalliskirjaston hankkeet: RDA, UKJ, Melinda, Finna,

Lisätiedot

Miksi asiasanastot eivät riitä vaan tarvitaan ontologioita?

Miksi asiasanastot eivät riitä vaan tarvitaan ontologioita? Miksi asiasanastot eivät riitä vaan tarvitaan ontologioita? Prof. Eero Hyvönen TKK Viestintätekniikka ja Helsingin yliopisto Semantic Computing Research Group (SeCo) Lähde: E. Hyvönen: Miksi asiasanastot

Lisätiedot

Korkeakoulujen yhteentoimivuusmalli

Korkeakoulujen yhteentoimivuusmalli Korkeakoulujen yhteentoimivuusmalli Tavoitteena korkeakoulujen opetus-, tutkimus- ja julkaisutietojärjestelmien yhteentoimivuus Miika Alonen Suvi Remes Nykytila Esim. Kirjastotoimi Opintopolku? Korkeakoulujen

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

Muita vaativuusluokkia

Muita vaativuusluokkia Muita vaativuusluokkia Käydään lyhyesti läpi tärkeimpiä vaativuusluokkiin liittyviä tuloksia. Monet tunnetuista tuloksista ovat vaikeita todistaa, ja monet kysymykset ovat vielä auki. Lause (Ladner 1975):

Lisätiedot

Seitsemän syytä semanttiseen webiin. Eero Hyvönen Aalto-yliopisto ja HY Semanttisen laskennan tutkimusryhmä (SeCo)

Seitsemän syytä semanttiseen webiin. Eero Hyvönen Aalto-yliopisto ja HY Semanttisen laskennan tutkimusryhmä (SeCo) Seitsemän syytä semanttiseen webiin Eero Hyvönen Aalto-yliopisto ja HY Semanttisen laskennan tutkimusryhmä (SeCo) 1 Sisältö WWW tänään (30 min) Palvelut ja tiedonhaku: ongelmia Tiedon esitys: merkkauskielet

Lisätiedot

2. Olio-ohjelmoinnin perusteita 2.1

2. Olio-ohjelmoinnin perusteita 2.1 2. Olio-ohjelmoinnin perusteita 2.1 Sisällys Luokat ja oliot. Käsitteet, luokat ja oliot. Attribuutit, olion tila ja identiteetti. Metodit ja viestit. 2.2 Luokat ja oliot Olio-ohjelmoinnin keskeisimpiä

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

Euroopan unionin neuvosto Bryssel, 25. heinäkuuta 2014 (OR. en)

Euroopan unionin neuvosto Bryssel, 25. heinäkuuta 2014 (OR. en) Euroopan unionin neuvosto Bryssel, 25. heinäkuuta 2014 (OR. en) 12141/14 ADD 1 ENV 689 STATIS 80 RECH 333 SAATE Lähettäjä: Euroopan komissio Saapunut: 17. heinäkuuta 2014 Vastaanottaja: Kom:n asiak. nro:

Lisätiedot

System.out.printf("%d / %d = %.2f%n", ekaluku, tokaluku, osamaara);

System.out.printf(%d / %d = %.2f%n, ekaluku, tokaluku, osamaara); Kysy Karilta tai Kimmolta, jos tehtävissä on jotain epäselvää. Kerro WETOon liittyvät ongelmat suoraan Jormalle sähköpostitse (jorma.laurikkala@uta.fi). Muista nimetä muuttujat hyvin sekä kommentoida ja

Lisätiedot

Kansallinen semanttisen webin sisältöinfrastruktuuri FinnONTO - visio ja sen toteutus

Kansallinen semanttisen webin sisältöinfrastruktuuri FinnONTO - visio ja sen toteutus Kansallinen semanttisen webin sisältöinfrastruktuuri FinnONTO - visio ja sen toteutus Eero Hyvönen Semantic Computing Research Group (SeCo) Helsinki University of Technology (TKK) University of Helsinki

Lisätiedot

Mikä on internet, miten se toimii? Mauri Heinonen

Mikä on internet, miten se toimii? Mauri Heinonen Mikä on internet, miten se toimii? Mauri Heinonen Mikä on Internet? Verkkojen verkko Muodostettu liittämällä lukuisia aliverkkoja suuremmaksi verkoksi Sivustojen tekemiseen käytetään kuvauskielta HTML

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 World Wide Web Consortium (W3C) W3C kehittää yhteensopivia teknologioita

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

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

TIEA341 Funktio-ohjelmointi 1, kevät 2008

TIEA341 Funktio-ohjelmointi 1, kevät 2008 TIEA341 Funktio-ohjelmointi 1, kevät 2008 Luento 9 Kombinaattoreista Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 21. tammikuuta 2008 Currying Haskell-funktio ottaa aina vain yhden

Lisätiedot

Tietueet. Tietueiden määrittely

Tietueet. Tietueiden määrittely Tietueet Tietueiden määrittely Tietue on tietorakenne, joka kokoaa yhteen eri tyyppistä tietoa yhdeksi asiakokonaisuudeksi. Tähän kokonaisuuteen voidaan viitata yhteisellä nimellä. Auttaa ohjelmoijaa järjestelemään

Lisätiedot

7.4 Sormenjälkitekniikka

7.4 Sormenjälkitekniikka 7.4 Sormenjälkitekniikka Tarkastellaan ensimmäisenä esimerkkinä pitkien merkkijonojen vertailua. Ongelma: Ajatellaan, että kaksi n-bittistä (n 1) tiedostoa x ja y sijaitsee eri tietokoneilla. Halutaan

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

Web Service torilla tavataan!

Web Service torilla tavataan! Web Service torilla tavataan! Jari Putula Avarea Oy COPYRIGHT BY AVAREA 2009 1 Google Trends COPYRIGHT BY AVAREA 2009 2 1 1. Mahdollistajat 2. Web service? 3. KISS 4. Miksi? 5. Analogia 6. Ajax 7. Esimerkki

Lisätiedot

Ohjelmistojen mallintaminen kertausta Harri Laine 1

Ohjelmistojen mallintaminen kertausta Harri Laine 1 kertausta 5.12.2008 Harri Laine 1 Ohjelmiston elinkaari, elinkaarimallit Yleinen puitemalli (reference model) - abstrakti kokonaiskuva ei etenemiskontrollia, ei yksityiskohtia Ohjelmistoprosessimallit

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

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

arvostelija OSDA ja UDDI palveluhakemistoina.

arvostelija OSDA ja UDDI palveluhakemistoina. Hyväksymispäivä Arvosana arvostelija OSDA ja UDDI palveluhakemistoina. HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI Tiedekunta/Osasto Fakultet/Sektion Faculty/Section Laitos Institution

Lisätiedot

815338A Ohjelmointikielten periaatteet 2014-2015

815338A Ohjelmointikielten periaatteet 2014-2015 815338A Ohjelmointikielten periaatteet 2014-2015 X Skriptiohjelmointi Sisältö 1. Johdanto 2. Skriptikielten yleispiirteitä 3. Python 815338A Ohjelmointikielten periaatteet, Skriptiohjelmointi 2 X.1 Johdanto

Lisätiedot

811312A Tietorakenteet ja algoritmit 2015-2016. I Johdanto

811312A Tietorakenteet ja algoritmit 2015-2016. I Johdanto 811312A Tietorakenteet ja algoritmit 2015-2016 I Johdanto Sisältö 1. Algoritmeista ja tietorakenteista 2. Algoritmien analyysistä 811312A TRA, Johdanto 2 I.1. Algoritmeista ja tietorakenteista I.1.1. Algoritmien

Lisätiedot

Tiedonlouhinta rakenteisista dokumenteista (seminaarityö)

Tiedonlouhinta rakenteisista dokumenteista (seminaarityö) Tiedonlouhinta rakenteisista dokumenteista (seminaarityö) Miika Nurminen (minurmin@jyu.fi) Jyväskylän yliopisto Tietotekniikan laitos Kalvot ja seminaarityö verkossa: http://users.jyu.fi/~minurmin/gradusem/

Lisätiedot

Hajauta yhdistäen ja yhdistä hajauttaen: Web Services

Hajauta yhdistäen ja yhdistä hajauttaen: Web Services Hajauta yhdistäen ja yhdistä hajauttaen: Web Services Janne Saarela janne.saarela@profium.com 17.12.2002 Tampereen oliopäivät Esityksen sisältö Arvolupaus Johdanto teknologioihin Yhteensopivuuden taso

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

XML johdanto, uusimmat standardit ja kehitys

XML johdanto, uusimmat standardit ja kehitys johdanto, uusimmat standardit ja kehitys Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto Esitelmä Hyvin lyhyt versio: on W3C:n suosittama

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

Agenttipohjaiset liikkuvan tietojenkäsittelyn sovellukset FIPA-arkkitehtuurissa

Agenttipohjaiset liikkuvan tietojenkäsittelyn sovellukset FIPA-arkkitehtuurissa Tietojenkäsittelytiede 23 Kesäkuu 2005 sivut 60 70 Toimittaja: Jorma Tarhio c kirjoittaja(t) Agenttipohjaiset liikkuvan tietojenkäsittelyn sovellukset FIPA-arkkitehtuurissa Heikki Helin TeliaSonera Finland

Lisätiedot

M =(K, Σ, Γ,, s, F ) Σ ={a, b} Γ ={c, d} = {( (s, a, e), (s, cd) ), ( (s, e, e), (f, e) ), (f, e, d), (f, e)

M =(K, Σ, Γ,, s, F ) Σ ={a, b} Γ ={c, d} = {( (s, a, e), (s, cd) ), ( (s, e, e), (f, e) ), (f, e, d), (f, e) Tik-79.148 Kevät 2001 Tietojenkäsittelyteorian perusteet Laskuharjoitus 7 Demonstraatiotehtävien ratkaisut 1. Pinoautomaatti M = K Σ Γ s F missä K Σ s ja F on määritelty samalla tavalla kuin tilakoneellekin.

Lisätiedot

Harjoitus 3 (viikko 39)

Harjoitus 3 (viikko 39) Mikäli tehtävissä on jotain epäselvää, laita sähköpostia vastuuopettajalle (jorma.laurikkala@uta.fi). Muista nimetä muuttujat hyvin sekä kommentoida ja sisentää koodisi. Vältä liian pitkiä rivejä. Ohjelmointitehtävien

Lisätiedot

Yhteentoimivuusvälineistö

Yhteentoimivuusvälineistö Yhteentoimivuusvälineistö Yhteinen tiedon hallinta (YTI) hanke V 1.0, 5.9.2017 Päivittyvä Miksi yhteentoimivuusvälineistöä tarvitaan? Ongelmana on kielen moniselitteisyys Tavallisessa kielenkäytössä emme

Lisätiedot

Tenttikysymykset. + UML-kaavioiden mallintamistehtävät

Tenttikysymykset. + UML-kaavioiden mallintamistehtävät Tenttikysymykset 1. Selitä mitä asioita kuuluu tietojärjestelmän käsitteeseen. 2. Selitä kapseloinnin ja tiedon suojauksen periaatteet oliolähestymistavassa ja mitä hyötyä näistä periaatteista on. 3. Selitä

Lisätiedot

Ensi askeleet semanttiseen webiin: tuotantoprojektin kokemuksia

Ensi askeleet semanttiseen webiin: tuotantoprojektin kokemuksia Ensi askeleet semanttiseen webiin: tuotantoprojektin kokemuksia Älyä verkossa -symposio 3.9.2004 Riitta Alkula TietoEnator, Julkinen hallinto ja terveystoimi Visio 2010 Vuoteen 2010 mennessä keskeinen

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

Koka. Ryhmä 11. Juuso Tapaninen, Akseli Karvinen. 1. Taustoja 2. Kielen filosofia ja paradigmat 3. Kielen syntaksia ja vertailua JavaScriptiin Lähteet

Koka. Ryhmä 11. Juuso Tapaninen, Akseli Karvinen. 1. Taustoja 2. Kielen filosofia ja paradigmat 3. Kielen syntaksia ja vertailua JavaScriptiin Lähteet Koka Ryhmä 11 Juuso Tapaninen, Akseli Karvinen 1. Taustoja 2. Kielen filosofia ja paradigmat 3. Kielen syntaksia ja vertailua JavaScriptiin Lähteet 1 1. Taustoja Koka on Daan Leijenin ja Microsoft:n kehittämä

Lisätiedot

Säännöllisen kielen tunnistavat Turingin koneet

Säännöllisen kielen tunnistavat Turingin koneet 186 Säännöllisen kielen tunnistavat Turingin koneet Myös säännöllisen kielen hyväksyvien Turingin koneiden tunnistaminen voidaan osoittaa ratkeamattomaksi palauttamalla universaalikielen tunnistaminen

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

815338A Ohjelmointikielten periaatteet Harjoitus 6 Vastaukset

815338A Ohjelmointikielten periaatteet Harjoitus 6 Vastaukset 815338A Ohjelmointikielten periaatteet 2015-2016. Harjoitus 6 Vastaukset Harjoituksen aiheena on funktionaalinen ohjelmointi Scheme- ja Haskell-kielillä. Voit suorittaa ohjelmat osoitteessa https://ideone.com/

Lisätiedot

Avoin tieto ja World Wide Web tietoyhteiskunnan palveluksessa. Open Data and the World Wide Web in Service for the Informaton Society

Avoin tieto ja World Wide Web tietoyhteiskunnan palveluksessa. Open Data and the World Wide Web in Service for the Informaton Society Avoin tieto ja World Wide Web tietoyhteiskunnan palveluksessa Open Data and the World Wide Web in Service for the Informaton Society Aalto University, 5.4.2011 Johdatus päivän ohjelmaan Eero Hyvönen professori,

Lisätiedot

Rakenteisen oppimateriaalin tuottaminen verkossa esimerkki Rhaptos. Antti Auer Koordinaattori, HT Jyväskylän yliopisto Virtuaaliyliopistohanke

Rakenteisen oppimateriaalin tuottaminen verkossa esimerkki Rhaptos. Antti Auer Koordinaattori, HT Jyväskylän yliopisto Virtuaaliyliopistohanke Rakenteisen oppimateriaalin tuottaminen verkossa esimerkki Rhaptos Antti Auer Koordinaattori, HT Jyväskylän yliopisto Virtuaaliyliopistohanke Rakenteisuus kahdella tasolla Oppimisaihiot ( Learning Objects

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

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

Hieman lisää malleista ja niiden hyödyntämisestä

Hieman lisää malleista ja niiden hyödyntämisestä Hieman lisää malleista ja niiden hyödyntämisestä Ohjelmistojen mallintaminen Kesä 2012 (Avoin yliopisto) Toni Ruokolainen, 23.8.2012 Mallit Mallit ovat todellisuuden abstraktioita, jotka on muodostettu

Lisätiedot

2. Olio-ohjelmoinnin perusteita 2.1

2. Olio-ohjelmoinnin perusteita 2.1 2. Olio-ohjelmoinnin perusteita 2.1 Sisällys Esitellään peruskäsitteitä yleisellä tasolla: Luokat ja oliot. Käsitteet, luokat ja oliot. Attribuutit, olion tila ja identiteetti. Metodit ja viestit. Olioperustainen

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

Julkishallinnon yhteinen SAML 2.0-profiili

Julkishallinnon yhteinen SAML 2.0-profiili Julkishallinnon yhteinen SAML 2.0-profiili Teemu Simonen, Fujitsu 9.2.2011 Miksi SAML-profiileja SAML 2.0 (Security Assertion Markup Language 2.0) Laajennettava XML-standardi käyttäjien tunnistamis- ja

Lisätiedot

Harjoitus 5. Esimerkki ohjelman toiminnasta: Lausekielinen ohjelmointi I Kesä 2018 Avoin yliopisto 1 / 5

Harjoitus 5. Esimerkki ohjelman toiminnasta: Lausekielinen ohjelmointi I Kesä 2018 Avoin yliopisto 1 / 5 Kysy Karilta tai Kimmolta, jos tehtävissä on jotain epäselvää. Kerro WETOon liittyvät tekniset ongelmat suoraan Jormalle sähköpostitse (jorma.laurikkala@uta.fi). Muista nimetä muuttujat hyvin sekä kommentoida

Lisätiedot

Semanttisen Webin mahdollisuudet yrityksille

Semanttisen Webin mahdollisuudet yrityksille Semanttisen Webin mahdollisuudet yrityksille Käytännön kokemuksia 15.1.2010 Janne Saarela Profium Oy Esityksen sisältö Semanttisen Webin arvolupaus Arvolupauksen lunastaminen Kuvapankeissa Järjestelmäintegraatiossa

Lisätiedot

Integrointi. Ohjelmistotekniikka kevät 2003

Integrointi. Ohjelmistotekniikka kevät 2003 Integrointi Ohjelmistotekniikka kevät 2003 ERP (Toiminnanohjausjärjestelmä) Myynti Henkilöstö, palkanlaskenta Kirjanpito Myynti Myyjät Extranet Tietovarasto Laskutus, reskontrat Asiakas ERP Asiakasrekisteri

Lisätiedot

T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut

T Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut T-79.148 Syksy 2002 Tietojenkäsittelyteorian perusteet Harjoitus 8 Demonstraatiotehtävien ratkaisut 4. Tehtävä: Laadi algoritmi, joka testaa onko annetun yhteydettömän kieliopin G = V, Σ, P, S tuottama

Lisätiedot

Miten ja miksi asiasanastoista kehitetään ontologioita

Miten ja miksi asiasanastoista kehitetään ontologioita Miten ja miksi asiasanastoista kehitetään ontologioita Katri Seppälä Semanttisen laskennan tutkimusryhmä (SeCo) Teknillinen korkeakoulu, mediatekniikan laitos; Helsingin yliopisto, tietojenkäsittelytieteen

Lisätiedot

SKOS. Osma Suominen ONKI-hankkeen laajennettu projektiryhmä

SKOS. Osma Suominen ONKI-hankkeen laajennettu projektiryhmä SKOS Osma Suominen 10.9.2013 ONKI-hankkeen laajennettu projektiryhmä Sisällys 1. Mikä SKOS? 2. Miksi SKOS eikä OWL? 3. Haasteita SKOSin käytössä Mikä SKOS? Simple Knowledge Organization System W3C:n standardi

Lisätiedot

MALog-projekti kehittää oppimateriaalia matemaattiseen logiikkaan. Insinöörikoulutuksen foorumi

MALog-projekti kehittää oppimateriaalia matemaattiseen logiikkaan. Insinöörikoulutuksen foorumi MALog-projekti kehittää oppimateriaalia matemaattiseen logiikkaan Insinöörikoulutuksen foorumi 5.10.2012 Taustaa - MALog Huoli (matematiikan ja) matemaattisen logiikan osaamisen tasosta Oppimateriaalien

Lisätiedot

Kohti suomalaisen semanttista webiä -- ontologioita, palveluita ja sovelluksia

Kohti suomalaisen semanttista webiä -- ontologioita, palveluita ja sovelluksia Kohti suomalaisen semanttista webiä -- ontologioita, palveluita ja sovelluksia Prof. Eero Hyvönen TKK Viestintätekniikka Helsingin yliopisto, tietojenkäsittelytieteen laitos Semanttisen laskennan tutkimusryhmä

Lisätiedot

Sisällys. JAVA-OHJELMOINTI Osa 7: Abstrakti luokka ja rajapinta. Abstraktin luokan idea. Abstrakti luokka ja metodi. Esimerkki

Sisällys. JAVA-OHJELMOINTI Osa 7: Abstrakti luokka ja rajapinta. Abstraktin luokan idea. Abstrakti luokka ja metodi. Esimerkki Sisällys JAVA-OHJELMOINTI Osa 7: Abstrakti luokka ja rajapinta Abstrakti luokka ja metodi Rajapintamäärittely (interface) Eero Hyvönen Tietojenkäsittelytieteen laitos Helsingin yliopisto 13.10.2000 E.

Lisätiedot