• Title/Summary/Keyword: knowledge formalization

Search Result 37, Processing Time 0.026 seconds

A Study of the Case Analysis of Conceptual Modeling of Medical Terminologies by Ontology (온톨로지를 이용한 의학용어의 개념 모델링 사례 분석 연구)

  • Lee, Hyun-Sil
    • Journal of the Korean Society for information Management
    • /
    • v.21 no.3
    • /
    • pp.141-160
    • /
    • 2004
  • Recent reseach in the field of medical information systems has paid much attention to an ontology based medical terminology system to support clinical study and effective information search. This study aims to conduct research for further application or construction of ontology systems in Korea. This research reviews the theory of concept modeling and ontology. and analyses 4 cases of conceptual modeling of medical tenrminologies by ontology, The findings ot this study display these specific characteristics in medscal ontologies: (UHe standardization of terrrinology on MeSH. (2) The conceptualization of tenninology on UMLS. (l) ane. (2) are showed as untormal ontologies. (3) The theory of ontology integration in ON9, (4) The reference model of medical knowledge with formalization in GALEN. (3) and (4) are showed as formal ontologies. The application and construction of ontology should be differentiated according to the level of the proposed system, and then this analysis will provide useful information for the researcher and developer of the system.

A Design and Implementation of National R&D Reference Information Ontology Based on URI Server (URI 서버에 기반한 국가 R&D 기반정보 온톨로지 설계 및 구현)

  • Jung, Han-Min;Kang, In-Su;Koo, Hee-Kwan;Lee, Seung-Woo;Sung, Won-Kyung
    • Journal of Information Management
    • /
    • v.37 no.2
    • /
    • pp.109-136
    • /
    • 2006
  • The development of Semantic Web basically requires knowledge which is induced by the formalization and semantization of information, and thus ontology should be introduced as a knowledgization tool. URI(Uniform Resource Identifier) is an indispensible scheme to uniquely indicate individuals on ontology. However, it is difficult to find the use cases of identifiers or URIs in real data sets including science & technology publications. This paper describes the method to construct, manage, and serve reference information based on URI which is a crucial component on establishing national R&D reference information ontology. We expect the reference information which was acquired from about 7,000 proceeding papers would be adopted to Semantic Web applications such as researcher network analysis and outcome statistics.

Recognition of Fire Levels based on Fuzzy Inference System using by FCM (Fuzzy Clustering 기반의 화재 상황 인식 모델)

  • Song, Jae-Won;An, Tae-Ki;Kim, Moon-Hyun;Hong, You-Sik
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.11 no.1
    • /
    • pp.125-132
    • /
    • 2011
  • Fire monitoring system detects a fire based on the values of various sensors, such as smoke, CO, temperature, or change of temperature. It detects a fire by comparing sensed values with predefined threshold values for each sensor. However, to prevent a fire it is required to predict a situation which has a possibility of fire occurrence. In this work, we propose a fire recognition system using a fuzzy inference method. The rule base is constructed as a combination of fuzzy variables derived from various sensed values. In addition, in order to solve generalization and formalization problems of rule base construction from expert knowledge, we analyze features of fire patterns. The constructed rule base results in an improvement of the recognition accuracy. A fire possibility is predicted as one of 3 levels(normal, caution, danger). The training data of each level is converted to fuzzy rules by FCM(fuzzy C-means clustering) and those rules are used in the inference engine. The performance of the proposed approach is evaluated by using forest fire data from the UCI repository.

Ontological Modeling of E-Catalogs using Description Logic (Description Logic을 이용한 전자카타로그 온톨로지 모델링)

  • Lee Hyunja;Shim Junho
    • Journal of KIISE:Databases
    • /
    • v.32 no.2
    • /
    • pp.111-119
    • /
    • 2005
  • Electronic catalog contains ich semantics associated with products, and serves as a challenging practical domain for ontology application. Ontology is concerned with the nature and relations of being. It can play a crucial role in e-commerce as a formalization of e-Catalogs. Description Logics provide a theoretical core for most of the current ontology languages. In this paper, we present an ontological model of e-Catalogs in DL. We take an Extended Entity Relationship approach for conceptual modeling method, and present the fundamental set of modeling constructs and corresponding description language representation for each construct. Additional semantic knowledge can be represented directly in DL. Our modeling language stands within SHIQ(d) which is known reasonably practical with regard to its expressiveness and complexity. We illustrate sample scenarios to show how our approach may be utilized in modeling e-Catalogs, and also implement the scenarios through a DL inference tool to see the practical feasibility.

Achieving and Reasoning about Common Beliefs based on Social Networking Services: on the Group Chatting Model of KakaoTalk (소셜 네트워크에서 공통믿음의 형성과 추론: 카카오톡 채팅방을 중심으로)

  • Kim, Koono
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.27 no.1
    • /
    • pp.7-14
    • /
    • 2017
  • Theoretically, it is known that common beliefs and/or common knowledge cannot be attained in asynchronously distributed multiagent environments, however, it show that some propositions with deadlines can be attained as common beliefs among a set of fully trusted agents even when they communicate to each other asynchronously. Generally, in the multiagent environment, the attainment of common beliefs is approached as a problem of communication, and for the common beliefs paradox that the common beliefs is not attained on a system without communication time restriction is applied to loose coarser granularity and it prove that forming common beliefs is possible by relaxing necessary requirements through the KakaoTalk chatting model. I also experimented with the reasoning function that confirms the common beliefs by inquiring about the common belief generated by implementing the inference function in each agent of the KakaoTalk chatting model. Through utilizing metalogic programming, a formalization of the presentation and reasoning of common beliefs has been achieved, and the group chatting model of KakaoTalk was adopted in experiments to show that common beliefs can be formed among distributed agents using asynchronous communication.

Using the METHONTOLOGY Approach to a Graduation Screen Ontology Development: An Experiential Investigation of the METHONTOLOGY Framework

  • Park, Jin-Soo;Sung, Ki-Moon;Moon, Se-Won
    • Asia pacific journal of information systems
    • /
    • v.20 no.2
    • /
    • pp.125-155
    • /
    • 2010
  • Ontologies have been adopted in various business and scientific communities as a key component of the Semantic Web. Despite the increasing importance of ontologies, ontology developers still perceive construction tasks as a challenge. A clearly defined and well-structured methodology can reduce the time required to develop an ontology and increase the probability of success of a project. However, no reliable knowledge-engineering methodology for ontology development currently exists; every methodology has been tailored toward the development of a particular ontology. In this study, we developed a Graduation Screen Ontology (GSO). The graduation screen domain was chosen for the several reasons. First, the graduation screen process is a complicated task requiring a complex reasoning process. Second, GSO may be reused for other universities because the graduation screen process is similar for most universities. Finally, GSO can be built within a given period because the size of the selected domain is reasonable. No standard ontology development methodology exists; thus, one of the existing ontology development methodologies had to be chosen. The most important considerations for selecting the ontology development methodology of GSO included whether it can be applied to a new domain; whether it covers a broader set of development tasks; and whether it gives sufficient explanation of each development task. We evaluated various ontology development methodologies based on the evaluation framework proposed by G$\acute{o}$mez-P$\acute{e}$rez et al. We concluded that METHONTOLOGY was the most applicable to the building of GSO for this study. METHONTOLOGY was derived from the experience of developing Chemical Ontology at the Polytechnic University of Madrid by Fern$\acute{a}$ndez-L$\acute{o}$pez et al. and is regarded as the most mature ontology development methodology. METHONTOLOGY describes a very detailed approach for building an ontology under a centralized development environment at the conceptual level. This methodology consists of three broad processes, with each process containing specific sub-processes: management (scheduling, control, and quality assurance); development (specification, conceptualization, formalization, implementation, and maintenance); and support process (knowledge acquisition, evaluation, documentation, configuration management, and integration). An ontology development language and ontology development tool for GSO construction also had to be selected. We adopted OWL-DL as the ontology development language. OWL was selected because of its computational quality of consistency in checking and classification, which is crucial in developing coherent and useful ontological models for very complex domains. In addition, Protege-OWL was chosen for an ontology development tool because it is supported by METHONTOLOGY and is widely used because of its platform-independent characteristics. Based on the GSO development experience of the researchers, some issues relating to the METHONTOLOGY, OWL-DL, and Prot$\acute{e}$g$\acute{e}$-OWL were identified. We focused on presenting drawbacks of METHONTOLOGY and discussing how each weakness could be addressed. First, METHONTOLOGY insists that domain experts who do not have ontology construction experience can easily build ontologies. However, it is still difficult for these domain experts to develop a sophisticated ontology, especially if they have insufficient background knowledge related to the ontology. Second, METHONTOLOGY does not include a development stage called the "feasibility study." This pre-development stage helps developers ensure not only that a planned ontology is necessary and sufficiently valuable to begin an ontology building project, but also to determine whether the project will be successful. Third, METHONTOLOGY excludes an explanation on the use and integration of existing ontologies. If an additional stage for considering reuse is introduced, developers might share benefits of reuse. Fourth, METHONTOLOGY fails to address the importance of collaboration. This methodology needs to explain the allocation of specific tasks to different developer groups, and how to combine these tasks once specific given jobs are completed. Fifth, METHONTOLOGY fails to suggest the methods and techniques applied in the conceptualization stage sufficiently. Introducing methods of concept extraction from multiple informal sources or methods of identifying relations may enhance the quality of ontologies. Sixth, METHONTOLOGY does not provide an evaluation process to confirm whether WebODE perfectly transforms a conceptual ontology into a formal ontology. It also does not guarantee whether the outcomes of the conceptualization stage are completely reflected in the implementation stage. Seventh, METHONTOLOGY needs to add criteria for user evaluation of the actual use of the constructed ontology under user environments. Eighth, although METHONTOLOGY allows continual knowledge acquisition while working on the ontology development process, consistent updates can be difficult for developers. Ninth, METHONTOLOGY demands that developers complete various documents during the conceptualization stage; thus, it can be considered a heavy methodology. Adopting an agile methodology will result in reinforcing active communication among developers and reducing the burden of documentation completion. Finally, this study concludes with contributions and practical implications. No previous research has addressed issues related to METHONTOLOGY from empirical experiences; this study is an initial attempt. In addition, several lessons learned from the development experience are discussed. This study also affords some insights for ontology methodology researchers who want to design a more advanced ontology development methodology.

Teaching Method for Functional Thinking by Situation Posing Connected with Other Subjects (타 교과와 연결된 상황 설정을 통한 함수적 사고 지도 방안)

  • Na, Kyoung-Su;Choi, Sung-Pil
    • School Mathematics
    • /
    • v.13 no.4
    • /
    • pp.651-674
    • /
    • 2011
  • Functional thinking is a central topic in school mathematics and the purpose of teaching functional thinking is to develop student's functional thinking ability. Functional thinking which has to be taught in elementary school must be the thinking in terms of phenomenon which has attributes of 'connection'- assignment and dependence. The qualitative methods for evaluation of development of functional thinking can be based on students' activities which are related to functional thinking. With this purpose, teachers have to provide students with paradigm of the functional situation connected to the other subjects which have attributes of 'connection' and guide them by proper questions. Therefore, the aim of this study is to find teaching method for functional thinking by situation posing connected with other subject. We suggest the following ways for functional situation posing though the process of three steps : preparation, adaption and reflection of functional situation posing. At the first stage of preparation for functional situation, teacher should investigate student's environment, mathematical knowledge and level of functional thinking. With this purpose, teachers analyze various curriculum which can be used for teaching functional thinking, extract functional situation among them and investigate the utilization of functional situation as follows : ${\cdot}$ Using meta-plan, ${\cdot}$ Using mathematical journal, ${\cdot}$ Using problem posing ${\cdot}$ Designing teacher's questions which can activate students' functional thinking. For this, teachers should be experts on functional thinking. At the second stage of adaption, teacher may suggest the following steps : free exploration ${\longrightarrow}$ guided exploration ${\longrightarrow}$ expression of formalization ${\longrightarrow}$ application and feedback. Because we demand new teaching model which can apply the contents of other subjects to the mathematic class. At the third stage of reflection, teacher should prepare analysis framework of functional situation during and after students' products as follows : meta-plan, mathematical journal, problem solving. Also teacher should prepare the analysis framework analyzing student's respondence.

  • PDF