Debugging El+ Ontologies Through Horn Mus Enumeration

AuthID
 P-00M-Y0Y
4
Author(s)
Mencía, C
·
3
Editor(es)
Alessandro Artale; Birte Glimm; Roman Kontchakov
Tipo de Documento
Proceedings Paper
Year published
2017
Publicado
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, Patrocinadores: Artificial Intelligence Journal (AIJ);European Association for Arti cial Intelligence (EurAI);Inria;LIRMM;Region of Occitanie-Pyrenees-Mediterranee;University of Montpellier
Indexing
Scopus®
Dblp®/pt/publications/view/686110
Publication Identifiers
DBLP: conf/dlog/IgnatievMMP17
SCOPUS: 2-s2.0-85027873283
Source Identifiers
ISSN: 1613-0073
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service