Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.
Book title Buchtitel
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.
Publisher Herausgeber
CEUR-WS.org
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Böhm, Katinka ; Ortiz de la Fuente, M.Magdalena | A Tool for Building Topic-specific Ontologies Using a Knowledge Graph | Konferenzbeitrag Inproceedings  | 2018 | |
| 2 | Rudolph, Sebastian ; Simkus, Mantas | Satisfiability in the Triguarded Fragment of First-Order Logic | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Taming Complex Role Inclusions for DL-Lite | Konferenzbeitrag Inproceedings | 2018 |