Semantic parameterization
Semantic Parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic, such as Description 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, the formalization can be reasoned about using subsumption inference to compare statements.
- ^ T.D. Breaux, A.I. Ant&oacut;n, J. Doyle, "Semantic Parameterication: A Process for Modeling Domain Descriptions", (In Press) ACM Transactions on Software Engineering Methodology, 2009.