Un marco general para representar y razonar con datos semánticos web anotados

Describimos un marco genérico para representar y razonar con datos semánticos web anotados, formalizamos el lenguaje anotado, el sistema deductivo correspondiente y abordamos el problema de respuesta a consultas. Ampliamos contribuciones anteriores sobre anotaciones RDF proporcionando un formalismo de razonamiento unificado y permitiendo la combinación sin problemas de diferentes dominios de anotación. Demostramos la viabilidad de nuestro método al instanciarlo en (i) RDF temporal; (ii) RDF difuso; (iii) y su combinación. Un prototipo muestra que implementar y combinar nuevos dominios es fácil y que los almacenes RDF pueden ampliarse fácilmente a nuestro marco.