Teknikker for Semantisk beskrivelse

Semantikk studier betydningen av språket: Hvordan ord forholder seg til hverandre, betydningene de bærer og hvordan de sammen til setninger og setninger. De grunnleggende prinsippene for semantikk gjelder for alle språk, inkludert språk som Java eller Python. Ved hjelp av semantiske beskrivelser å definere funksjonen til dataprogrammer som 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 trenger de to zip-koder som input informasjon, så produksjonen vil dukke opp i form av kjørelengde. Den semantiske typer er "postnummer" og "avstand". Hvis programmet gir også lengde- og breddegrad som utganger, som gir to mer semantiske typer. Navngi 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 AirPort eller Bluetooth ser for en kompatibel enhet, søker den etter en datastruktur, muligens med et bestemt søkeord. Hvis programers inkluderer semantiske beskrivelser i datastrukturen, gjør at det er lettere å finne kompatibel maskinvare. Ontologi klassifiserer de viktige funksjonene beskrivelser bør ha, som for eksempel enheten, maskinvare og programvaren.

syntaktisk Matching

Syntaktisk matchende streker semantiske beskrivelser for å koble egenskapene til Web-baserte tjenester med brukerne på jakt etter slike evner. En semantisk beskrivelse av tjenesten streker begreper som det fungerer med, som forteller folk om det tilfredsstiller deres behov: En kartsystem med konsepter bygget rundt en bestemt by er ikke en god løsning for noen som ønsker å ta en vandring tur hundre miles Nord. Språk som Web ontologi Language (OWL) gjør det enklere å bruke semantiske beskrivelser for dette formålet.

algoritmer

Med store, komplekse programmer, og 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 de løsningene det implementerer, vil begrepene studentene tilegne seg og oppgavene programvaren vil tildele studentene.