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) |
||
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 | ||
+ | |Note=to appear. | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details |
Version vom 14. Juni 2011, 10:14 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
Note: to appear.
Projekt
Forschungsgruppe
Forschungsgebiet