Inproceedings3184: Unterschied zwischen den Versionen
Aus Aifbportal
Ame (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=ul Mehdi |ErsterAutorVorname=Anees }} {{Publikation Author |Rank=2 |Author=Sebastian Rudolph }} {{Inproceedings |R…“) |
Ame (Diskussion | Beiträge) |
||
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
Zeile 16: | Zeile 16: | ||
}} | }} | ||
{{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