Semantic parameterization
Semantic Parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic.[1] 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).[2] The parameterization process complements the Knowledge Acquisition and autOmated Specification (KAOS) method[3] to complete the ICM formalization. The artifacts used in the 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.
Relationship to Case Frames
Semantic Parameterization defines a meta-model consisting of eight roles that are used across domains. Five of these roles correspond to the following roles in Charles Fillmore's case grammar:
| Breaux's Meta-model | Fillmore's Case Roles |
|---|---|
| Subject | Agent |
| Action | |
| Object | Objective |
| Target | Dative |
| Source | Source |
| Instrument | Instrumental |
| Purpose | Goal |
| Location | Locative |
| Factitive |
References
- ^ T.D. Breaux, A.I. Anton, J. Doyle, "Semantic parameterization: a process for modeling domain descriptions", (In Press) ACM Transactions on Software Engineering Methodology, 2009.
- ^ C. Potts, K. Takahashi, and A.I. Anton, "Inquiry-based requirements analysis", IEEE Software 11(2): 21–32, 1994.
- ^ A. Dardenne, A. van Lamsweerde and S. Fickas, "Goal-Directed Requirements Acquisition", Science of Computer Programming v. 20, North Holland, 1993, pp. 3-50.