|Cc:||andrei rodin <andrei@xxxxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||Alex Shkotin <alex.shkotin@xxxxxxxxx>|
|Date:||Thu, 10 Jul 2014 13:12:33 +0400|
"Benzene is a good example test case for an ontology language. The idea is to give an axiom set in a logic for the class of benzene molecules. Then use automated reasoning answer questions about the structure of benzene molecules. For example, one would like to ask in the ontology language the question “whether any benzene molecule has a carbon ring? “... Reasoning on DL axiom sets cannot answer this question correctly..."
But there is another equivalent question, I think DL-ed: “whether any benzene molecule has a carbon ring with length <13?“
"However, one can give first order axioms for Benzene which constrain all the models to consist of molecules which only have the correct shape. This is not a trivial result."
I am sure that Benzene definition is DL-ed too. I am just wating for experts answer. It's summer you know.
2014-07-10 4:31 GMT+04:00 henson <henson.graves@xxxxxxxxxxx>:
Indeed category theory is a mathematical formalism which is being used for ontology, even in cases where the users are unaware of it. The reasons are straight forward. A category is really a directed graph with a path composition operation and possibly other language constructions. Many applications in science and engineering make heavy use of directed graphs, including John’s bridge example in more ways than one.
_________________________________________________________________ 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)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Types of Formal (logical) Definitions inontology, henson|
|Next by Date:||Re: [ontolog-forum] Differential Logic and Dynamic Systems, Jon Awbrey|
|Previous by Thread:||Re: [ontolog-forum] Types of Formal (logical) Definitions inontology, henson|
|Next by Thread:||[ontolog-forum] Predicate Collections for Semantic Relationships, Frank Guerino|
|Indexes:||[Date] [Thread] [Top] [All Lists]|