[DL] DL and Epistemic Logic

[Behnam Esfahbod ZWNJ]

Hi,

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.

Any ideas?


Thanks in advance,
-Behnam