Patrick Logan <[email protected]> writes:
>> Patrick Logan <[email protected] <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), relationships with domains and ranges,
>> > etc.), but there would still be a need for the domain-specific
>> inferences
>> > described in the original post.
>>
>> Not sure that I understand the domain-specifc inferences that you mean
>> here; you want a model of the domain that draw inferences over that
>> model. The actual inferencing technology that you need is not
>> domain-specific.
>>
>
> In the cryptography domain, the original post mentioned (I rephrase)...
>
> "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 SPARQL + a custom
> function, in SWRL + a custom function, in Prolog, etc.
Perhaps I misunderstand the statements in the cryptography. I think he
wanted to say "a person who has a secret key and the encrypted nonce for
that key, also knows the unencrypted nonce".
I think you could do that in OWL -- something like
person (and (some knows secret_key)
(some knows encrypted_nonce))
equivalent to...
person (some knows unencrypted_nonce)
Could be wrong -- I'm just a user of the logic, and a user of cryptography.
> Yes, that's all I meant by the above, i.e. people unfamiliar with OWL
> inferences would need to be aware of this and explicitly add statements
> like "Alice and Bob are different individuals" or "the set of Male and
> Female are disjoint", etc.
Wrote a paper about male and female once; it's more complicated than you
might think!
Phil
--
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
