Re: online DL generator?

Chris, apologies, your reply got lost in my inbox until today
Silly me-
I dont know why I hadn't thought about LLM, because I am using it pretty
much for everything else

A quick test shows that it seems to work wonderfully, it sometimes exceeds
expectations
offering rendering in different syntaxes and owl
I started evaluating
the responses between different LLMs. It s quite interesting how DL is the
same, but the quality of the responses
can vary

https://g.co/gemini/share/9495e1b5fbc5
vs
https://chatgpt.com/s/t_6869dacef02c8191932133dee1605d11
etc

is the suggestion (in  chaptgpt) hat we try rendering the assertion using
deontic logic formalism is
an hallucination?

*If you wanted to model it as an obligation or norm (ought to join), you’d
need a different formalism (like deontic logic), not D*

Is this right?

✅ *Formalization in Standard Deontic Logic (SDL):*

Define:

   -

   W(x): *x is a woman*
   -

   M(x): *x is a man*
   -

   J(x): *x joins the Caravan of Love*

Then:
∀x((W(x)∨M(x))⟹O[J(x)])


anyway, very interesting learning environment, we can learn lots, fast

it s healthy to know that we still need the human expertise to eval, and
that we can now increase the
speed at which we can become experts, if we continue to use our brains
purposefully

PDM



On Fri, May 30, 2025 at 12:45 AM Chris Mungall <cjmungall@lbl.gov> wrote:

> Hi Paola,
>
> This is general natural language, not a CNL system like ACE?
>
> I'll say it if no one else will...
>
> ChatGPT/Claude/Gemini/...
>
> If you want a full blown natural language ontology builder, just take a
> commodity MCP-enabled AI host (Claude Desktop, Goose is my favorite) and
> configure to use with a DL MCP, e.g.
> https://github.com/scimcp/owl-mcp
>
> [image: image.png]
>
> On Wed, May 28, 2025 at 10:01 PM Paola Di Maio <paola.dimaio@gmail.com>
> wrote:
>
>> Greetings, learned webbers
>> I am looking for a tool that can convert NL expressions into DL
>> (take nl expressesin and input and cover into DL notation)
>>
>> I am sure  it must exist"""""""""""
>> But I could not find it
>> Please share if you have pointers to such
>> Thank you
>> Best
>> DM
>>
>