• Language and Information
• /
• v.8 no.1
• /
• pp.53-76
• /
• 2004

Negative polarity items(NPIs), which function as quantifiers are licensed in a syntactically strict way by negatives, which function as qualifiers, resulting in universal negating interpretations as pairs. We present a proposal to explain the related phenomena, in which the syntax and the semantics are closely related to each other, with Combinatory Categorial Grammar. For this purpose, we first adopt the usual approach to scrambling, but control its overgeneration with the use of markers, taking into account the complex syntactic phenomena involving NPIs and scrambling in Korean. We also propose to utilize polarity intensity as a novel feature, in order to account for the universal negating interpretations when NPIs are combined with negatives. Our proposal also explains the difference in readings when other quantifiers or qualifiers intervene the NPI and the related negatives.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06a
• /
• pp.339-340
• /
• 2010

• Journal of Korean Library and Information Science Society
• /
• v.44 no.4
• /
• pp.233-254
• /
• 2013

Collecting terms in thesaurus construction work is the most difficult. A dictionary is thesaurus can be used as an excellent term acquisition. Reflect faithfully the provisions of Korean literary "Standard Korean Dictionary" is a standard dictionary of the Korea. The "Standard Korean Dictionary" is simply the definition of entry, as well as a wide range of information about the term because it contains a systematic, it can be used to build a thesaurus. In this study, the "Standard Korean Dictionary" has the relevant information using a variety of terms, it is defined as the thesaurus term relationship. In addition, the separation of the term, equal relationships and hierarchical set of relationships, the use of qualifiers, North Korean issues, the issue presented in thesaurus construction, and suggest ways to solve the problem.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.579-582
• /
• 2003

In this paper, we propose a 4-step inference method needed for constructing a natural language communication system. The method is used to obtain fuzzy quantifier Q′when QA is Fisr τ⇔ Q′(m′A) is mF is m"is τ is inferred (Q, Q′: quantifiers, A: fuzzy subject, m′, m": modifiers, y: fuzzy predicate, τ: truth qualifier). We show that Q′is resolved step by step for two types of Q, including a non-increasing type (few,...) and a non-decreasing type(most,...).

• Proceedings of the CALSEC Conference
• /
• 2003.09a
• /
• pp.218-223
• /
• 2003

UDDI is the open standard for distributed Web-based registry standard which supports registrations and discoveries of Web services. Recently, UDDI version 3.0 specifications were opened by OASIS UDDI Spec, technical committee. UDDI version 3.0 supports many useful functions, which are not supported in version 2.0 specification, such as nested query, enhanced find qualifiers, digital signatures subscription, etc. Despite of its merits, complexity of the standard and backward-compatibility support makes it difficult to adopt this standard in real application domains. In this paper, we develop the Registry server which support UDDI version 3.0 standard. This server is based on common RDBMS and it supports all functions of UDDI version 3.0 including backward-compatibility with version 2.0 API, XML digital signature and URI- based key schemes.

• The KIPS Transactions:PartA
• /
• v.15A no.1
• /
• pp.45-52
• /
• 2008

In this paper we define a vulnerable code to symbolic link exploit and propose a technique to detect this using program analysis. The existing methods to solve symbolic link exploit is for protecting it, on accessing a temporary file they should perform an investigation whether the file is attacked by symbolic link exploit. If programmers miss the investigation, the program may be revealed to symbolic link exploit. Because our technique detects all the vulnerable codes to symbolic link exploit, it helps programmers keep the program safety. Our technique add two type qualifiers to the existing type system to analyze vulnerable codes to symbolic link exploit, it detects the vulnerable codes using type checking including the added type qualifiers. Our technique detects all the vulnerable codes to symbolic link exploit automatically, it has the advantage of saving costs of modifying and of overviewing all codes because programmers apply the methods protecting symbolic link exploit to only the detected codes as vulnerable. We experiment our analyzer with widely used programs. In our experiments only a portion of all the function fopen() is analyzed as the vulnerabilities to symbolic link exploit. It shows that our technique is useful to diminish modifying codes.

• Journal of Korean Library and Information Science Society
• /
• v.40 no.3
• /
• pp.137-156
• /
• 2009

This study has analyzed the uncontrolled index terms in the theological journal, which were assigned by the authors and the LCSH subject headings in their form and meaning, compared to the standards of index terms and proposed much more sophisticated indexing system. In the uncontrolled index terms, noun phrases and compound terms are analyzed, this study found that indexers have to have theological knowledge and indexing techniques in order to assign more precise index terms. In the LCSH, unnecessary index terms and parenthetical qualifiers were analyzed. As a result of it, this study identified that the problems of inconsistency and errors raised from the basic index structure of LCSH.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.14 no.1
• /
• pp.59-66
• /
• 2000

As the highly complex and precise control functions are required in modern industrial process control system, the complex function models and developed in each hardware and software of PLC. The SFC graphical language is very powerful for describing the sequential logic control algorithm, on the other hand it graphical language is very powerful for describing the sequential logic control algorithm, on the other hand it has problems in describing the interlock logic control algorithm, such as error management algorithm. In this paper, we propose the efficient error management method using the action qualifiers to design the error management algorithm in industrial process control system described scheme, we realize the error management logic in process control system of film coating machine.From the experiment results, we confirm that the proposed scheme is very useful in aspects to realize easily th error management logic and to reduce the memory capacity for user's program.

• Journal of the Korean Society for information Management
• /
• v.14 no.1
• /
• pp.107-124
• /
• 1997

It is our main aim in this study to discriminate the conceptual relationship between homographic descriptors. The roles of qualifier and the problems of the recent usage of qualifier such as Hangul, Hanja and foreign languages, which is based largely on the dictionaries, subject heading lists and thesauri, re analyzed within the framework of the our test thesaurus developed as a macro-the-saurus. Finally, we proposed some new ideas must be integrated into the Hangul qualifier in order to make it generally applicable within the field of dictionary, and the method of representing, selection principles and priority of Hangul qualifiers.

• Journal of the Korean Society for information Management
• /
• v.14 no.1
• /
• pp.77-105
• /
• 1997

The study confirmed that the methods for expanding headings and combined structures among the headings, subdivisions, qualifiers and inverted terms were diverse, and that the headings used for similar purposes do not have identical structural forms. It is also found that the standard symbols representing generic relationship in theasurus, which are introduced in the list of subject headings, do not show precisely the hiearchical relationship of phrase headings. MeSH in pre-coordinated system will be available for retrieval in the computer environment because it can make a link between headings and subdivisions in searching stage. The changes in retrieval circumstances and the seeking behaviors of the users demand that a new structure of subject headings be developed. It was proposed that the modification of the structure in the Hangul subject headings be essential.