Inproceedings3184: Unterschied zwischen den Versionen
Aus Aifbportal
Ame (Diskussion | Beiträge) |
Ame (Diskussion | Beiträge) |
||
Zeile 14: | Zeile 14: | ||
|Booktitle=Proceedings of the 24th International Workshop on Description Logics (DL2011) | |Booktitle=Proceedings of the 24th International Workshop on Description Logics (DL2011) | ||
|Publisher=CEUR Workshop Proceedings | |Publisher=CEUR Workshop Proceedings | ||
− | |||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
+ | |Download=Dl2011 EQUIKA.pdf, | ||
|Projekt=ExpresST | |Projekt=ExpresST | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
}} | }} |
Aktuelle Version vom 18. Juli 2011, 11:06 Uhr
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
Forschungsgruppe
Forschungsgebiet