Semantic parameterization

Semantic parameterization

Semantic parameterization is a conceptual modeling process developed by Travis Breaux for expressing natural language descriptions of a domain in first-order predicate logic. [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.] 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. [C. Potts, K. Takahashi, and A.I. Anton, "Inquiry-based requirements analysis", "IEEE Software" 11(2): 21–32, 1994.] The parameterization process complements the Knowledge Acquisition and autOmated Specification (KAOS) method [A. Dardenne, A. van Lamsweerde and S. Fickas, "Goal-Directed Requirements Acquisition", "Science of Computer Programming" v. 20, North Holland, 1993, pp. 3-50.] , which formalizes answers to the "when", "why" and "how" ICM questions in Temporal Logic, to complete the ICM formalization. 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.

Relationship to other theories

Semantic Parameterization defines a meta-model consisting of eight roles that are domain-independent and reusable. Seven of these roles correspond to Jeffrey Gruber's thematic relations [J. Gruber, "Lexical Structures in Syntax and Semantics", North Holland, New York, 1976.] and case roles in Charles Fillmore's case grammar [C. Fillmore, "The Case for Case", "Universals in Linguistic Theory", Holt, Rhinehart and Winston, New York, 1968.] :

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   Wikipedia

  • Controlled natural language — Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types:… …   Wikipedia

  • Computer graphics — This article is about graphics created using computers. For the article about the scientific study of computer graphics, see Computer graphics (computer science). For other uses, see Computer graphics (disambiguation). A Blender 2.45 screenshot,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”