• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.4
• /
• pp.231-237
• /
• 2015

However XML languages can logically define the type of structure with their's own grammar, it is inadequate to use them as a tool for conceptual model that represents the semantics of data and the relationships between the data in the real world. In this paper, we propose conceptual modeling techniques, called CMXML, for modeling the XML schema at the conceptual level. For this purpose, we define the model formally, and provide a way to represent the model in a graphical and text form. We also propose an mapping methodology providing transformation from CMXML to XML schema to show the feasibility of the proposed model.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.4
• /
• pp.53-61
• /
• 1989

A morphological analysis is described to extract the informations which are required in syntactic and semantic analysis of the Korean language. The noun and particle are separated in a noun phrase, the selecting conditions are specified to analyze the compound noun and a restoring rule is represented to process the irregular compound noun. The stem and ending are separated in normal verbals and a logical representive form is proposed to the anomalously inflected word and contracted vowels. The logical representation is composed of the attribute value an analyzing rule. The redundancy of noun is reduced in the dictionary as the verb of a "Nounformed HA-" is processed by "noun" and "HA-", separately and a predicative "IDA" is analyzed by Q parameter. The processing form of negation is also derived and the morpheme and basic structure of compound predicative parts are presented.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.282-285
• /
• 2011

서술논리를 기반으로 하는 OWL 온톨로지는 표준화된 형식적 언어로써 실세계의 도메인 지식을 표현하는데 적합하다. 따라서 논리를 바탕으로 명시적으로 정의된 지식 속에 내재되어 있는 새로운 지식의 추론이 가능하다. 그러나 OWL이 가지는 Open World Assumption(OWA)의 특성은 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서의 추론을 제한한다. 더불어 OWL이 가지는 또 다른 특성으로 Unique Name Assumption(UNA)의 비지원은 실제적 지식표현을 지원하는 반면, 표현의 불충분으로 인해 결과 도출의 불능을 야기한다. 이러한 특징을 고려하여, 본 논문에서는 지능형 에이전트 구성을 위한 서술논리 기반 지식 표현 방법을 제안한다. 이는 논리적 정당성을 유지하고 올바른 결과를 이끌어 낼 수 있도록 하며, 항상 논리적 결론 도출이 가능한 지식모델을 구성할 수 있도록 돕는다. 이를 통해, 지식모델에 정의된 불완전한 개념에 있어서 OWL이 가지는 특징으로 인하여 발생할 수 있는 문제점에 대한 해결방안을 제시한다. 이에 있어서, 모바일 온톨로지의 예를 통하여 OWA와 UNA에 따른 추론의 제약을 보이며, 이를 해결할 수 있는 방안을 논리적으로 표현함으로써 본 제안의 정당성을 증명한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.05a
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.352-354
• /
• 2001

생물학적 서열의 구조 검색은 생물학적 특성을 예측하는데 많은 도움을 주며, 서열에서 나타나는 구조의 패턴은 촘스키의 형식 언어로 기술 가능하다. 본 논문에서는 문맥무관문법의 확장된 표기법인 DCG를 이용하여 구조 검색을 위한 구조 패턴의 생성 규칙을 정의하였다. 또한 구조 검색의 효율향상을 위하여 구조와 관련한 제한(constraint)을 정의하였고 이를 제한 논리 프로그래밍 언어로 구현하였다. 구현된 구조 검색 엔진은 웹 인터페이스를 통하여 접근할 수 있다.

• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.437-461
• /
• 2016

This paper investigates weakening-free fuzzy logics with three weak forms of associativity (of multiplicative conjunction &). First, the wta-uninorm (based) logic $WA_tMUL$ and its two axiomatic extensions are introduced as weakening-free weakly associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness is established for $WA_tMUL$ and the two axiomatic extensions with an additional axiom using construction in the style of Jenei-Montagna.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.141-146
• /
• 2003

중학교 기하교육의 목적은 학생들의 수학적인 상황을 보는 기하학적인 직관과 논리적 추론능력의 향상이다. 그러나 이 두 가지 모두 만족스럽지 못한 실정이다. 본 고에서는 중학교 기하교육의 문제를 직관기하와 형식기하의 단절이라는 보고, 직관기하에서 증명의 학습요소를 미리 학습하여 직관기하와 형식기하를 연결하자는 대안을 제시한다. 이를 위해 7-나 교과서의 증명요소를 분석하고자 하였다. 관련문헌을 검토하여 7가지 증명의 학습요소를 선정한 후, 교과서를 분석하였다. 분석 결과, 기호화를 제외한 다른 증명의 학습요소는 매우 빈약한 것으로 나타났다. 직관기하 영역에 대한 교과서 구성이 개선될 필요가 있음을 알 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.173-175
• /
• 2000

본 연구에서는 전자상거래 데이터베이스를 대상으로 결합범주문법을 이용한 자연언어질의 인터페이스를 구현한다. 이를 위해 질의문을 분석하고 표현 방법을 논의한다. 또한 SQL 형식언어로 변환하기 위한 어휘 표현 및 유도 방법을 보인다. 제안하는 방법은 구문분석 과정에서 SQL 형식의 질의문을 직접 유도하는 것으로 기존 연구에서 제안됐던 중간논리언어 변환단계를 거치지 않으므로 과정이 간결해져 시스템의 성능향상을 가져올 수 있다. 시스템은 웹 기반과 client/server 구조로 구현된다.

• Journal of Popular Narrative
• /
• v.25 no.3
• /
• pp.103-141
• /
• 2019

The purpose of this paper is to examine the logic of choice, transformation, and exclusion in The Song of sword, comparing it with the historical records. This paper explains how a novel is 'produced'. Through this, it searches for the aspects in which The Song of sword changed into 'a narrative revealing the disillusionment of the novel's subject with the world'. In the logic of choice, it explores which time and space were chosen in the novel, and which character was chosen to prepare the content and formal framework of the novel. In the logic of transformation, it is confirmed that the meaning of 'individual' is highlighted in the novel, unlike the historical records, by transforming both the character of the enemy and the meaning of war. In the logic of exclusion, it studies the characteristics of the modern (novel's) subject in the novel by excluding the characteristics of the historical subject that existed in a particular time and space. This paper differs from previous studies in that it examines the way in which a novel is produced by comparing and analyzing The Song of sword based on the historical records. Through these analyses, we can see the unity of various heterogeneous elements, such as the historical reality, the writer's ideology and imagination, and the desire of the contemporary in the form of a novel. Also, by examining the elements of text that can not be sutured into a complete form, we can see the meaning of the novel's text as an unstable system.

• Sijohaknonchong
• /
• v.21
• /
• pp.5-22
• /
• 2004

If Sijo poetry is referred to a text which is composed of sentences. its textuality can be explored in terms of 1) the figurative words used in each line. 2) the logical sequence between lines. 3) the syntactic composition of each line. With the ancient Sijo poem. 1) it is composed of logical sentences as a result of extremely restraining from using figurative words that could prevent the reader from grasping the logical sequence within the work; 2) there is a clear cohesion between lines that can make each work perfectly coherent; 3) each line has a balanced syntactic structure, so the entire structure of a Sijo poem is '6 phrases in lines'. With the modem Sijo peom. 1) it abounds in figurative words, which prevent the work from having a logical sequence, and sometimes even from having three lines; 2) there is a loose cohesion between lines which can't make each work coherent; 3) it sometimes destroys the syntactic structure, '6 phrases in 3 lines', unique to traditional Sijo poetry. I think that this trend of modern Sijo poetry can cause haphazard the existence of modern Sijo poetry.