Sémantique études de la signification du langage : Comment les mots sont liés les uns aux autres , les significations qu'ils portent et comment ils se combinent en phrases et expressions . Les principes de base de la sémantique s'appliquent à toutes les langues , y compris les langages tels que Java ou Python. En utilisant des descriptions sémantiques pour définir la fonction de programmes informatiques rend easiers pour les utilisateurs de deviner leur fonction . Entrée et sortie
vous pouvez fournir une description sémantique d'un programme ou d' un service en ligne en définissant l' entrée et la sortie de l'opération. Un programme visant à déterminer la distance entre deux points peut avoir besoin les deux codes postaux que des informations d'entrée , la sortie serait émerger sous la forme de kilométrage. Les types sémantiques sont « code postal » et «distance ». Si le programme prévoit aussi la longitude et la latitude de sorties , qui fournit deux types plus sémantiques. Nommer les types d'informations concernées fait fonction de compréhensible du programme
ontologie
Ontology - . D'un système de classification des définitions et des concepts - est un autre outil pour faire des descriptions sémantiques . Lorsque l'aéroport d'un ordinateur Mac ou un Bluetooth recherche un appareil compatible , il recherche une structure de données , éventuellement avec un mot-clé particulier . Si les programmeurs comprennent des descriptions sémantiques dans la structure de données , qui le rend plus facile à trouver du matériel compatible . Ontologie classe les caractéristiques importantes descriptions devraient avoir , comme le dispositif , son matériel et ses logiciels .
Syntaxique Matching
filtrage syntaxique souligne descriptions sémantiques afin pour relier les capacités des services basés sur le Web avec les utilisateurs qui recherchent de telles capacités. Une description sémantique du service met l'accent sur les concepts avec lesquels elle travaille , qui raconte les individus si elle répond à leurs besoins : un système de cartographie des concepts construits autour d'une ville en particulier n'est pas un bon choix pour quelqu'un qui cherche à prendre une randonnée d'une centaine de miles nord. Les langues telles que le langage d'ontologie Web ( OWL) , il est plus facile d'utiliser des descriptions sémantiques à cet effet.
Algorithmes
avec un grand programmes complexes, fournissant des descriptions sémantiques de toute chose devient une tâche herculéenne. Avec la modélisation informatique , les programmeurs peuvent automatiser une partie du travail : Mark James Carman et Craig A. Knoblock développé un algorithme pour modéliser descriptions sémantiques pour variables d'entrée et de sortie par exemple. Un autre programme , développé à l'Université d'Athènes, logiciels éducatifs modèles , illustrant les solutions qu'elle met en œuvre , les élèves des concepts acquerra et les tâches que le logiciel va affecter les élèves .