June 10
Semantica studi il significato del linguaggio: come le parole si riferiscono l'uno all'altro, i significati che portano e come si combinano in frasi e frasi. I principi fondamentali della semantica si applicano a tutte le lingue, comprese le lingue come Java o Python. Utilizzando descrizioni semantiche per definire la funzione di programmi informatici rende easiers per gli utenti di intuire loro funzione.
È possibile fornire una descrizione semantica di un programma o un servizio online attraverso la definizione di ingresso e di uscita del funzionamento. Un programma per determinare la distanza tra due posizioni potrebbe avere bisogno dei due codici di avviamento postale, come le informazioni in ingresso, l'uscita sarebbe emerso in forma di chilometraggio. I tipi semantici sono "codice postale" e "distanza". Se il programma fornisce anche longitudine e latitudine di uscite, che fornisce due ulteriori tipi semantici. Naming i tipi di informazioni in questione rende la funzione del programma comprensibile.
Ontologia - un sistema di classificazione definizioni e concetti - è un altro strumento per fare descrizioni semantiche. Quando AirPort di un computer Mac o un Bluetooth cerca un dispositivo compatibile, si cerca una struttura di dati, possibilmente con una determinata parola chiave. Se programmatori comprendono descrizioni semantiche nella struttura dati, che rende più facile trovare hardware compatibile. Ontologia classifica le caratteristiche importanti descrizioni dovrebbero avere, come ad esempio il dispositivo, il suo hardware e il suo software.
corrispondenza sintattica sottolinea descrizioni semantiche al fine di collegare le capacità dei servizi basati sul Web con gli utenti alla ricerca di tali capacità. Una descrizione semantica del servizio sottolinea i concetti che funziona con, che racconta gli individui se soddisfa le loro esigenze: un sistema di mappatura con i concetti costruiti intorno a un particolare città non è una buona misura per chi desidera fare un escursione un centinaio di miglia nord. Linguaggi come il Web Ontology Language (OWL) rendono più facile da usare descrizioni semantiche per questo scopo.
Con una grande, programmi complessi, fornendo descrizioni semantiche di tutta la faccenda diventa un compito titanico. Con modelli al computer, i programmatori possono automatizzare una parte del lavoro: Mark James Carman e Craig A. Knoblock sviluppato un algoritmo per modellare le descrizioni semantiche per le variabili di ingresso e di uscita, per esempio. Un altro programma, sviluppato presso l'Università di Atene, modelli software educativo, raffigurante le soluzioni da essa svolte, gli studenti concetti acquisirà ei compiti il software assegnerà agli studenti.