Re: Knowledge derivation in core.logic?

2013-05-29 Thread Phillip Lord
Patrick Logan patrickdlo...@gmail.com writes: On Tuesday, May 28, 2013 5:48:08 AM UTC-7, Phillip Lord wrote: One of the things that I am sort of interested in with tawny is whether there is any value to the overlap of Clojure and OWL in the same syntax. It would be, for example, possible to

Re: Knowledge derivation in core.logic?

2013-05-28 Thread Phillip Lord
Patrick Logan patrickdlo...@gmail.com writes: Patrick Logan patric...@gmail.com javascript: writes: OWL has several levels of increasingly expressive but general inferences. Much of the domain could be represented in OWL (classes (i.e. sets), instances (i.e. set membership),

Re: Knowledge derivation in core.logic?

2013-05-28 Thread Patrick Logan
On Tuesday, May 28, 2013 2:51:51 AM UTC-7, Phillip Lord wrote: Given a secret key and encrypted nonce for that key, assert the unencrypted nonce. What I mean is that there is no way to express this in OWL alone. This could be expressed in core.logic, in clojure, in java, in

Re: Knowledge derivation in core.logic?

2013-05-28 Thread Phillip Lord
Patrick Logan patrickdlo...@gmail.com writes: On Tuesday, May 28, 2013 2:51:51 AM UTC-7, Phillip Lord wrote: Given a secret key and encrypted nonce for that key, assert the unencrypted nonce. What I mean is that there is no way to express this in OWL alone. This could be

Re: Knowledge derivation in core.logic?

2013-05-28 Thread Patrick Logan
On Tuesday, May 28, 2013 5:48:08 AM UTC-7, Phillip Lord wrote: One of the things that I am sort of interested in with tawny is whether there is any value to the overlap of Clojure and OWL in the same syntax. It would be, for example, possible to annotate a Clojure function with the OWL;

Re: Knowledge derivation in core.logic?

2013-05-27 Thread Phillip Lord
Patrick Logan patrickdlo...@gmail.com writes: OWL has several levels of increasingly expressive but general inferences. Much of the domain could be represented in OWL (classes (i.e. sets), instances (i.e. set membership), relationships with domains and ranges, etc.), but there would still

Re: Knowledge derivation in core.logic?

2013-05-27 Thread Patrick Logan
On Monday, May 27, 2013 12:40:34 AM UTC-7, Phillip Lord wrote: Patrick Logan patric...@gmail.com javascript: writes: OWL has several levels of increasingly expressive but general inferences. Much of the domain could be represented in OWL (classes (i.e. sets), instances (i.e. set

Re: Knowledge derivation in core.logic?

2013-05-26 Thread Phillip Lord
Not a direct answer to your question, but you might want to take a look at: https://github.com/phillord/tawny-owl This tool wraps OWL, which is a standard language for knowledge representation, that maps to a formal logic underneath, which is machine interpretable and reasonable. I don't know

Re: Knowledge derivation in core.logic?

2013-05-26 Thread Patrick Logan
OWL has several levels of increasingly expressive but general inferences. Much of the domain could be represented in OWL (classes (i.e. sets), instances (i.e. set membership), relationships with domains and ranges, etc.), but there would still be a need for the domain-specific inferences

Knowledge derivation in core.logic?

2013-05-25 Thread Adam Saleh
Hi, I am trying to implement a simple knowledge derivation program in clojure.core.logic, and I am not sure how to approach it. To be more specific, after I am done, it will be used as a toy cryptographic protocol verifier, that tries to infer what knowledge can attacker get based on some

Re: Knowledge derivation in core.logic?

2013-05-25 Thread David Nolen
I think Nada Amin has already done something like this with the nominal feature and at least her version was quite simple. Best to ask this question on the miniKanren/core.logic mailing list - http://groups.google.com/forum/#!forum/minikanren David On Sat, May 25, 2013 at 8:44 PM, Adam Saleh