1 research outputs found

    Debugging EL+ ontologies through horn MUS enumeration

    No full text
    International Workshop on Description Logics (30th. Montpellier; France. 2017
    corecore