• Journal of Computing Science and Engineering
• /
• 제1권1호
• /
• pp.95-123
• /
• 2007

Existing systems that support semistructured views do not maintain semantics during the process of designing the views. Thus, these systems do not guarantee the validity and reversibility of the views. In this paper, we propose an approach to address the issue of valid and reversible semistructured views, We design a set of view operators for designing semistructured views. These operators are select, drop, join and swap. For each operator, we develop a complete set of rules to maintain the semantics of the views. In particular, we maintain the evolution and integrity of relationships once an operator is applied. We also examine the reversible view problem under our operators and develop rules to guarantee that the designed views are reversible. Finally, we examine the changes in the participation constraints of relationship types during the view design process, and develop rules to ensure the correctness of the participation constraints.

• 한국정보시스템학회지:정보시스템연구
• /
• 제7권1호
• /
• pp.181-208
• /
• 1998

In many literatures of model management, various schemes for representing model base schema have proposed. Ultimately, the goal is to arrive at a set of mutually supportive and synergistic methodologies and tools for the modeling problem domain and model base design. This paper focus on how best to structure and represent conceptual model of problem domain and schema of model base. Semantic concepts and modeling constructs are valuable conceptual tools for understanding the structural relationships and constraints involved in an model management environment. To this end, we reviewed the model management literature, and analyzed the constructs of modeling tools of data model management graph-based approach. Although they have good tools but most of them are not enough for the representation of structural relationships and constraints. So we wanted more powerful tools which can represent diverse constructs in a decision support modeling and model base schema design. For the design of a model base, we developed object modeling framework which uses Object Modeling Techniques (OMT). In Object Modeling Framework, model base schema are classified into conceptual schema, logical schema, and physical schema. The conceptual schema represents the user's view of problem domain, and the logical schema represents a model formatted by a particular modeling language. The schema design, this paper proposes an extension of Object Model to overcome some of the limitations exhibited by the OMT. The proposed tool, Extended Object Model(EOM) have diverse constructs for the representation of decision support problem domain and conceptual model base schema.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.114-129
• /
• 2006

유사한 지식구조의 분산된 온톨로지들을 통합 및 연결하여 새로운 온톨로지를 생성하거나 확장 지식 검색을 효과적으로 제공하기 위해서는 온톨로지 모델 자체의 구조적 특성이나 제약조건을 고려한 온톨초지 매핑이 중요하다. 그러나 과거의 온톨로지 매핑은 범용성을 높이기 위해 대부분 그래프 모델을 기반으로 노드와 간선 중심의 매핑여부를 계산함으로써 온톨로지 모델의 특성과 제약조건을 매핑에 반영하지 못하는 문제점을 가진다. 본 논문에서는 RDF와 함께 온톨로지 모델로 사용되고 있는 토픽맵의 구문적 특성과 제약조건을 반영한 다중 매핑 전략의 토픽맵 매핑 기법을 제안한다. 다중 매핑 전략에는 토픽명 기반 매핑, 토픽 속성 기반 매핑, 계층 구조 기반 매핑, 연관관계 기반 매핑의 4가지 매핑 전략이 포함되어 있으며 개체들 사이의 매핑 여부를 결정하기 위해 각 매핑의 개별 유사도를 조합한 다음 단일 유사도를 결정하는 하이브리드 방식을 사용한다. 또한 토픽맵의 구문적 특성에 따라 매핑 계산 전에 매핑이 불가능한 개체들을 미리 제거함으로써 탐색 범위를 줄이고 있으며 토픽명 색인과 PSI 색인을 생성하여 매핑 계산의 효율을 높이고 있다. 제안하는 토픽맵 매핑 기법의 성능을 보이기 위해 동, 서양 철학 온톨로지들과 야후 철학 백과사전 및 독일 문학 백과사전을 토픽맵으로 구현하여 실험 데이타로 활용하였으며 그 결과 자동 생성된 매핑 집합이 전문가에 의해 생성된 매핑 집합을 대부분 포함함을 확인하였다.

• 한국언어정보학회지:언어와정보
• /
• 제15권2호
• /
• pp.47-65
• /
• 2011

A Korean adverb '거의(geoui)' modifies predicates to generate complex predicates which have meanings of 'nearly' complete or typical properties of the modified predicates in quantities, degrees, and frequencies. The modified predicates 'complete' or 'typical' properties are referred counterfactually as standards for the generated predicates' meanings of deficiencies. These counterfactual standards can be formalized by a counterfactual conditional operator of the intensional semantics in Cresswell(1990). The deficiencies in the quantities, degrees, or frequencies of the properties can be expressed formally introducing a world-independent measure of comparison. The measure can be manufactured out of relations between intensional things at indices and their equivalence classes. The world-independent measure of comparison has a semantic structure under-specified in quantity, degree, and frequency, and seems very well-suited in describing lexical meaning of '거의(geoui)'. The lexical-semantic analysis of '거의(geoui)' shows explicitly the plausibility of the indispensable existence of the comparing measure which works across real and counterfactual worlds in natural language meaning. On the other hand, we examined Kim, young-hee(1985)'s proposal of a transition of quantificational meaning for Korean degree adverbs, where he tried to explain the quantificational meaning of Korean degree adverbs in general including '거의(geoui)' with several syntactic and semantic constraints of 'contextual deletion'. But it is shown that the quantificational meanings of the degree adverbs which Kim(1985) discussed are also explained better by their under-specified meanings in quantities, frequencies and degrees with the world-independent measure of comparison applied to their paradigmatic lexical constraint rather than Kim(1985)'s transition of meaning.

• 중국학논총
• /
• 제53호
• /
• pp.1-16
• /
• 2017

The grammatical meaning of "了", a marker of aspects in Mandarin has been described differently among researchers, three of which are to express the end, a certain phase of event and the start of an event or a state. This paper consists of four parts. Set out below is a summary of main points of each part. The first chapter elaborates on the results of previous related studies, points out the purpose and meaning of the current study. Chapter two introduces marked "了" including concepts of the meaning and "Done", "complete whole", "realization" Corresponds to the case study. And explains syntactic and semantic features of the "了", highlights the look "of the了" problems of syntax and semantics, "了2" made three domains Limit 3 Including of the knowledge. This chapter holds that its grammartical meaning can be described as follows an event has taken place or a state has formed prior to a certain reference time, and that the grammartical meanings mentioned above can be considered sub - grammartical meanings of "了",which result from different prominence of the phases of an event. Chapter three explains tag component of the "了1", "了2". It discusses limited constraints, first place for "了" syntactic meaning, "The End" and "extension" of the opposition for "了" is looming around the root system, "了" and "着" sentence structure and semantic and syntactic forms. Chapter four discusses bounded features of the 了. It mainly focuses on "了"of bounded / unbounded function. It analyses the functions of components and explains a bounded function of "了1" and a bounded function of "了2". Chapter five is the conclusion. It consolidates and summarises the previous contents of the paper and points out the conclusion.

• 대한전기학회논문지
• /
• 제41권4호
• /
• pp.433-441
• /
• 1992

This paper describes an algorithm that can efficiently analyze the ECG signal using frame knowledge representation technique. Input to the analysis process is a set of significant points which have been extracted from an original sampled signal(lead II) by the syntactic peak recognition algorithm. The hierarchical property of ECG signal is represented by hierarchical AND/OR graph. The semantic information and constraints of the ECG signal are desctibed by frame. As the control mechanism for labeling points, the search mechanism with the mixed paradigms of data-driven and model driven hypothesis formation, scoring function, hypothesis modification network and instance inheritance are used. We used the CSE database in order to evaluate the performance of the proposed algorithm.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.505-507
• /
• 2005

시맨틱 웹 서비스 검색시스템은 제공자가 기술한 웹 서비스 시맨틱 기술을 웹 서비스 사용자의 요청에 의해 검색하여 사용자에게 반환한다. 이러한 검색은 의미적 비교를 통해 이루어지며, 의미적 비교는 OWL-S[4]와 같은 표준을 통해 기술된 웹 서비스의 입력과 출력, 조건, 효과(Input, Output, Precondition, Effect) 즉, IOPE 와 사용자의 요청의 그것에 대해 수행된다. 하지만, 이러한 검색은 때때로 웹 서비스를 이용하여 이용자에게 서비스를 제공하는 지능형 에이전트에게 적합하지 않다. 지능형 에이전트는 웹 서비스의 실행을 위한 입력의 변환과 반환된 출력의 선택을 통해 서비스를 이용 가능하므로 IOPE의 형식에 대한 정확한 일치를 요구하지 않는다. 본 논문에서는 지능형 에이전트에 보다 융통성 있는 검색 서비스의 제공을 위한 제약조건을 기반으로 시맨틱 웹 서비스 검색시스템에 대하여 설명한다.

• Journal of Electrical Engineering and information Science
• /
• 제2권4호
• /
• pp.59-65
• /
• 1997

In this paper, a general fuzzy syntactic method for recognition of flaw patterns and for the measurement of flaw characteristic parameters for a non-destructive inspections signal, called eddy-current, is presented. Solutions are given to the subtasks of primitive pattern selection, signal to symbol transformation, pattern grammar formulation, and event-synchronous flaw pattern extraction based on the grammars. Fuzzy attribute grammars are used as the model for the pattern grammar because of their descriptive power in the face of uncertain constraints caused by nose or distortion in the signal waveform, due to their ability to handle syntactic as well as semantic information. This approach has been implemented and the performance of eh resultant system has been evaluated using a library of law patterns obtained from steam generator tubes in nuclear power plants by an eddy current-based non-destructive inspection method.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.1187-1190
• /
• 1993

The problem of the optimization of fuzzy relational models for dealing with (non-fuzzy) numerical data is investigated. In this context, interfaces optimization assumes particular importance, becoming a determinant factor in what concerns the overall model performance. Considering this, several scenarios for building fuzzy relational models are presented. These are: (i) optimizing I/O interfaces in advance (independently from the linguistic part of the model); (ii) optimizing I/O interfaces in advance and allowing that their optimized parameters may change during the learning of the linguistic part of the model; (iii) build simultaneously both interfaces and the linguistic subsystem; and (iv) build simultaneously both linguistic subsystem and interfaces, now subject to semantic integrity constraints. As linguistic subsystems, both a basic type and an extended versions of fuzzy relation equations are exploited in each one of these scenarios. A comparative analysis of the differ nt approaches is summarized.

• 한국안전학회지
• /
• 제11권3호
• /
• pp.143-153
• /
• 1996

Shutdown of boiler plants is a dynamic, complicated, and hazardous operation. Operational error is a major contributor to danserous situations during boiler plant shutdowns. It is important to develop an automatic system which synthesizes operating procedures to safely go from normal operation to complete shutdown. Knowledge representation for automatic shutdown of boiler plants makes use of the hierarchical, rule-based framework for heuristic knowledge, the semantic network, frame for process topology, and AI techniques such as rule matching, forward chaining, backward chaining, and searching. This knowledge representation and modeling account for the operational states, primitive operation devices, effects of their application, and planning methodology. Also, this is designed to automatically formulate subgoals, search for positive operation devices, formulate constraints, and synthesize shutdown procedures in boiler plants.