Semantik undersøgelser betydningen af sprog: Hvordan ord forholde sig til hinanden , de betydninger de bærer , og hvordan de kombinerer i sætninger og sætninger. De grundlæggende principper for semantik gælder for alle sprog, herunder sprog som Java eller Python. Brug semantiske beskrivelser at definere funktionen af edb-programmer gør det easiers for brugere at intuitivt deres funktion . Input og Output
p Du kan give en semantisk beskrivelse af et program eller en online service ved at definere operationen input og output. Et program til at bestemme afstanden mellem to placeringer muligvis de to postnumre som input information, så produktionen ville dukke i form af kilometertal. De semantiske typer er " zipcode " og " distance ". Hvis programmet giver også længde og bredde som output, der giver yderligere to semantiske typer . Navngivning de typer oplysninger, der er involveret gør programmet funktion forståelig
ontologi
ontologi - . Et system til klassificering definitioner og begreber - er et andet værktøj til at gøre semantiske beskrivelser . Når en Mac computers AirPort eller Bluetooth leder efter en kompatibel enhed , søger den efter en datastruktur , eventuelt med et bestemt søgeord . Hvis programers omfatter semantiske beskrivelser i datastruktur , der gør det nemmere at finde kompatibelt hardware. Ontologi klassificerer de vigtige funktioner beskrivelserne burde have, såsom enheden , dens hardware og dens software.
Syntaktisk Matchende
Syntaktisk matching understreger semantiske beskrivelser for at forbinde mulighederne i web -baserede tjenester med brugere på udkig efter sådanne kapaciteter. En semantisk beskrivelse af den tjeneste fremhæver de begreber, det virker med , som fortæller borgerne , hvis det opfylder deres behov : En kortlægning systemet med koncepter bygget omkring en bestemt by er ikke et godt match for en person søger at tage en vandretur hundrede miles mod nord. Sprog som Web Ontology Language ( OWL ) gør det lettere at bruge semantiske beskrivelser til dette formål.
Algoritmer
med en stor, komplekse programmer , der giver semantiske beskrivelser af det hele bliver en kæmpe opgave. Med computer -modellering, kan programmører automatisere noget af arbejdet : Mark James Carman og Craig A. Knoblock udviklet en algoritme til at modellere semantiske beskrivelser input og output variable for eksempel. Et andet program , der er udviklet på University of Athens , modeller undervisningssoftware , der viser de løsninger det iværksætter , vil begreber studerende tilegner og opgaverne vil softwaren tildele studerende.