Ontology-oriented information system for verification of formalized documents