Debugging EL+ ontologies through horn MUS enumeration
Publication date:
2017
Description:
International Workshop on Description Logics (30th. Montpellier; France. 2017 )
International Workshop on Description Logics (30th. Montpellier; France. 2017 )