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

Inproceedings3184