Post-Logical Verification of Ontology and Lexicons: The Ontological Semantic Technology Approach

摘要

This paper outlines the methods of practical pre-automatic and automatic verification of evolving lexicons and an ontology used to process natural language meaning, and several approaches that can be taken to speed up the process and decrease the cost of such verification. The main methodological direction of this type of verification is increased automation in conjunction with confirmation by native speakers with basic instructions rather than by fully trained linguist knowledge engineers. It is assumed that ontological and lexical verification based on mathematical logic has been completed prior to the outlined verification.