Repositorio
Cómo publicar
Recursos
FAQs

Mostrar el registro sencillo del ítem

Debugging EL+ ontologies through horn MUS enumeration

dc.contributor.authorIgnatiev, A.
dc.contributor.authorMarques-Silva, J.
dc.contributor.authorMencía Cascallana, Carlos 
dc.contributor.authorPeñaloza, R.
dc.date.accessioned2018-02-06T10:10:57Z
dc.date.available2018-02-06T10:10:57Z
dc.date.issued2017
dc.identifier.issn1613-0073
dc.identifier.urihttp://hdl.handle.net/10651/45329
dc.descriptionInternational Workshop on Description Logics (30th. Montpellier; France. 2017 )
dc.language.isoeng
dc.relation.ispartofCEUR Workshop Proceedings
dc.relation.ispartof30th International Workshop on Description Logics, DL 2017; Montpellier; France; 18 July 2017 through 21 July 2017
dc.rights©,
dc.sourceScopus
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85027873283&partnerID=40&md5=3c87eebb5aa5ede09bd24072949e7215
dc.titleDebugging EL+ ontologies through horn MUS enumeration
dc.typeconference outputspa


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem