Mostrar el registro sencillo del ítem
Debugging EL+ ontologies through horn MUS enumeration
dc.contributor.author | Ignatiev, A. | |
dc.contributor.author | Marques-Silva, J. | |
dc.contributor.author | Mencía Cascallana, Carlos | |
dc.contributor.author | Peñaloza, R. | |
dc.date.accessioned | 2018-02-06T10:10:57Z | |
dc.date.available | 2018-02-06T10:10:57Z | |
dc.date.issued | 2017 | |
dc.identifier.issn | 1613-0073 | |
dc.identifier.uri | http://hdl.handle.net/10651/45329 | |
dc.description | International Workshop on Description Logics (30th. Montpellier; France. 2017 ) | |
dc.language.iso | eng | |
dc.relation.ispartof | CEUR Workshop Proceedings | |
dc.relation.ispartof | 30th International Workshop on Description Logics, DL 2017; Montpellier; France; 18 July 2017 through 21 July 2017 | |
dc.rights | ©, | |
dc.source | Scopus | |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85027873283&partnerID=40&md5=3c87eebb5aa5ede09bd24072949e7215 | |
dc.title | Debugging EL+ ontologies through horn MUS enumeration | |
dc.type | conference output | spa |
Ficheros en el ítem
Ficheros | Tamaño | Formato | Ver |
---|---|---|---|
No hay ficheros asociados a este ítem. |