|
 
|
[SDG13] From Natural Language Requirements to Formal Specification Using an Ontology
Conférence Internationale avec comité de lecture : IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), November 2013, pp.755-760, Herndon, VA, USA, (DOI: 10.1109/ICTAI.2013.116)
motcle:
Résumé:
In order to check requirement specifications written in natural language, we have chosen to model domain knowledge through an ontology and to formally represent user requirements by its population. Our approach of ontology population focuses on instance property identification from texts. We do so using extraction rules automatically acquired from a training corpus and a bootstrapping terminology. These rules aim at identifying instance property mentions represented by triples of terms, using lexical, syntactic and semantic levels of analysis. They are generated from recurrent syntactic paths between terms denoting instances of concepts and properties. We show how focusing on instance property identification allows us to precisely identify concept instances explicitly or implicitly mentioned in texts.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| SDG13, | |||
| title | = | "{From Natural Language Requirements to Formal Specification Using an Ontology}", | |
| author | = | " D. Sadoun and C. Dubois and Y. Ghamri-Doudane and B. Grau ", | |
| booktitle | = | "{IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013)}", | |
| year | = | 2013, | |
| month | = | "November", | |
| pages | = | "755-760", | |
| address | = | "Herndon, VA, USA", | |
| doi | = | "10.1109/ICTAI.2013.116", | |
| } | |||
