Practical Epistemic Entailment Checking in SROIQ

PublikationenPublications

• Nach AutorBy Author
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Practical Epistemic Entailment Checking in SROIQ

Anees ul MehdiAnees ul Mehdi,  Sebastian RudolphSebastian Rudolph

Practical Epistemic Entailment Checking in SROIQ

• Download

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

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@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}
}