BEACON: An efficient SAT-based tool for debugging εL+ ontologies

dc.contributor.author	Arif, M. F.
dc.contributor.author	Mencía Cascallana, Carlos
dc.contributor.author	Ignatiev, A.
dc.contributor.author	Manthey, N.
dc.contributor.author	Peñaloza, R.
dc.contributor.author	Marques-Silva, J.
dc.date.accessioned	2017-02-01T07:40:05Z
dc.date.available	2017-02-01T07:40:05Z
dc.date.issued	2016
dc.identifier.isbn	9783319409696
dc.identifier.issn	0302-9743
dc.identifier.uri	http://hdl.handle.net/10651/39665
dc.format.extent	p. 521-530
dc.language.iso	eng
dc.relation.ispartof	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.rights	©,
dc.source	Scopus
dc.source.uri	https://www.scopus.com/inward/record.uri?eid=2-s2.0-84977529059&partnerID=40&md5=15783cd4a706af76416532e03ba60955
dc.title	BEACON: An efficient SAT-based tool for debugging εL+ ontologies
dc.type	conference output	spa
dc.identifier.doi	10.1007/978-3-319-40970-2_32
dc.relation.publisherversion	http://dx.doi.org/10.1007/978-3-319-40970-2_32

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.