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
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),
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
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
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;
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
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
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
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
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
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
11 matches
Mail list logo