Inproceedings3184: Unterschied zwischen den Versionen
Aus Aifbportal
Ame (Diskussion | Beiträge) |
(kein Unterschied)
|
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