First Page | Document Content | |
---|---|---|
Date: 2011-06-26 10:21:13 | Practical Epistemic Entailment Checking in SROIQ Anees Mehdi and Sebastian Rudolph Institute AIFB, Karlsruhe Institute of Technology, DE {anees.mehdi,sebastian.rudolph}@kit.eduAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 362,67 KBShare Document on Facebook |