[CG] DOL standard by the Object Management Group (was Technical question on Protege

First-order logic is a universal format that has been used to define every digital device of any kind and anything that can be implemented on any digital computer. Furthermore, every logician in the world and everybody who has studied logic knows FOL. Alex: Let me propose to keep it in a knowledge hub form of framework. Like for ugraph theory here. Today when we have GenAI as an alternative knowledge concentrator we at least know that it is possible to put ALL our theoretical knowledge in one "computer". No, no, no absolutely NOT! Only a tiny fraction of logicians have ever seen ugraph. Only until there is a formal translation to and from FOL, we have ZERO evidence that ugraph is precise and reliable. And if anybody can demonstrate that such a translation is possible, then that is a proof that we don't need ugraph. We can continue to use FOL. But there is also a standard for the superset of FOL called DOL, which is an official standard of the Object Management Group. For a summary of the DOL standard, see slides 8 to 12 of https://jfsowa.com/talks/eswc.pdf . That talk (with a subset of the slides) won the best presentation award at the 2020 European Semantic Web Conference. For the complete specification of the Distributed Ontology, Modeling, and Specification Language, see https://www.omg.org/spec/DOL/1.0 And GenAI is notorious for its errors and hallucinations. It is not a good recommendation for anything that requires absolute precision and reliability. John ---------------------------------------- From: "Nadin, Mihai" <nadin(a)utdallas.edu> Sent: 8/24/24 4:32 PM Why not? Just wondering. Mihai Nadin Get Outlook for iOSFrom: ontolog-forum(a)googlegroups.com <ontolog-forum(a)googlegroups.com> on behalf of Alex Shkotin <alex.shkotin(a)gmail.com> Sent: Saturday, August 24, 2024 3:22:23 AM Heinrich, Following "We developed a new theory of time and space" is it possible to read it? What is the form your theory exists in? Let me propose to keep it in a knowledge hub form of framework. Like for ugraph theory here. Today when we have GenAI as an alternative knowledge concentrator we at least know that it is possible to put ALL our theoretical knowledge in one "computer". But this must be done through the formalization of accumulated verified theoretical and technological knowledge, and not through training✈️ Alex пт, 23 авг. 2024 г. в 16:58, Heinrich Herre <heinrich.herre(a)uni-leipzig.de>de>: Hallo together, I know, of course, that my proposal is a bit provocative. I wanted to hint that the onto-axiomatic method allows an access to the understanding of this problem. This problem can be reduced to another problem: Quantum mechanics needs time quants (and space quants), on the other hand, general relativity assumes the continuity of time and space. How these completely different structures can be unified? We developed a new theory of time and space, based the ideas of Franz Brentano, and hopefully these new models allows constructions of new type. I had some years ago contacts to top physicists, they never heard something about Brentano's approach. Sometimes scientists are living an a bubble of conventional standard notions. The onto-axiomatic method provides methods to break such bubbles. We are working on this problem, let us see what we get. With best wishes Heirich Am 22.08.2024 um 22:14 schrieb John F Sowa: Heinrich and Alex, The goal Heinrich summarized is the ultimate goal of mathematical physics. But I realize that it is a goal that some of the greatest scientists in the world have been working on for the past century. And I would also like to quote two scientists from the past century: Einstein: God does not play dice with the universe. Niels Bohr: Stop telling God what to do. If Einstein, Bohr, and their colleagues and students couldn't solve the problems. I doubt that Ontolog Forum and the other sites listed on this note will do so I agree with Alex that a smaller, but still vast project would be somewhat more manageable. Alex: So let's formalize one or another existing theory. We have this effort in Math like Isabelle, Coq etc. libraries, but not so much in other sciences. Even Mechanics, just Statics, is not fully formalized... However, Ontolog forum has over a thousand subscribers, and most of them are not mathematical physicists. Even those who do have a good background in math & physics have other work to do, and they won't be able to contribute on a daily basis to any such project. Therefore, I recommend that somebody who does have the time, funding, and interest in this project should set up a mailing list dedicated to it. Then send a monthly summary of the status to Ontolog Forum and/or other email lists. John