ResPubID12244, legal knowledge based systems, verification, validation, methodology