Stage-oe-small.jpg

Inproceedings3184

Aus Aifbportal
Version vom 14. Juni 2011, 10:11 Uhr von 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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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


Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet