Debugging El+ Ontologies Through Horn Mus Enumeration

AuthID
P-00M-Y0Y
4
Author(s)
3
Editor(s)
Alessandro Artale; Birte Glimm; Roman Kontchakov
Document Type
Proceedings Paper
Year published
2017
Published
in Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. in CEUR Workshop Proceedings, ISSN: 1613-0073
Volume: 1879
Conference
30Th International Workshop on Description Logics, Dl 2017, Date: 18 July 2017 through 21 July 2017, Sponsors: Artificial Intelligence Journal (AIJ);European Association for Arti cial Intelligence (EurAI);Inria;LIRMM;Region of Occitanie-Pyrenees-Mediterranee;University of Montpellier
Indexing
Publication Identifiers
Dblp: conf/dlog/IgnatievMMP17
Scopus: 2-s2.0-85027873283
Source Identifiers
ISSN: 1613-0073
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.