Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

Imagen
Descripción
Autoría	autor: Markus Krötzsch  Sebastian Rudolph  Pascal Hitzler
Fecha de publicación	27 de febrero de 2012
Idioma
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Private domain
¿Datos faltantes/errados?	Editar ítem de Wikidata