Semantikk studier betydningen av språk : Hvordan ord forholder seg til hverandre , betydningene de bærer og hvordan de sammen til setninger og fraser . De grunnleggende prinsippene for semantikk gjelder for alle språk, inkludert språk som Java eller Python . Ved hjelp av semantiske beskrivelser som definerer funksjonen av dataprogrammer gjør det easiers for brukerne å oppfatte sin funksjon . Inngang og utgang

Du kan gi en semantisk beskrivelse av et program eller en elektronisk tjeneste ved å definere virksomhetens inngang og utgang . Et program for å bestemme avstanden mellom to steder kanskje trenger de to zip-koder som input informasjon , så resultatet vil dukke opp i form av kjørelengde. Den semantiske typene er " postnummer " og " avstand ". Hvis programmet gir også lengde-og breddegrad som utganger, som gir to mer semantiske typer. Navngi hvilke typer informasjon som er involvert gjør programmet funksjon forståelig
ontologi

ontologi - . Et system for klassifisering av definisjoner og begreper - er et annet verktøy for å lage semantiske beskrivelser . Når en Mac datamaskin AirPort eller Bluetooth ser etter en kompatibel enhet , søker den etter en datastruktur , muligens med et bestemt søkeord . Hvis programers inkluderer semantiske beskrivelser i data struktur , som gjør det lettere å finne kompatibel maskinvare . Ontologi klassifiserer de viktige funksjoner beskrivelser bør ha , som for eksempel enheten , dens hardware og software .
Syntaktisk Matching

Syntaktisk matching understreker semantiske beskrivelser for å koble mulighetene i Web -baserte tjenester med brukere som leter etter slike evner . En semantisk beskrivelse av tjenesten vektlegger begrepene at det fungerer med , som forteller folk om det tilfredsstiller deres behov: En kartlegging system med konsepter bygget rundt en bestemt by er ikke en god løsning for noen som ønsker å ta en fottur hundre miles nord. Språk som Web ontologi språk ( OWL ) gjør det enklere å bruke semantiske beskrivelser for dette formålet .
Algoritmer
p Med en stor, komplekse programmer , som gir semantiske beskrivelser av hele greia blir en Herculean oppgave. Med datamodellering , kan programmerere automatisere noe av arbeidet : Mark James Carman og Craig A. knoblock utviklet en algoritme for å modellere semantiske beskrivelser for input og output variabler for eksempel. Et annet program , utviklet ved University of Athens , modeller pedagogisk programvare , som skildrer våre løsninger gjennomfører , vil konsepter studentene tilegne seg og oppgavene programvaren vil tildele elevene.