Skip to content

Use Sections in Debugger Views to support Common View Look and Feel

As described in the section about [Common View Look and Feel] (https://protegeproject.github.io/protege/view-look-and-feel/) in the Protégé 5 Documentation many views in the Protégé distribution have a common look and feel.

Especially there is the concept of Sections which contain a list of rows. A given section contains rows that are pertinent to that section.

Our debugger views should support the user by using the Common View Look and Feel that is defined in the document referred above in these views:

Faulty Axioms

faultyaxioms

Each set of faulty axioms listing the axioms is such a section.

Conflicts

conflicts

Each conflict comprises a section containing axioms in that conflict

Acquired and Original Test Cases

testcases

There are two sections in each view: Entailed Testcases and Non Entailed Testcases

Answer

answers

Each answer is a section containing at least one axiom.