Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Inproceedings3184

Aus Aifbportal

Wechseln zu: Navigation, Suche


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