Practical Epistemic Entailment Checking in SROIQ

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Practical Epistemic Entailment Checking in SROIQ

Anees ul MehdiAnees ul Mehdi,  Sebastian RudolphSebastian Rudolph
Anees ul Mehdi, Sebastian Rudolph
Practical Epistemic Entailment Checking in SROIQ
Proceedings of the 24th International Workshop on Description Logics (DL2011), July 2011. CEUR Workshop Proceedings
@inproceedings{MR2011,
  author    = {Anees ul Mehdi and Sebastian Rudolph},
  title     = {Practical Epistemic Entailment Checking in {SROIQ}},
  booktitle = {Proceedings of the 24th International Workshop on Description
               Logics (DL2011)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2011},
  month     = {July}
}