I believe the problem is that OWL axiom sets always have a tree model
whether you want it or not. OWL axiom sets may have other models which are
not trees. (01)
-----Original Message-----
From: John F Sowa
Sent: Wednesday, July 09, 2014 9:49 AM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] Types of Formal (logical) Definitions
inontology (02)
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... (03)
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. (04)
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. (05)
Try these sentences: (06)
> 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. (07)
AS
> I bet FOL. (08)
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. (09)
John (010)
_________________________________________________________________
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 (011)
_________________________________________________________________
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 (012)
|