semantiken studeras betydelsen av språket : Hur ord relaterar till varandra , de betydelser de bär och hur de kombineras i meningar och fraser . De grundläggande principerna för semantik gäller alla språk, däribland språk som Java eller Python . Använda semantiska beskrivningar för att definiera funktionen av datorprogram gör det easiers för användare att intuitivt deras funktion . Input och Output
Du kan ge en semantisk beskrivning av ett program eller en online- tjänst genom att definiera verksamhetens input och output . Ett program för att bestämma avståndet mellan två platser kan behöva de två postnummer som inmatad information , då produktionen skulle komma i form av körsträcka . De semantiska typerna är " postnummer " och " avstånd . " Om programmet ger också longitud och latitud som utgångar , som ger två mer semantiska typer . Namnge den typ av information som gör att programmets funktion begriplig
ontologi
ontologi - . Ett system för klassificering av definitioner och begrepp - är ett annat verktyg för att göra semantiska beskrivningar . När en Mac datorns AirPort eller en Bluetooth letar efter en kompatibel enhet , söker den efter en datastruktur , möjligen med ett visst sökord . Om programers inkluderar semantiska beskrivningar i datastrukturen , gör att det blir lättare att hitta kompatibel maskinvara . Ontologi klassificerar de viktiga funktioner beskrivningar bör ha , såsom enheten , dess hårdvara och dess mjukvara .
Syntaktisk Matchande
Syntaktisk matchning betonar semantiska beskrivningar för att ansluta funktionerna i webb - baserade tjänster med användare som letar efter sådana möjligheter . En semantisk beskrivning av tjänsten framhåller de begrepp som man arbetar med , som berättar personer om den uppfyller deras behov : En kartsystem med koncept byggt kring en viss stad är inte en bra passform för någon som funderar på att ta en vandringstur hundra miles norr . Språk som Web Ontology Language ( OWL ) gör det lättare att använda semantiska beskrivningar för detta ändamål .
Algoritmer
med en stor, komplexa program , ger semantiska beskrivningar av det hela blir en svår uppgift . Med datormodeller , kan programmerare automatisera en del av arbetet : Mark James Carman och Craig A. Knoblock utvecklat en algoritm för att modellera semantiska beskrivningar för input och output variabler till exempel . Ett annat program , som utvecklats vid universitetet i Aten , modeller pedagogisk programvara , som skildrar de lösningar den genomför , kommer begreppen studenterna förvärva och uppgifterna programvaran tilldelar studenterna .
