Semantic parameterization (original) (raw)
Semantic parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic. 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. The parameterization process complements the Knowledge Acquisition and autOmated Specification (KAOS) method, 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 s
| Property | Value |
|---|---|
| dbo:abstract | Semantic parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic. 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. The parameterization process complements the Knowledge Acquisition and autOmated Specification (KAOS) method, 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. (en) |
| dbo:wikiPageID | 18922270 (xsd:integer) |
| dbo:wikiPageLength | 6735 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1050648024 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Description_Logic dbc:Knowledge_representation dbr:Synonyms dbr:Case_grammar dbr:Case_role dbr:Temporal_Logic dbr:Polysemes dbr:Thematic_relations |
| dbp:wikiPageUsesTemplate | dbt:Math dbt:Mvar dbt:Reflist |
| dct:subject | dbc:Knowledge_representation |
| gold:hypernym | dbr:Process |
| rdf:type | dbo:Election |
| rdfs:comment | Semantic parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic. 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. The parameterization process complements the Knowledge Acquisition and autOmated Specification (KAOS) method, 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 s (en) |
| rdfs:label | Semantic parameterization (en) |
| owl:sameAs | freebase:Semantic parameterization wikidata:Semantic parameterization https://global.dbpedia.org/id/4v5RA |
| prov:wasDerivedFrom | wikipedia-en:Semantic_parameterization?oldid=1050648024&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Semantic_parameterization |
| is dbo:wikiPageRedirects of | dbr:Semantic_Parameterization |
| is dbo:wikiPageWikiLink of | dbr:Description_logic dbr:Jaklin_Kornfilt dbr:Extended_Enterprise_Modeling_Language dbr:Semantic_Parameterization |
| is foaf:primaryTopic of | wikipedia-en:Semantic_parameterization |