• Asia pacific journal of information systems
• /
• v.11 no.2
• /
• pp.121-139
• /
• 2001

VOQL* query language, recently proposed, is a visual language for object-oriented databases. It is based on Ven Diagram and graph, so that the underlying schema structure can be naturally implied in query expressions. In VOQL*, structural relationship among the objects used in a query expression is represented graphically and thus it has formal semantics that can be inductively defined, as well as it can be used with ease. In this paper, we proposed revised VOQL* and introduced its query processor, InQs(Intelligent Querying System). While retaining the merit of VOQL* that it allows the structural relationship among the objects to be represented visually, the revised VOQL* has another merit that users can formulate a query interactively using various forms supplied by InQs. As a query processor that translates queries in revised VOQL into those in ODMG OQL, InQs provides an environment in which users express queries in revised VOQL* and then the system automatically translates them into those in ODMG OQL. Translation algorithm of InQs is much simpler and intuitive than other algorithms used in QUIVER and other systems, since it reflects the formal semantics of VOQL*, which is defined inductively.

• International Journal of Computer Science & Network Security
• /
• v.23 no.6
• /
• pp.162-168
• /
• 2023

This article presents an examination of the major cognitive-semantic theories in linguistics (Langacker, Lakoff, Fillmore, Croft). The CST's foundations are discussed concerning the educational policy changes, which are necessary to improve the linguistic disciplines in the changing context of higher education, as well as the empowerment and development of the industry. It is relevant in the light of the linguistic specialists' quality training and the development of effective methods of language learning. Consideration of the theories content, tools, and methods of language teaching, which are an important component of quality teaching and the formation of a set of knowledge and skills of students of linguistic specialties, remains crucial. This study aims to establish the main theoretical positions and directions of cognitive-semantic theory in linguistics, determine the usefulness of teaching the basics of cognitive linguistics, the feasibility of using methods of cognitive-semantic nature in the learning process. During the research, the methods of linguistic description and observation, analysis, and synthesis were applied. The result of the study is to establish the need to study basic linguistic theories, as well as general theoretical precepts of cognitive linguistics, which remains one of the effective directions in the postmodern mainstream. It also clarifies the place of the main cognitive-semantic theories in the teaching linguistics' practice of the XXI century.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

• Journal of Internet Computing and Services
• /
• v.11 no.4
• /
• pp.107-117
• /
• 2010

The feature models representing the common and variable concepts among the software products and the feature configurations generated by selecting the features to be included in the target product are the essential components in the software product lines methodology. Although the researches on the formal semantics and reasoning of the feature models and feature configurations are in progress, the researches on feature model ontologies and feature configuration validation using the semantic web technologies are yet insufficient. This paper defines the formal semantics of the feature models and proposes a feature configuration validation technique based on ontology and semantic web technologies. OWL(Web Ontology Language), a semantic web standard language, is used to represent the knowledge in the feature models and the feature configurations. SWRL(Semantic Web Rule Language), a semantic web rule languages, is used to define the rules to validate the feature configurations. The approach in this paper provides the formal semantic of the feature models, automates the validation of feature configurations, and enables the application of various semantic web technologies, such as SQWRL.

• International journal of advanced smart convergence
• /
• v.13 no.1
• /
• pp.92-98
• /
• 2024

The current software industry has an emerging issue with natural language-based requirement specifications. However, the accuracy of such requirement analysis remains a concern. It is noted that most errors still occur at the requirement specification stage. Defining and analyzing requirements based on natural language has become necessary. To address this issue, the linguistic theories of Chomsky and Fillmore are applied to the analysis of natural language-based requirements. This involves identifying the semantics of morphemes and nouns. Consequently, a mechanism was proposed for extracting object state designs and automatically generating code templates. Building on this mechanism, I suggest generating natural language-based comic images. Utilizing state diagrams, I apply changes to the states of comic characters (protagonists) and extract variations in their expressions. This introduces a novel approach to comic image generation. I anticipate highly productive comic creation by applying software processes to Cartoon ART.

• Language and Information
• /
• v.7 no.1
• /
• pp.69-86
• /
• 2003

Contrary to the popular view that dative is idiosyncratic to verbs or particular theta roles, the distribution of dative is predictable from the distribution of other cases like nominative, accusative, instrumental, etc. That is, dative behaves like an unmarked or elsewhere choice for Non-Actor/Non-Patient (＝NANP) roles. This paper develops a theory of semantic structural case under the framework of conceptual semantics (Jackendoff 1983, 1990, 1997, 2002). In my proposed analysis, dative is structurally mapped onto NANP entities in the conceptual structure. Important consequences about other peripheral roles are discussed in section 5.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2008.06a
• /
• pp.138-146
• /
• 2008

Frequency adverbs can be interpreted as an adverb of quantification, and also as a frequentative adverb. These interpretations are related to the frequency adverbs' distributions, and the relation between semantics and syntax of frequency adverbs can be observed more explicitly when they appear with some other expressions in a sentence. Two frequency adverbs in Korean, cacwu and cakkwu, which seem to mean 'often/frequently', will be dealt with. We will specify their syntactic position by their interpretations derived from the relative ordering with other elements.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1995.02a
• /
• pp.29-38
• /
• 1995

We analyze number agreement in English in the version of Situation Semantics I put forth in [1]. We propose two theoretical notions, agreement target situations and relevance of situations. We propose that structural constraints shift the former in a way governed by the latter. Our analysis shows that number agreement reflects our knowledge about the structure of the world and the speaker's interests in the discourse.

• Language and Information
• /
• v.14 no.2
• /
• pp.17-32
• /
• 2010

Distributivity has been one of the central topics in formal semantics. However, no due attention has been paid to embedded distributivity that very frequently occurs in natural languages. In this paper, I propose a formal analysis for embedded distributivity. In analyzing embedded distributivity, I employ no complicated mechanisms but pluralization. Since distributivity is reduced to plurality as Landman (2000) argues, employing plural formation is not an ad hoc approach to embedded distributivity. That is, the plural variable inserted in the process of deriving embedded distributivity is motivated in a principled manner since the pluralization occurs inside a pluralization operator. Moreover, I point out that the plural variable made available is not restricted to entities.

• Electronics and Telecommunications Trends
• /
• v.14 no.3 s.57
• /
• pp.120-122
• /
• 1999

문서의 내용을 효율적으로 표현하기 위해서는 문서를 문서구조와 형식으로 분리하는 것이 필요하다. 인터넷에서의 문서구조는 SGML(Standard Generalized Markup Language)에서 파생된 HTML로 표현하는 것이 일반화되었으며, 1996년에 이르러 문서형식 부분도 DSSSL(Document Style Semantics and Specification Language: ISO/IEC 10179)로 제정되었으나 아직 개발 사례는 없다. 동 기술은 DSSSL 형식에 따라 복합문서를 볼 수 있게 개발한 Library를 기반으로 SGML 기반 브라우저를 1998년 4월 세계 최초로 개발하였다.