• Journal of Computing Science and Engineering
• /
• v.1 no.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.

• The Journal of Information Systems
• /
• v.7 no.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.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.114-129
• /
• 2006

Ontology mapping is the task of finding semantic correspondences between two ontologies. In order to improve the effectiveness of ontology mapping, we need to consider the characteristics and constraints of data models used for implementing ontologies. Earlier research on ontology mapping, however, has proven to be inefficient because the approach should transform input ontologies into graphs and take into account all the nodes and edges of the graphs, which ended up requiring a great amount of processing time. In this paper, we propose a multi-strategic mapping approach to find correspondences between ontologies based on the syntactic or semantic characteristics and constraints of the topic maps. Our multi-strategic mapping approach includes a topic name-based mapping, a topic property-based mapping, a hierarchy-based mapping, and an association-based mapping approach. And it also uses a hybrid method in which a combined similarity is derived from the results of individual mapping approaches. In addition, we don't need to generate a cross-pair of all topics from the ontologies because unmatched pairs of topics can be removed by characteristics and constraints of the topic maps. For our experiments, we used oriental philosophy ontologies, western philosophy ontologies, Yahoo western philosophy dictionary, and Yahoo german literature dictionary as input ontologies. Our experiments show that the automatically generated mapping results conform to the outputs generated manually by domain experts, which is very promising for further work.

• Language and Information
• /
• v.15 no.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.

• 중국학논총
• /
• no.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.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.41 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.505-507
• /
• 2005

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

• Journal of Electrical Engineering and information Science
• /
• v.2 no.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.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• 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.

• Journal of the Korean Society of Safety
• /
• v.11 no.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.