pueden proporcionar una descripción semántica de un programa o un servicio en línea mediante la definición de la entrada y salida de la operación. Un programa para determinar la distancia entre dos puntos puede ser que necesite los dos códigos postales como información de entrada , la salida emergería en forma de kilometraje . Los tipos semánticos son " código postal " y "distancia ". Si el programa también proporciona la longitud y latitud como salidas , que ofrece dos tipos más semánticas. Nombrar los tipos de información que participan hace comprensible el funcionamiento del programa
Ontología
Ontología - . Un sistema de clasificación de las definiciones y conceptos - es otra herramienta para hacer descripciones semánticas . Cuando AirPort del ordenador Mac o Bluetooth busca a un dispositivo compatible , busca una estructura de datos , posiblemente con una determinada palabra clave . Si los programadores incluyen descripciones semánticas en la estructura de datos , que hace que sea más fácil encontrar el hardware compatible. Ontología clasifica las características importantes descripciones deben tener , como el dispositivo, su hardware y su software.
Sintáctica Coincidencia
coincidencia sintáctica enfatiza descripciones semánticas para para conectar las capacidades de los servicios basados en la Web con los usuarios en busca de tales capacidades. Una descripción semántica del servicio hace hincapié en los conceptos con los que trabaja , que narra las personas si se ajusta a sus necesidades : un sistema de cartografía con los conceptos construidos en torno a una ciudad en particular no es una buena opción para alguien que busca tomar una caminata de cien kilómetros norte . Idiomas como el Lenguaje de Ontologías Web (OWL ) hacen que sea más fácil de usar descripciones semánticas para este propósito.
Algoritmos
Con grandes programas complejos , proporcionando descripciones semánticas de todo el asunto se convierte en una tarea hercúlea. Con modelos de computadora , los programadores pueden automatizar algunos de los trabajos : Mark James Carman y Craig A. Knoblock desarrollaron un algoritmo para modelar descripciones semánticas de variables de entrada y de salida , por ejemplo. Otro programa, desarrollado en la Universidad de Atenas, software educativo modelos , que representan las soluciones que implementa , los conceptos que el estudiante adquiera y las tareas que el software le asignará a los estudiantes .