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 includes heuristics for restating complex natural language sentences into restricted sentences, before mapping individuals words to first-order predicates. Using Description Logic, a fragment of first-order logic, the formalization can be reasoned about using subsumption inference to compare statements.
References
- ^ T.D. Breaux, A.I. Anton, J. Doyle, "Semantic Parameterication: A Process for Modeling Domain Descriptions", (In Press) ACM Transactions on Software Engineering Methodology, 2009.