• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.423-426
• /
• 2007

온톨로지는 의미적인 지식을 표현하고, 공유하기 위해서 여러 분야에서 널리 사용되고 있으며, 특히 시멘틱 웹의 상호운용성을 해결할 수 있는 중요한 요소로 자리 잡고 있다. 현재 온톨로지의 구축을 지원하는 다양한 도구들과 방법론들이 제시되고 있지만, 실제 구축되어진 온톨로지가 실용적이고, 도메인의 정보를 정확하게 반영했는지 검증할 수 있는 도구나 방법은 매우 미비하다. 따라서 본 연구에서는 OWL언어로 구축되어진 온톨로지의 소스로부터 온톨로지의 주요 요소들을 추출하여 형식개념분석(Formal Concept Analysis)모델로 변환하고 분석함으로써, 온톨로지에 포함된 구조적인 문제점을 파악할 수 있는 방법과 도구에 대해서 설명한다. 본 연구에서 제시한 온톨로지 분석도구를 사용하면, 구축되어진 온톨로지에 포함된 구조적 오류 및 온톨로지의 구조를 수월하게 파악할 수 있고, 온톨로지 구축작업 및 수정보완에 있어서 더 좋은 개념계층구조를 갖는 온톨로지를 제안할 수 있다.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• Sijohaknonchong
• /
• v.44
• /
• pp.29-56
• /
• 2016

The purpose of this article is to shed light on the position and the importance of sijo (Korean traditional poetic form of Three-Line Stanzas) of the Korean poet Park Jae-sam among Korean sijo writers. Even though Park Jae-sam started his career as a poet writing two sijos and a poem, he began to write more poems than sijos later on. Anyway his interest in sijo writing has continued and he has served as a judge of sijo writing contests ever since. Especially in 1985, he published a collection of sijo. And each sijo writing in this collection are composed of three-line stanzas and each stanza of three lines. And each line has a rhythmic sound with a formal word formation. This article reveals that Park Jae-sam has pursued a happy unity of form and content in his sijo writings from the collection and that he has tried his hardest to realize this goal. This article notes that for this goal he puts stress on some methods of creating poetic images and the process of creating new ideas, the unity of Koreans's unique emotion of han(恨) and a sense of eternity, transcendence through ambivalent emotions, and the structure of statement mainly made of juxtaposed metaphors. And this articles also notes that as a most sincere lyric poet in the history of sijo he is much distinguished from other Korean poets in that he depicts mainly Koreans's unique emotions and their characteristics.

• Journal of Korean Philosophical Society
• /
• v.139
• /
• pp.265-313
• /
• 2016

This research aims to reconstruct the philosophical content and essence of Schopenhauer's metaphysics of music in his book, Die Welt als Wille und Vorstellung, particularly in paragraph 52, and to pay close attention to its theoretical account of music in the context of traditional musical aesthetics. The question whether Schopenhauer's theory of music is about aesthetics of feeling or about absolute music is dealt with at the end of this paper. It can be answered only within the whole system of his philosophy, because Schopenhauer's theory of music is the result of his philosophical reflections, and plays an important part in his metaphysics of the will. Schopenhauer's music theory, or rather his metaphysics of music, thus cannot be treated separately from Schopenhauer's metaphysics of the will, and is connected organically with it. As the metaphysics of the will lies in suspense between the traditional metaphysical philosophy and the non-metaphysical philosophy after Nietzsche, between the idealism and the philosophy of the body, the music aesthetics of Schopenhauer oscillates between the (romantic) aesthetics of feeling and the modern idea of absolute music.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.341-344
• /
• 2000

통합정보사전은 고도의 언어처리 및 이해를 목적으로 한 것이며, 체계적이고 과학적인 방법론을 이용하여 형태소, 구문, 의미정보 등 각종 정보가 통합된 전자사전으로, 이를 개발하는데는 막대한 개발시간과 노력을 필요로 한다. 이러한 특성 때문에 통합정보사전을 구축하기 위해서는 정보를 통합하고 관리하는 사전개발 시스템의 개발이 선행되어야 한다. 현재까지의 사전개발 시스템은 사전 항목을 정의하고, 정의된 항목에 표제어별 정보를 입력하는 시스템으로, 단순한 정렬 및 검색에 의한 표제어 찾기 및 편집을 지원하고 있다. 본 논문에서는 사전의 계층화된 항목정보를 트리 형식으로 나타내어 사전의 개발 및 구축작업을 효율적으로 지원하기 위한 통합정보사전 개발 시스템인 YDK3를 설계하고 구현하였다. 구현한 YDK3는 기존의 각종 사전의 다양한 사전정보를 입력하는 기본적인 기능 외에, 항목정보를 기반으로 한 graph editor형식의 사용자 인터페이스가 제공되어, 사전의 개발, 자료입력 및 검색을 보다 쉽게 할 수 있다는 특징이 있다.

• KSCI Review
• /
• v.14 no.2
• /
• pp.109-115
• /
• 2006

In this paper, we proposed service security model and remote management service on OSGi computing environment. The model is used to make access control decisions like permission-based security inside the java2 platform. In model, policies are defined using a flat text file and include bundles. It method granted flexibility and extendability of access control of bundles and services. Also, we proposed service architecture efficiently for remote management service.

• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.216-227
• /
• 2007

본고는 서로 다른 용어와 기준들로 일관성 없이 나열되어 있던 이전의 '-이나'의 의미 해석을 통합적으로 설명해 보고자 한다. 즉 특정한 양상 척도(개연성, 희구성, ${\ldots}$ 등)을 이용하여 '-이나'가 쓰인 맥락에 따라 척도 함축을 해석해 내고자 한다. 따라서 본고는 교착어의 특성을 가진 한국어의 특수조사(혹은 한정사) '-이나'의 함축 해석에서 척도의 유형을 분류함으로써 의미 해석과 형식화의 초석을 다지는 연구가 될 것이라고 기대한다. 먼저 '-(이)나'의 함축 해석에서 나타나는 척도의 유형에 대하여 논의하고자 한다. 따라서 '-(이)나'의 함축이 드러내는 척도들을 형식적으로'선형과 비선형'척도를 나누고 이러한 문장들이 들어내는 양상을 분류할 것이다. 둘째, 정대호 외(2002)에서 논의하고 있는 '~이나/도'가 분류사구와 결합한 문장이 화용론적인 개연성의 척도상에서 하한 값을 유발한다고 제안함에 따라, 본고는 양상을, 이러한 개연성의 척도를 포함한, '인식(진리, 원인, 지식, 평가), 의무(의지), 희구(기원)'의 3가지 양상으로 분류하고, 이에서 '-(이)나'가 유발하는 각각의 척도상의 함축을 기술할 것이다.

• Smart Media Journal
• /
• v.12 no.1
• /
• pp.102-111
• /
• 2023

As one of the image symbols, the second frame has rich symbolic metaphor. In previous studies, second frames are mostly presented in physical forms such as doors, windows, but in <The Power of the Dog>, there are various forms of second frames, providing more types for the study of second frames. Panofsky's Iconology has put forward a rigorous research method on how to interpret the meaning of image symbols in the picture. This study aims to use Panofsky's Iconology to analyze the second frame in <the Power of the dog>. The purpose is to expand the methodology of film image research and break through the problem that the Iconology analysis of film image stays in narrative analysis (iconographical analysis). It can be seen from the results of this study that the second frame has different visual presentation according to the requirements of narrative. In the narrative of the film, it symbolizes the depressed tone of the film and the stressful relationship between different characters. What director Campion wants to show through the second frame is that in the film industry where the problem of women is getting better, the motif of feminist film creation has changed from the expression of female appeals in binary opposition to the expression of the appeals of diverse groups in "decentralization."

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.2
• /
• pp.235-247
• /
• 2014

Based on two dimensional model partition method proposed in Part 1, Part 2 provides detailed model specification and implementation. To mathematically delineate a model's behaviors and interactions among them, we extend the DEVS (Discrete Event Systems Specification) formalism and newly propose CE-DEVS (Combat Entity-DEVS) for an upper abstraction sub-model of a combat entity model. The proposed CE-DEVS additionally define two sets and one function to reflect essential semantics for the model's behaviors explicitly. These definitions enable us to understand and represent the model's behaviors easily since they eliminate differences of meaning between real-world expressions and model specifications. For model implementation, upper abstraction sub-models are implemented with DEVSim++, while the lower sub-models are realized using the C++ language. With the use of overall modeling techniques proposed in Part 1 and 2, we can conduct constructive simulation and assess factors about combat logics as well as battle field functions of the next-generation combat entity, minimizing additional modeling efforts. From the anti-torpedo warfare experiment, we can gain interesting experimental results regarding engagement situations employing developing weapons and their tactics. Finally, we expect that this work will serve an immediate application for various engagement warfare.

• Archives of design research
• /
• v.13 no.3
• /
• pp.271-280
• /
• 2000

This is the deconstruction of functionism and means the complex phenomenon of disharmony such as the reputation of purity, search for history, irony and so on. The perceptional system of post modernist and deconstructionist philosopy, that allow us to have the critical angle of view such as the deconstruction of the existing foundation and the absence of the meaning of the reasoncentered thinking of the west, is shown to be grafted into design, fashion and so forth. These elements are taking root as the style of the end of the 20th century. The deconstructional fashion revolting against the existing regime has been reconstructed and created a innovative aesthetic sense by going so far as to address the way that doffing is formed, the way to handle materials and physiological and psychological elements. The deconstructional fashion depicted on new interpretation of the body proportion with planeness and specificity while ignoring three-dimensionality , structuristic rationality