Ontology Assisted Formal Specification Extraction from Text
Andreea Diana Mihis · DOAJ (DOAJ: Directory of Open Access Journals) · 2010
In the field of knowledge processing, the ontologies are the most important mean. They make possible for the computer to understand better the natural language and to make judgments. In this paper, a method which use ontologies in the semi-automatic extraction of formal specifications from a natural language text is proposed.