Practical Epistemic Entailment Checking in SROIQ Anees Mehdi and Sebastian Rudolph Institute AIFB, Karlsruhe Institute of Technology, DE {anees.mehdi,sebastian.rudolph - Ad Standards - Document - PDFSEARCH.IO

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.edu Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 362,67 KB Share Document on Facebook