Practical Epistemic Entailment Checking in SROIQ

Anees ul MehdiAnees ul Mehdi, Sebastian RudolphSebastian Rudolph

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

Projekt:Project: ExpresST
Forschungsgruppe:Research Group: Information Systems„Information Systems“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Knowledge-Based Systems

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