%0 Journal Article
%T Ontology Assisted Formal Specification Extraction from Text
%A Andreea Mihis
%J Studia Universitatis Babes-Bolyai : Series Informatica
%D 2010
%I Babes-Bolyai University, Cluj-Napoca
%X 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.
%U http://www.cs.ubbcluj.ro/apps/reviste/index.php/studia-i/article/view/10