Tiedon mallintaminen ja esillesaanti. Web Ontology Language OWL Daniel Lillqvist
|
|
- Elisabet Mäkinen
- 8 vuotta sitten
- Katselukertoja:
Transkriptio
1 Tiedon mallintaminen ja esillesaanti Web Ontology Language OWL Daniel Lillqvist
2 Ontologiat "An explicit formal specification of how to represent the objects, concepts and other entities that are assumed to exist in some area of interest and the relationships that hold among them" - Ontology, according to the Free On-Line Dictionary Of Computing Ontologiakielellä pyritään ilmaisemaan ontologioita. Miksi ontologioita? Mihin niitä tarvitaan? Kuinka voimakkaita ilmaisuja tarvitaan kieleen?
3 Ontologiakieli Ontology Interchange Language (OIL) + DARPA Agent Markup Language (DAML) OIL - Description Logic DAML - XML ja RDF OWL W3C Standardi 2004 OWL 2 W3C Standardi 2009
4 OWL + Vaikutteet Semattinen Web - RDF/XML - Autonomit Agentit Kuvauslogiikka - DL (OIL) - malliteoria Frame languages - hierarkia muistuttaa OO kielten
5 OWL & OWL 2 Ensimmäisen kertaluvun logiikka OWL Full OWL 2 Full ei ratkeava Tradeoff OWL DL RDFS OWL 2 DL ratkeava OWL 2 EL OWL 2 RL OWL Lite OWL 2 QL Käsitehierarkia
6 OWL + Alikielet OWL:n alikielet (sublanguages) OWL Lite laillinen Lite ontologia on laillinen DL ontologia pätevä Lite päätelmä on pätevä DL päätelmä OWL DL laillinen DL ontologia on laillinen Full ontologia pätevä DL päätelmä on pätevä Full päätelmä OWL Full (ei oikeastaan alikieli) ilmaisuvoima sama kuin RDFS DL takaa laskettavuuden ja ratkeavuuden
7 OWL + Oletukset Avoimen maailman oletus (Open-world Assumption) Arviointi tiedon puutteessa ei tarkoita tiedon negaatiota Voidaan ontologiassa O 1 vaihtaa luokka C 1 toiseen laajennettuun luokkaan C 2 Ei uniikki nimi oletus (No Unique Name Assumption) Eroavuus täytyy ilmaista eksplisiittisesti (esim. UUID tai funktionaalinen) Hajautetussa ympäristössä resurssi voi esiintyä eri paikoissa ja silti viitata samaan resurssiin (esim. henkilöstä P tietoa monessa palvelussa, tarkoittaa oletuksena samaa henkilöä).
8 OWL + Syntaksi Ei mikään skeemakieli (Schema language), eli, omat rajaukset (struktuuriin) dokumenttiin ei mahdollisia (niinkuin XML Schema) eli, järjestyksellä ei mitään väliä. Tripletti (kolmikko) RDF/XML (W3C suosima, exchange format), N3, Turtle Aksioma Abstrakti syntaksi, OWL/XML, Funktionaalinen (OWL 2), Manchester (OWL 2) Vaatii tietenkin mappausta, jos vaihtaa syntaksia. XML on verboosinen.
9 OWL + Dokumentti Tietynlainen laskennallinen artefakti esim. dokumentti Perusmuoto (halutaan jaettavaksi Web palvelimen kautta agenttien saataville) Pääte:.rdf tai.owl MIME tyyppi: application/rdf+xml <rdf:rdf juuri XML Namespace attribuutit toisiin sanastoihin: xmlns:rdfs=" metadataa header -tyyppiseen elementtiin <Ontology rdf:about=""> luokka-aksioomia, ominaisuus-aksioomia, faktoja (ilmentymien aksioomia)
10 OWL + Rakennuspalikat Luokkia (classes) joukko luokkakuvauksia (class descriptions) muodostaa luokka-aksiooman (class axiom) Ominaisuuksia (properties) joko, olio-ominaisuuksia (object property) tai tietotyyppi-ominaisuuksia (datatype property) Yksilöitä (individuals) yksilö on luokan jäsen ja ilmentymä (instance) ja fakta (individual axiom) Tietotyypejä (datatypes)
11 OWL + Luokat Kaksi esimääriteltyä luokkaa owl:thing kaikki luokat ovat tämän aliluokka owl:nothing kaikki luokat ovat tämän yliluokka Määritellään luokka rakenteella owl:class joka on rdfs:class aliluokka: rajoittaa liian voimakasta RDFS luokkaa sopivaksi DL ja Lite alikielille Luokkakuvaukset kuudessa muodossa: luokan nimellä: URI (referenssi), eli rdf:id yksilöjoukkojen rajoituksilla: luettelointi (enumeration), ominaisuusrajoite (property restriction), konjunktio (intersection), disjunktio (union) ja komplementti (complement).
12 OWL + Ominaisuudet Ominaisuuksia (joukkoja yksilöpareja) on kaksi (erillistä, disjoint) varianttia: olio-ominaisuudet - olioiden väliset relaatiot esim, sukulainen, opettaa datatyyppi-ominaisuudet - olion ja datatyypin (literaalin) relaatio esim, puhelinnro, ikä Määritellään ominaisuus käyttäen owl:objectproperty ja owl:datatypeproperty jotka ovat rdf:property alaluokkia. Voidaan rajoittaa ilmaisemalla rdfs:domain ja rdfs:range mutta pelkkä ominaisuuden määrittely on jo aksiooma. RDFS rakenteella rdfs:subpropertyof saadaan ilmaistua specialisoinnit. Relaatioiden välisiä ilmaisuja ovat esim. owl:inverseof ja owl:equivalentproperty Kardinaliteetti voidaan ilmaista esim. owl:functionalproperty
13 OWL + Yksilöt Yksilöt (spesifinen instanssi) Määritellään antamalla rdf:type ja luokka, mihin jäsen kuuluu Faktat (yksilöiden aksioomat), on määrittelyt, jotka antavat luokan ja arvot ominaisuuksille. Yksilöt ovat nimettyjä tai nimettömiä.
14 OWL + Tietotyypit Tietotyypit ovat joko RDF spesifikaation mukaisia tai lueteltuja. RDF tietotyyppi viittaa suoraan XML Schema:n tietotyyppeihin Lueteltuja tietotyyppejä voidaan käyttää saadakseen määriteltyä arvoalueen.
15 OWL + Kuvauslogiikka Luokkapohjainen, tiedon mallinnuskieli (class-based knowledge representation language) OWL DL on kuvauslogiikkaan perustuva Ilmasuvoimaisempi kun propositiologiikka Ei yhtä ilmaisuvoimainen kun predikaattilogiikka Mihin pyritään? Halutaan, että päättelyt ovat ratkeavia (decidable) eli siten laskettavia (computable) Tehokkaita ratkaisuja Täytyy olla mahdollista laskea luokkien sisältyvyys ja olioiden kuuluminen luokkaan
16 OWL + Kuvauslogiikka Kuvauslogiikassa on hyvin määritelty semantiikka (määritelty malliteorian avulla) Terminologia: Konsepti (luokka), rooli (ominaisuus), yksilö (on sama) Monta kieltä, eri toiminnallisuus operaattoreilla kielissä Esim. kuvauslogiikka (attributive language) - yksi perus Atominen negaatio (atomic negation) Konseptin konjunktio (concept intersection) Universaali rajoitukset (universal restrictions) Rajattu eksistentiaali kvantifiointi (limited existential quantification)
17 OWL + Kuvauslogiikka Kuvauslogiikka (existential logic) Konseptien konjunktio (concept intersection) Eksistentiaali rajoitukset (existential restrictions of full existential qualification) Kuvauslogiikka ( ++) Rajoitettuja komplekseja roolin sisällyttäminen (Limited complex role inclusion axioms) refleksiivisyys ja ei-refleksiivisyys (reflexivity and irreflexivity) roolin erillisyys (role disjointness) Nominaalit (nominals) (Enumerated classes of object value restrictions - owl:oneof, owl:hasvalue).
18 OWL 2 Uutuuksia Suositeltu standardi Taaksepäin yhteensopiva Funktionaalinen syntaksi Profilit Syntaktista sokeria helpompi ilmaista lauseita (DisjointUnion, DisjointClases, NegativeObjectPropertyAssertion, NegativeObjectPropertyAssertion) Uusia rakenteita ominaisuuksille (ObjectHasSelf, ObjectMinCardinality, DataMinCardinalty and more) Datatyyppejä, metamallinnus, annotaatiot,
19 OWL 2 + Profiilit Alikieliä jotka ovat ratkaisuja sovelluskohtaisiin tarkoituksiin Profilit ovat rajoitetumpia kuin OWL 2 DL OWL 2 EL (Existential Logic) valtavat ontologiat OWL 2 QL (Query Language) kyselyjä suurin olemassa oleviin relaatiotietokantoihin OWL 2 RL (Rule Language) ontologiat jota tallennetaan RDF tripletteinä (iso kanta)
20 OWL 2 EL Pohjautuu ++ kuvauslogiikkaan Algoritmit suorittaa polynomisessa ajassa: luokkien keskinäinen sisältyvyys ja ontologian ristiriidattomuus Rajoitteet universaalikvantifiointi kardinaalisuusrajoitteet symmetriset ja asymmetriset ominaisuudet luokkayhdisteet luokan komplementti Erityisesti isot ontologiat jossa luokkia ja ominaisuuksia rajusti, kuten SNOMED CT
21 SNOMED CT + Kuvauslogiikka Yli 300,000 konseptia, eli luokkaa, 1,360,000 relaatiota. Noudattaa EL++ kuvauslogiikkaa. Top, bottom Primitive roles and concepts with asserted parent(s) for each Concept definition and conjunction but NOT disjunction or negation Role hierarchy but not role composition Domain and range constraints Existential but not universal restriction A restricted form of role inclusion axiom (xry ^ ysz => xrz) Snow Owl
22 OWL + Yhteenveto Joukko yksiselitteisiä deskriptiivisiä(kuvaileva) lauseita tietystä aihealueesta (domain) Rikastuttaa dataa lisäämällä siihen merkitystä Vähentää ihmisten välisiä väärinymmärryksiä Takaa, sovellusten ennustettavuuden ja yhdenmukaisuuden, sekä yhteentoimvuuden eri sovelluksien välillä OWL 2 Profilit EL Profiili - erityisesti isot ontologiat Webprotégé:
23 Kiitos! Kysymyksiä Hofstadter's Law: It always takes longer than you expect, even when you take into account Hofstadter's Law. Douglas Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid
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ä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ätiedotThe OWL-S are not what they seem
The OWL-S are not what they seem...vai ovatko? Verkkopalveluiden koostamisen ontologia OWL-S Seminaariesitelmä 15.4.2013 Emilia Hjelm Internet on hankala Nykyinternet on dokumenttien verkko Asiat, joita
LisätiedotRDF 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ätiedotOntologiat 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ä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ätiedotOWL 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ä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ä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), 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ätiedot11 Web-ontologioiden perusteet
11 Web-ontologioiden perusteet Asiasanastot tarjoavat esimerkin käsitteellisestä viitekehyksestä jonka suhteen tietoa voidaan (ainakin yrittää) esittää ja jäsentää täsmällisesti. Hienosti sanottuna informaatio
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ä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ätiedot11 Web-ontologioiden perusteet
11 Web-ontologioiden perusteet Asiasanastot tarjoavat esimerkin käsitteellisestä viitekehyksestä jonka suhteen tietoa voidaan (ainakin yrittää) esittää ja jäsentää täsmällisesti. Hienosti sanottuna informaatio
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ätiedotONKI-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ä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ä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 3.3.2017 Luku
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ätiedotAutomaattinen 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ätiedotFinnONTO-infrastruktuurin esittely
FinnONTO-infrastruktuurin esittely Prof. Eero Hyvönen Aalto University and University of Helsinki Semantic Computing Research Group (SeCo) http://www.seco.tkk.fi/ Sisällys FinnONTO-ontologiatyön ydinajatukset
Lisätiedot11 Web-ontologioiden perusteet
11 Web-ontologioiden perusteet Asiasanastot tarjoavat esimerkin käsitteellisestä viitekehyksestä jonka suhteen tietoa voidaan (ainakin yrittää) esittää ja jäsentää täsmällisesti. Hienosti sanottuna informaatio
LisätiedotMiksi 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ätiedotHaskell ohjelmointikielen tyyppijärjestelmä
Haskell ohjelmointikielen tyyppijärjestelmä Sakari Jokinen Helsinki 19. huhtikuuta 2004 Ohjelmointikielten perusteet - seminaarityö HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos 1 Johdanto 1 Tyyppien
LisätiedotPaikkatiedon mallinnus Dokumentoinnin ymmärtäminen. Lassi Lehto
Paikkatiedon mallinnus Dokumentoinnin ymmärtäminen Lassi Lehto INSPIRE-seminaari 23.08.2012 Sisältö Tietotuoteselosteen rakenne (ISO 19131) Unified Modeling Language (UML) Luokkakaaviotekniikan perusteet
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 3.3.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ätiedotOntologiat: standardeja, työkaluja
Ontologiat: standardeja, työkaluja Prof. Eero Hyvönen Helsingin yliopisto ja Tietotekniikan tutkimuslaitos HIIT Semantic Computing Research Group http://cs.helsinki.fi/group/seco/ 20-Jan-03 1 Sisältö WWW
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ä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ätiedotSemanttinen web: ontologioiden esittäminen ja oppiminen
hyväksymispäivä arvosana arvostelija Semanttinen web: ontologioiden esittäminen ja oppiminen Lilli Nevanlinna Helsinki 4.11.2010 HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Sisältö i 1 Johdanto
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ätiedotSKOS. 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ä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ätiedot2. Käsiteanalyysi ja relaatiomalli
2. Käsiteanalyysi ja relaatiomalli lehtori Pasi Ranne Metropolia ammattikorkeakoulu E-mail: pasi.ranne@metropolia.fi sivu 1 Tietokannan suunnitteluprosessin osat sivu 2 Käsiteanalyysi ER-mallinnus, tietomallinnus
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ä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ätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. syyskuuta 2016 Sisällys a https://tim.jyu.fi/view/kurssit/tie/ tiea241/2016/videoiden%20hakemisto Matemaattisen
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ätiedotJHS 162 Paikkatietojen mallintaminen tiedonsiirtoa varten Liite 1 UML-mallinnus
JHS 162 Paikkatietojen mallintaminen tiedonsiirtoa varten Liite 1 UML-mallinnus Versio: 12.01.2011 Julkaistu: Voimassaoloaika: toistaiseksi Sisällys 1 Johdanto... 1 2 Yleistä... 1 3 Lyhenteet... 1 4 UML-luokkakaaviotekniikan
LisätiedotMikä 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ätiedotOn instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
LisätiedotHELIA 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Ä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ä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ä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ätiedotPaikkatiedon tietotuoteskeemojen ontologisointi tiedonhaun tueksi
Paikkatiedon tietotuoteskeemojen ontologisointi tiedonhaun tueksi Aalto-yliopiston insinööritieteiden korkeakoulun maanmittaustieteiden laitoksella tehty diplomityö Espoo, marraskuu 2011 Tekniikan kandidaatti
Lisätiedotè è è RDF-perusteet 7 RDF-perusteet
7 RDF-perusteet Semanttisen Webin määrittelyteknisen ytimen muodostaa siis Resource Description Framework (RDF) -määritys. Tarkastellaan seuraavassa lyhyesti kielen (kaikille sovelluksille yhteisiä) primitiivejä
LisätiedotOhjelmointikielet ja -paradigmat 5op. Markus Norrena
Ohjelmointikielet ja -paradigmat 5op Markus Norrena Ko#tehtävä 4 Viimeistele "alkeellinen kuvagalleria". Käytännössä kaksi sivua Yksi jolla voi ladata kuvia palvelimelle (file upload) Toinen jolla ladattuja
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ä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ä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ätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
LisätiedotPROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS
67 PROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS Jo äärimmäisen yksinkertaisessa peliesimerkissämme propositiologiikan ilmaisuvoima osoittautuu riittämättömäksi Tietämyskannan alustamiseksi pelin säännöillä meidän
LisätiedotGraafitietokannan visualisointi- ja hallintatyökalu
Joni Suhonen Graafitietokannan visualisointi- ja hallintatyökalu Metropolia Ammattikorkeakoulu Insinööri (AMK) Tieto- ja viestintätekniikan tutkinto-ohjelma Insinöörityö 1.5.2018 Tiivistelmä Tekijä Otsikko
LisätiedotRamseyn lauseen ensimmäinen sovellus
Ramseyn lauseen ensimmäinen sovellus Jarkko Peltomäki 30. huhtikuuta 2012 Tässä esseessä esitetään Frank Ramseyn vuonna 1929 esittämä tulos logiikassa, jonka todistamiseksi hän osoitti myöhemmin tärkeäksi
LisätiedotVisio 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ä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ätiedot1. Olio-ohjelmointi 1.1
1. Olio-ohjelmointi 1.1 Sisällys Olio-ohjelmointi on eräs ohjelmointiparadigma. Olio-ohjelmoinnin muotoja. Ohjelmiston analyysi ja suunnittelu. Olioparadigman etuja ja kritiikkiä. 1.2 Ohjelmointiparadigmoja
LisätiedotHieman 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ä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ätiedotLAUSELOGIIKKA (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ätiedotWWW-ohjelmoinnin kokonaisuus. WWW-OHJELMOINTI 1 Merkkauskielet. Merkkauskielten idea. Merkkauskielet (markup languages) Merkkauskielten merkitys
WWW-OHJELMOINTI 1 WWW-ohjelmoinnin kokonaisuus SGML, XML, HTML WWW-selaimen sovellusohjelmointi WWW-palvelimen sovellusohjelmointi Eero Hyvönen Tietojenkäsittelytieteen laitos Helsingin yliopisto 26.10.2000
LisätiedotCapacity Utilization
Capacity Utilization Tim Schöneberg 28th November Agenda Introduction Fixed and variable input ressources Technical capacity utilization Price based capacity utilization measure Long run and short run
LisätiedotKuvausmalli: IDEF5. 1 Käyttötarkoitus. Alkuperä [2] Lähteet
Kuvausmalli: IDEF5 Alkuperä [2] Lähteet [1] Knowledge Based Systems, Inc. 2006. IDEF5 Overview. www-sivu, http://www.idef.com/idef5.html [2] Benjamin P.C., Menzel C.P., Mayer, R.J., Fillion F., Futrell
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Heidi Luukkonen. Sahlqvistin kaavat
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Heidi Luukkonen Sahlqvistin kaavat Informaatiotieteiden yksikkö Matematiikka Maaliskuu 2013 Tampereen yliopisto Informaatiotieteiden yksikkö LUUKKONEN, HEIDI: Sahlqvistin
LisätiedotOhjelmistoarkkitehtuurit Kevät 2016 Johdantoa
Ohjelmistoarkkitehtuurit Kevät 2016 Johdantoa Samuel Lahtinen http://www.cs.tut.fi/~ohar/ 8.1.2014 1 1 Johdanto 1.1 Mikä on ohjelmistoarkkitehtuuri? 1.2 Ohjelmistoarkkitehtuuri ja laatuvaatimukset 1.3
LisätiedotTIEKE Verkottaja Service Tools for electronic data interchange utilizers. Heikki Laaksamo
TIEKE Verkottaja Service Tools for electronic data interchange utilizers Heikki Laaksamo TIEKE Finnish Information Society Development Centre (TIEKE Tietoyhteiskunnan kehittämiskeskus ry) TIEKE is a neutral,
LisätiedotTenttikysymykset. + 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ätiedotMALog-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ätiedotSemantic 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ätiedotPaikkatiedon semanttinen mallinnus, integrointi ja julkaiseminen Case Suomalainen ajallinen paikkaontologia SAPO
Paikkatiedon semanttinen mallinnus, integrointi ja julkaiseminen Case Suomalainen ajallinen paikkaontologia SAPO Tomi Kauppinen, Eero Hyvönen, Jari Väätäinen Semantic Computing Research Group (SeCo) http://www.seco.tkk.fi/
Lisätiedot15. Ohjelmoinnin tekniikkaa 15.1
15. Ohjelmoinnin tekniikkaa 15.1 Sisällys For-each-rakenne. Lueteltu tyyppi enum. Override-annotaatio. Geneerinen ohjelmointi. 15.2 For-each-rakenne For-rakenteen variaatio taulukoiden ja muiden kokoelmien
LisätiedotProfium. Smart Information Router (SIR) Janne Saarela Profium Oy. Profium perustettu 1996. Pioneeri sisällönhallinnan ratkaisujen kehityksessä
Smart Information Router (SIR) RDF-teknologian käyttö sisällönhallinnassa Janne Saarela Profium Oy Profium Profium perustettu 1996 Pioneeri sisällönhallinnan ratkaisujen kehityksessä Markkinoiden 1. RDF-metatietoon
LisätiedotA Service-Oriented Architecture (SOA) View of IHE Profiles
A Service-Oriented Architecture (SOA) View of IHE Profiles HL7 IHE meeting 20.8.2009 Timo Itälä SoberIT, TKK Juha Mykkänen, KuY 2 SoberIT IHE ja SOA (palveluarkkitehtuuri) SOA (service-oriented architecture)
LisätiedotKorkeakoulujen yhteentoimivuusmalli
Korkeakoulujen yhteentoimivuusmalli Tavoitteena korkeakoulujen opetus-, tutkimus- ja julkaisutietojärjestelmien yhteentoimivuus Miika Alonen Suvi Remes Nykytila Esim. Kirjastotoimi Opintopolku? Korkeakoulujen
LisätiedotOhjelmistojen mallintaminen luokkamallin lisäpiirteitä
582104 Ohjelmistojen mallintaminen luokkamallin lisäpiirteitä 1 Luokkamallin lisäpiirteitä Erilaiset yhteystyypit kooste kompositio Muita luokkien välisiä suhteita riippuvuudet periytyminen eli luokkahierarkia
LisätiedotTESAURUKSET JA ONTOLOGIAT
Janne Heinonen TESAURUKSET JA ONTOLOGIAT TJTSD50 - Tekstitiedonhaku Esseetehtävä 23.5.2006 Jyväskylän yliopisto Tietojenkäsittelytieteiden laitos Jyväskylä SISÄLLYSLUETTELO 1 TESAURUKSET JA ONTOLOGIAT...
LisätiedotAvoimet standardit ja arkistointi
Avoimet standardit ja arkistointi Ossi Nykänen ossi@w3.org Tampereen teknillinen yliopisto (TTY) Hypermedialaboratorio W3C Suomen toimisto 1 Esitelmä Hyvin lyhyt versio: World Wide Web Consortium (W3C)
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ätiedotC++11 seminaari, kevät Johannes Koskinen
C++11 seminaari, kevät 2012 Johannes Koskinen Sisältö Mikä onkaan ongelma? Standardidraftin luku 29: Atomiset tyypit Muistimalli Rinnakkaisuus On multicore systems, when a thread writes a value to memory,
LisätiedotDart. Ryhmä 38. Ville Tahvanainen. Juha Häkli
Dart Ryhmä 38 Ville Tahvanainen Juha Häkli 1.LYHYESTI Dart on luokkapohjainen, yksiperintäinen, puhdas olio-ohjelmointikieli. Dart on dynaamisesti tyypitetty. Sovellukset on organisoitu modulaarisiksi
LisätiedotJAVA-PERUSTEET. JAVA-OHJELMOINTI 3op A274615 JAVAN PERUSTEET LYHYT KERTAUS JAVAN OMINAISUUKSISTA JAVAN OMINAISUUKSIA. Java vs. C++?
JAVA-OHJELMOINTI 3op A274615 JAVAN PERUSTEET LYHYT KERTAUS Teemu Saarelainen teemu.saarelainen@kyamk.fi Lähteet: http://java.sun.com/docs/books/tutorial/index.html Vesterholm, Kyppö: Java-ohjelmointi,
LisätiedotTIE-20200 Ohjelmistojen suunnittelu
TIE-20200 Ohjelmistojen suunnittelu Luento 1: Virtuaalifunktiot, Template method 1 Yleistä asiaa Muistakaa harkkatyöilmoittautuminen 23 ryhmää (mm. lihansyöjäkirahvi), vajaita ryhmiäkin on 44 henkeä vielä
LisätiedotSemanttisen webin idea
Semanttinen web Prof. Eero Hyvönen Aalto-yliopisto, mediatekniikan laitos Helsingin yliopisto, tietojenkäsittelytieteen laitos Semantic Computing Research Group http://seco.tkk.fi/ Sisältö Semanttinen
LisätiedotHELIA 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ätiedotEuroopan 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ätiedotTIE-20200 Samuel Lahtinen. Lyhyt UML-opas. UML -pikaesittely
Lyhyt UML-opas UML -pikaesittely UML, Unified Modeling Language Standardoitu, yleiskäyttöinen mallinnuskieli, jota ylläpitää/hallitsee (Object Management Group) OMG Historiaa: 90-luvulla oli paljon kilpailevia
LisätiedotMitä mahdollisuuksia tuloksemme tarjoavat museoille?
Mitä mahdollisuuksia tuloksemme tarjoavat museoille? Prof. Eero Hyvönen Helsinki Institute for Information Technology HIIT University of Helsinki, Dept. of Computer Science Semantic Computing Research
Lisätiedot15. Ohjelmoinnin tekniikkaa 15.1
15. Ohjelmoinnin tekniikkaa 15.1 Sisällys For-each-rakenne. Geneerinen ohjelmointi. Lueteltu tyyppi enum. 15.2 For-each-rakenne For-rakenteen variaatio taulukoiden ja muiden kokoelmien silmukoimiseen:
LisätiedotAalto Yliopisto T-106.2001 Informaatioverkostot: Studio 1. Oliot ja luokat Javaohjelmoinnissa
Aalto Yliopisto T-106.2001 Informaatioverkostot: Studio 1 Oliot ja luokat Javaohjelmoinnissa Vesa Laakso 22.9.2012 Sisällysluettelo Sisällysluettelo... 1 Johdanto... 2 1. Luokka... 2 2. Olio... 2 3. Luokan
Lisätiedot815338A 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ätiedot2. 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ätiedotYhteentoimivuusalusta: 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ätiedotanna minun kertoa let me tell you
anna minun kertoa let me tell you anna minun kertoa I OSA 1. Anna minun kertoa sinulle mitä oli. Tiedän että osaan. Kykenen siihen. Teen nyt niin. Minulla on oikeus. Sanani voivat olla puutteellisia mutta
LisätiedotPaikkatietorajapinnat IT arkkitehtuurin näkökulmasta 21.12.200 7
Paikkatietorajapinnat IT arkkitehtuurin näkökulmasta 21.12.200 7 Mikä on IT arkkitehtuuri? Liiketoimintamalli määrittelee IT arkkitehtuurin IT arkkitehtuuri ottaa kantaa sovelluksen laadullisiin vaatimuksiin
LisätiedotUML 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ätiedotRuby. Tampere University of Technology Department of Pervasive Computing TIE Principles of Programming Languages
Tampere University of Technology Department of Pervasive Computing TIE-20306 Principles of Programming Languages Ruby Ryhmä 8 Juho Rintala Sami Paukku Sisällysluettelo 1 Johdanto... 3 2 Paradigma... 3
Lisätiedot812336A C++ -kielen perusteet, 21.8.2010
812336A C++ -kielen perusteet, 21.8.2010 1. Vastaa lyhyesti seuraaviin kysymyksiin (1p kaikista): a) Mitä tarkoittaa funktion ylikuormittaminen (overloading)? b) Mitä tarkoittaa jäsenfunktion ylimääritys
Lisätiedot