Search Results

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

    Category:
    Ponencias
    Authors:
    A. Ignatiev , J. Marques-Silva , Carlos Mencía Cascallana , R. Peñaloza
    Date:
    01 of January of 2017
    It Is a Part of:
    CEUR Workshop Proceedings