Hi John and all.

Protégé should have maintained its Frames version. At https://protege.stanford.edu/conference/2006/submissions/slides/7.2wang_protege2006.pdf, there is an insightful presentation that compares Frames and OWL side by side. Notably, the leading industry-strength Enterprise Architecture (EA) tool The Essential Project | Enterprise Architecture Tool (enterprise-architecture.org) uses Protégé Frames under the hood, evidenced by its open-source version. OWL did not fit the bill, as Meta-modelling is important (highlighted in the above presentation link). John, you identified these benefits in your sowazach.pdf (jfsowa.com) 1982 paper with John Zachman, the ‘father’ of EA.

Hence, your remark about OWL’s limitations in commercial products is well-taken.

Simon

From: John F Sowa <sowa@bestweb.net>
Sent: Thursday, August 15, 2024 12:50 AM
To: [IAOA-member] <iaoa-member@ovgu.de>; ontolog-forum@googlegroups.com
Cc: Rafael Humann Petry <rafael.petry@inf.ufrgs.br>; CG <cg@lists.iccs-conference.org>
Subject: [CG] Technical question on Protege

Protege is limited to OWL, which is more complex and more limited than first-order logic.

But I realize that many uses of a type hierarchy do not require the full power of FOL.   My recommendation would be Aristotle's syllogisms for a type hierarchy, supplemented with FOL for a constraint language.  This was the original intention for description logic before the decidability gang restricted its expressive power.

Unfortunately, the constraint of decidability had three results:  (1) it made the language more complex; (2) it seriously limited its expressive power; (3) it made it unusable for a wide range of tools in AI, computer science, and commercial products.  There are many reasoning tools that are more expressive, more powerful, and easier to use than Protege.

For a brief overview of Aristotle's syllogisms, see slides 25 to 30 of https://jfsowa.com/talks/patolog1.pdf

For more detail about Aristotle and modern logics, see all slides of patolog1.pdf and any references cited on any of those slides.

John

---------------------------------------------------------

From: "Mara Abel" <marabel@inf.ufrgs.br>

Colleagues

We are wondering here if we can use the reasoning of Protege to

automatically produce labels for the entities and instances of a domain

ontology.

Any idea about it?

Thank folks!