Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology.
Driss SadounCatherine DuboisYacine Ghamri-DoudaneBrigitte GrauPublished in: RuleML (2014)
Keyphrases
- natural language
- knowledge representation
- semantic representation
- representation language
- formal language
- formal representation
- conceptual graphs
- natural language processing
- formal methods
- image representation
- question answering
- machine learning
- model checking
- representation scheme
- language processing
- semantic analysis
- software engineering
- domain knowledge
- association rules
- knowledge base