Re: [ontolog-forum] Types of Formal (logical) Definitions inontology

[Alex Shkotin <alex.shkotin@xxxxxxxxx>]

John,

great! Your sentences have sent to SWUG as this. I hope I find time to write a FOL. Is there any chance to get CL?

It is really interesting to collect this kind of translations: CNL 2 formal languages. It should be useful.

Alex

2014-07-09 18:49 GMT+04:00 John F Sowa <sowa@xxxxxxxxxxx>:

On 7/9/2014 9:54 AM, Alex Shkotin wrote:
> What about http://dumontierlab.com/?page=ontologies?
> I don't think they have problems with chemistry, atom, molecule...

A major problem with OWL is the deliberate limitation to models
that can be represented as trees.  That restriction is key to
their proof of decidability.  But cycles are required in every
branch of science and engineering.

AS

> From other side if you have sentences of some knowledge in English
> not expressible in OWL give us and we can make formal languages
> competition.

Try these sentences:

> A benzene molecule has 6 carbon atoms and 6 hydrogen atoms.
> Each hydrogen atom is linked to exactly 1 carbon atom.
> The carbon atoms are connected in a ring with each carbon atom
> linked to exactly 2 other carbon atoms.
> An atom X is connected to an atom Y iff X is linked to Y
> or X is linked to an atom Z that is connected to Y.

AS
> I bet FOL.

It's easy to translate the above sentences to FOL.  As Barwise
said, it's useful to define more quantifiers.  For example,
'exactly 1', 'at least 2', 'at most 17'.  You don't need full ZFC,
but it's helpful to use an ontology of sets without sets as elements.

John

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)