[CG] Protege OWL vs. Frames [Was: Technical question on Protege]

Hi John and all. Protégé should have maintained its Frames version. At https://protege.stanford.edu/conference/2006/submissions/slides/7.2wang_pro…, 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)<https://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)<https://jfsowa.com/pubs/sowazach.pdf> 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 &lt;sowa(a)bestweb.net&gt; Sent: Thursday, August 15, 2024 12:50 AM To: [IAOA-member] &lt;iaoa-member(a)ovgu.de&gt;de>; ontolog-forum(a)googlegroups.com Cc: Rafael Humann Petry &lt;rafael.petry(a)inf.ufrgs.br&gt;br>; CG &lt;cg(a)lists.iccs-conference.org&gt; 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<mailto: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!