Inproceedings3184
Aus Aifbportal
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
Projekt
Forschungsgruppe
Forschungsgebiet