è possibile fornire una descrizione semantica di un programma o di un servizio in linea con la definizione di ingresso e di uscita del funzionamento . Un programma per determinare la distanza tra due località potrebbe aver bisogno di due codici di avviamento postale come le informazioni in ingresso , l'uscita sarebbe emersa in forma di chilometraggio . I tipi semantici sono " codice postale " e "distanza ". Se il programma prevede anche longitudine e latitudine di uscite, che fornisce due tipi più semantici . Nominare i tipi di informazioni coinvolte rende comprensibile la funzione del programma
Ontologia
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 , 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 importanti caratteristiche descrizioni dovrebbero avere , come ad esempio il dispositivo , il suo hardware e il suo software .
Sintattica corrispondenza
corrispondenza sintattica enfatizza descrizioni semantiche al fine per collegare le capacità dei servizi basati sul Web con gli utenti in cerca di tali capacità . Una descrizione semantica del servizio enfatizza i concetti con cui lavora , che racconta gli individui se soddisfa le loro esigenze : un sistema di mappatura con concetti costruiti intorno a una città particolare non è una buona misura per chi cerca di fare un escursione di cento miglia nord . Lingue come il Web Ontology Language ( OWL) rendono più facile da usare descrizioni semantiche per questo scopo .
Algoritmi
con un grande, programmi complessi , fornendo descrizioni semantiche di tutta la faccenda diventa un compito titanico . Con i modelli al computer , i programmatori possono automatizzare una parte del lavoro : Mark James Carman e Craig A. Pomella sviluppato un algoritmo per modellare descrizioni semantiche per ingresso e di uscita , per esempio. Un altro programma , sviluppato presso l' Università di Atene , software didattico modelli , raffigurante le soluzioni da essa svolte , gli studenti acquisiranno concetti e dei compiti che il software assegnerà agli studenti .
Programmazione © www.354353.com