Semantinen

Semantinen tarkoittaa merkitykseen liittyvää. Käsite kattaa sen, miten merkit—kieliopilliset sanat, lauseet ja symbolit—viittaavat asioihin ja miten niiden merkitys voidaan määritellä suhteessa totuuslauseisiin. Semanttisuutta tarkastellaan eri aloilla: kielitieteen semantiikka, filosofian kielioppi sekä informaatiojärjestelmien semantiikka. Se on erillinen mutta läheisesti kytkeytynyt syntaksiin, joka tutkii muotoa ja rakennetta.

Kielitieteessä semantiikka tutkii sanaston merkityksiä, lauseiden merkityksiä sekä suhteita kuten merkitseminen, synonyymi, polyseemisyys ja implikaatiot. Eri teoreettiset suuntaukset kattavat Fregen sense- ja reference-käsitteet, totuuslauseperusteisen semantiikan sekä muodollisen semantiikan (Montague). Sanojen viittauksia tutkitaan referenssien kautta; lauseiden merkitys määritellään niiden totuusarvojen kautta kontekstissa.

Tietotekniikassa semantiikka määrittelee ohjelmien ja tietojen merkityksen. Ohjelmointikielien semantiikka kuvaa, miten ohjelman ohjeet vaikuttavat laskentaan—operational-, denotational- tai axiomatic- näkökulmista. Semanttinen web ja ontologiat (RDF, OWL) mahdollistavat koneellisen ymmärtämisen ja tiedonvälityksen sekä paremman tiedon integraation.

Sovellukset ja haasteet liittyvät luonnollisen kielen ymmärtämiseen, tiedonhakuun ja käännöksiin sekä kontekstin vaikutukseen merkitykseen. Monikielisessä ja monimuuttuvassa tietoympäristössä semantiikka tukee tiedon yhteentoimivuutta, hakujen tarkkuutta ja älykkäiden järjestelmien toimintaa.