Logic-Based Knowledge Representation Review and Validation Protocol | Logic-Based Knowledge Representation | Knowledge Representation | NEROS