Resultados de la búsqueda

  • Debugging EL+ ontologies through horn MUS enumeration [2017]

    Categoría:
    Ponencias
    Autores:
    A. Ignatiev , J. Marques-Silva , Carlos Mencía Cascallana , R. Peñaloza
    Fecha:
    01 de Enero de 2017
    Es parte de:
    30th International Workshop on Description Logics, DL 2017; Montpellier; France; 18 July 2017 through 21 July 2017;CEUR Workshop Proceedings