Semántica tecnología razonamiento tecnologías web es un tema de investigación. En el protegido comúnmente utilizado motor de inferencia OWL tiene tres principales
Ermitaño
Ermitaño [1] es compatible con todas las características de OWL lengua 2 ontología [2] 4, incluyendo todos los tipos de datos de OWL 2 [3] 26, y se realiza objetos y atributos de datos correctamente Clasificar - por lo que sabemos, tarea de razonamiento no es OWL razonamiento es totalmente compatible con el otro dispositivo.
referencias
[1] Motik, B., Horrocks, I .: OWL tipos de datos: diseño e implementación. En: Proc. de la séptima Int. Conferencia Web Semántica (ISWC 2008), Lecture Notes in Computer Science, vol. 5318, pp. 307-322. Springer (2008)
[2] Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, PF, Sattler, U .: OWL 2: El siguiente paso para OWL. J. Semant Web. 6 (4), 309-322 (2008)
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[dieciséis]
[17]
[18]
[19]
[20]