Stage-oe-small.jpg

Inproceedings3184

Aus Aifbportal
(Weitergeleitet von Inproceedings3184/en)
Wechseln zu:Navigation, Suche


Practical Epistemic Entailment Checking in SROIQ


Practical Epistemic Entailment Checking in SROIQ



Published: 2011 Juli

Buchtitel: Proceedings of the 24th International Workshop on Description Logics (DL2011)
Verlag: CEUR Workshop Proceedings

Nicht-referierte Veröffentlichung

BibTeX

Download: Media:Dl2011 EQUIKA.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet