Semantic parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic.
[1][2][3] The process yields a formalization of natural language sentences in Description Logic to answer the who, what and where questions in the Inquiry-Cycle Model (ICM) developed by Colin Potts and his colleagues at the Georgia Institute of Technology.
The artifacts used in the parameterization process include a dictionary that aligns the domain lexicon with unique concepts, distinguishing between synonyms and polysemes, and several natural language patterns that aid in mapping common domain descriptions to formal specifications.
Seven of these roles correspond to Jeffrey Gruber's thematic relations[6] and case roles in Charles Fillmore's case grammar:[7] The Inquiry-Cycle Model (ICM) was introduced to drive elicitation between engineers and stakeholders in requirements engineering.
The following table illustrates the complete DL expression that results from applying semantic parameterization.