Proceedings of the 30th International Workshop on Description Logics

Book title Buchtitel

Editor Herausgeber_in

Artale, Alessandro
Glimm, Birte
Kontchakov, Roman

Publisher Herausgeber

CEUR Workshop Proceedings

Place of publishing Erscheinungsort

1879

Series Schriftenreihe

CEUR Workshop Proceedings

Results 1-4 of 4 (Search time: 0.006 seconds).

RIS EndNote Bibtex Send via email

	Author(s)	Title	Type	Issue Date
1	Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas	Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming	Konferenzbeitrag Inproceedings	2017
2	Labai, Nadia ; Homola, Martin ; Ortiz de la Fuente, M.Magdalena	Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)	Konferenzbeitrag Inproceedings	2017
3	Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor ; Jung, Jean Chistoph	Number Restrictions on Transitive Roles in Description Logics with Nominals	Konferenzbeitrag Inproceedings	2017
4	Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph	On Query Answering in Description Logics with Number Restrictions on Transitive Roles	Konferenzbeitrag Inproceedings	2017