|
Semantic Parameterization
Semantic parameterization is a conceptual modeling process 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", ''ACM Transactions on Software Engineering Methodology'', vol. 18, no. 2, Article 5, 2008. 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, which formalizes answers to the ''when'', ''why'' and ''how'' ICM questions in Temporal Logic, to complete the ICM formalization. The artifacts used in the parameteriz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Temporal Logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians. Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that ''whenever'' a request is made, access to a resource is ''eventually'' granted, but it is ''never'' granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic. Motivation Consider the statement "I am hungry". Though its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Synonyms
A synonym is a word, morpheme, or phrase that means exactly or nearly the same as another word, morpheme, or phrase in a given language. For example, in the English language, the words ''begin'', ''start'', ''commence'', and ''initiate'' are all synonyms of one another: they are ''synonymous''. The standard test for synonymy is substitution: one form can be replaced by another in a sentence without changing its meaning. Words are considered synonymous in only one particular sense: for example, ''long'' and ''extended'' in the context ''long time'' or ''extended time'' are synonymous, but ''long'' cannot be used in the phrase ''extended family''. Synonyms with exactly the same meaning share a seme or denotational sememe, whereas those with inexactly similar meanings share a broader denotational or connotational sememe and thus overlap within a semantic field. The former are sometimes called cognitive synonyms and the latter, near-synonyms, plesionyms or poecilonyms. Lexicograph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polysemes
Polysemy ( or ; ) is the capacity for a sign (e.g. a symbol, a morpheme, a word, or a phrase) to have multiple related meanings. For example, a word can have several word senses. Polysemy is distinct from ''monosemy'', where a word has a single meaning. Polysemy is distinct from homonymy—or homophony—which is an accidental similarity between two or more words (such as ''bear'' the animal, and the verb ''bear''); whereas homonymy is a mere linguistic coincidence, polysemy is not. In discerning whether a given set of meanings represent polysemy or homonymy, it is often necessary to look at the history of the word to see whether the two meanings are historically related. Dictionary writers often list polysemes (words or phrases with different, but related, senses) in the same entry (that is, under the same headword) and enter homonyms as separate headwords (usually with a numbering convention such as ''¹bear'' and ''²bear''). Polysemes A polyseme is a word or phrase with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thematic Relations
In certain theories of linguistics, thematic relations, also known as semantic roles, are the various roles that a noun phrase may play with respect to the action or state described by a governing verb, commonly the sentence's main verb. For example, in the sentence "Susan ate an apple", ''Susan'' is the doer of the eating, so she is an agent; ''an apple'' is the item that is eaten, so it is a patient. Since their introduction in the mid 1960s by Jeffrey Gruber and Charles Fillmore, semantic roles have been a core linguistic concept and ground of debate between linguist approaches, because of their potential in explaining the relationship between syntax and semantics (also known as the syntax-semantics interface), that is how meaning affects the surface syntactic codification of language. The notion of semantic roles play a central role especially in functionalist and language-comparative ( typological) theories of language and grammar. While most modern linguistic theories ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Case Role
Case roles, according to the work by Fillmore (1967), are the semantic roles of noun phrases in relation to the syntactic structures that contain these noun phrases. The term case role is most widely used for purely semantic relations, including theta roles and thematic roles, that can be independent of the morpho-syntax. The concept of case roles is related to the larger notion of ''Case'' (with a capital letter C) which is defined as a system of marking dependent nouns for the type of semantic or syntactic relationship they bear to their heads. Case traditionally refers to inflectional marking. The relationships between nouns and their containing structures is one of both syntactic and semantic value. The syntactic positional relationships between forms in sentences varies cross-linguistically and allows grammarians to observe semantic values in these nouns by examining their syntactic values. Using these semantic values gives the base for considering case role in a specific lang ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Case Grammar
Case grammar is a system of linguistic analysis, focusing on the link between the valence, or number of subjects, objects, etc., of a verb and the grammatical context it requires. The system was created by the American linguist Charles J. Fillmore in the context of Transformational Grammar (1968). This theory analyzes the surface syntactic structure of sentences by studying the combination of deep cases (i.e. semantic roles, such as Agent, Object, Benefactor, Location or Instrument etc.) which are required by a specific verb. For instance, the verb "give" in English requires an Agent (A) and Object (O), and a Beneficiary (B); e.g. "Jones (A) gave money (O) to the school (B). According to Fillmore, each verb selects a certain number of deep cases which form its case frame. Thus, a case frame describes important aspects of semantic valency of verbs, adjectives and nouns. Case frames are subject to certain constraints, such as that a deep case can occur only once per sentence. S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
