[DL] DL and Epistemic Logic
Behnam Esfahbod ZWNJ
behnam at zwnj.org
Thu Dec 10 20:13:04 CET 2009
I am studying Epistemic Logic these days and I was thinking whether
it's concepts has been used together with DL? Have you seen any
system that uses the concepts of these two already?
Here is a simple idea: extending OWL-2 with EL somehow, an agent A
might be able to understand "Agent B knows which X has relation R to
which Y" but the agent A doesn't have the knowledge itself. This
looks similar to RDF/OWL subgraphs though.
Thanks in advance,
More information about the dl