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.Cite error: A <ref> tag is missing the closing </ref> (see the help page). 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.