[Top] [All Lists]

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

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Wed, 09 Jul 2014 10:49:10 -0400
Message-id: <53BD5666.5050104@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...    (01)

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.    (02)

> 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.    (03)

Try these sentences:    (04)

> 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.    (05)

> I bet FOL.    (06)

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.    (07)

John    (08)

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    (09)

<Prev in Thread] Current Thread [Next in Thread>