[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.

Any ideas?

Thanks in advance,

More information about the dl mailing list