• Title/Summary/Keyword: axiom

Search Result 182, Processing Time 0.025 seconds

An Implementation of Inference-Based Web Ontology for Intelligent Image Retrieval System (지능형 이미지 검색 시스템을 위한 추론 기반의 웹 온톨로지 구축)

  • Kim, Su-Kyoung;Ahn, Kee-Hong
    • Journal of the Korean Society for information Management
    • /
    • v.24 no.3
    • /
    • pp.119-147
    • /
    • 2007
  • Actually a diffusion of a semantic web application and utilization are situations insufficient extremely. Technology most important in semantic web application is construction of the ontology which contents itself with characteristics of semantic web. Proposed a suitable a method of building web ontology for characteristics or semantic web and web ontology as we compared the existing ontology construction ana ontology construction techniques proposed for web ontology construction, and we analyzed. And modeling old ontology to bases to description logic and the any axiom rule that used an expression way of SWRL, and established inference-based web ontology according to proposed ways. Verified performance of ontology established through ontology inference experiment. Also established an web ontology-based intelligence image retrieval system, to experiment systems for performance evaluation of established web ontology, and present an example of implementation of a semantic web application and utilization. Demonstrated excellence of a semantic web application to be based on ontology through inference experiment of an experiment system.

A Whole Genome Association Study on Meat Palatability in Hanwoo

  • Hyeong, K.E.;Lee, Y.M.;Kim, Y.S.;Nam, K.C.;Jo, C.;Lee, K.H.;Lee, J.E.;Kim, J.J.
    • Asian-Australasian Journal of Animal Sciences
    • /
    • v.27 no.9
    • /
    • pp.1219-1227
    • /
    • 2014
  • A whole genome association (WGA) study was carried out to find quantitative trait loci (QTL) for sensory evaluation traits in Hanwoo. Carcass samples of 250 Hanwoo steers were collected from National Agricultural Cooperative Livestock Research Institute, Ansung, Gyeonggi province, Korea, between 2011 and 2012 and genotyped with the Affymetrix Bovine Axiom Array 640K single nucleotide polymorphism (SNP) chip. Among the SNPs in the chip, a total of 322,160 SNPs were chosen after quality control tests. After adjusting for the effects of age, slaughter-year-season, and polygenic effects using genome relationship matrix, the corrected phenotypes for the sensory evaluation measurements were regressed on each SNP using a simple linear regression additive based model. A total of 1,631 SNPs were detected for color, aroma, tenderness, juiciness and palatability at 0.1% comparison-wise level. Among the significant SNPs, the best set of 52 SNP markers were chosen using a forward regression procedure at 0.05 level, among which the sets of 8, 14, 11, 10, and 9 SNPs were determined for the respectively sensory evaluation traits. The sets of significant SNPs explained 18% to 31% of phenotypic variance. Three SNPs were pleiotropic, i.e. AX-26703353 and AX-26742891 that were located at 101 and 110 Mb of BTA6, respectively, influencing tenderness, juiciness and palatability, while AX-18624743 at 3 Mb of BTA10 affected tenderness and palatability. Our results suggest that some QTL for sensory measures are segregating in a Hanwoo steer population. Additional WGA studies on fatty acid and nutritional components as well as the sensory panels are in process to characterize genetic architecture of meat quality and palatability in Hanwoo.

Web Ontology Modeling Based on Description Logic and SWRL (기술논리와 SWRL 기반의 웹 온톨로지 모델링)

  • Kim, Su-Kyoung;Ahn, Kee-Hong
    • Journal of the Korean Society for information Management
    • /
    • v.25 no.1
    • /
    • pp.149-171
    • /
    • 2008
  • Actually a diffusion of a Semantic Web application and utilization are situations insufficient extremely. Technology most important in Semantic Web application is construction of the Ontology which contents itself with characteristics of Semantic Web. Proposed a suitable a Method of Building Web Ontology for characteristics of Semantic Web and Web Ontology as we compared the existing Ontology construction and Ontology construction techniques proposed for Web Ontology construction, and we analyzed. And modeling did Ontology to bases to Description Logic and the any axiom rule that used an expression way of SWRL, and established Inference-based Web Ontology according to proposed ways. Verified performance of Ontology established through Ontology inference experiment. Also, established an Web Ontology-based Intelligence Image Retrieval System, to experiment systems for performance evaluation of established Web Ontology, and present an example of implementation of a Semantic Web application and utilization. Demonstrated excellence of a Semantic Web application to be based on Ontology through inference experiment of an experiment system.

The Discourses on the Humanities Banquet of Public Libraries in Korea (공공도서관 인문학 향연의 담론)

  • Yoon, Hee-Yoon
    • Journal of Korean Library and Information Science Society
    • /
    • v.47 no.1
    • /
    • pp.1-20
    • /
    • 2016
  • Humanities is one of the largest buzzword in Korea. Humanities programs are being provided indiscriminately in public authorities, universities, life-long education institutions, cultural centers, the media, museums, libraries etc. Among them, the public library is the base camp for spreading and popularizing the humanities. Nevertheless, there is also a critical views for the humanities program of public library. The purpose of this study is to discuss the discourse of the humanities banquet in theoretical positions and practical aspects. The former discussed the humanities banquet in terms of academic axioms, global macro and micro discourse, social and economic wave, the spirit cultural evolution. The latter discussed the humanities banquet at the axiom and identity of the library and humanities, pitfalls and limitations in terms of reason, paradox and the dilemma on the linkage side, inconvenient truth at the destination aspect, weaknesses and challenges in the content aspect.

Identification of SNPs tightly linked to the QTL for pod shattering in soybean[Glycine max (L.) Merr.]

  • Kim, Kyung-Ryun;Kim, Kyung Hye;Go, Hong Min;Lee, Ju Seok;Moon, Jung-Kyung;Ha, Bo-Keun;Jeong, Soon-Chun;Kim, Namshin;Kang, Sungtaeg
    • Proceedings of the Korean Society of Crop Science Conference
    • /
    • 2017.06a
    • /
    • pp.146-146
    • /
    • 2017
  • The pod shattering or dehiscence is essential for the propagation of pod-bearing plant species in the wild, but it causes significant yield losses during harvest of domesticated crop plants. Identifying novel molecular makers, which are linked to seed-shattering genes, is needed to employ the molecular marker-assisted selection for efficiently developing shattering-resistant soybean varieties. In this study, a genetic linkage map was constructed using 115 recombinant inbred lines (RILs) developed from crosses between the pod shattering susceptible variety, Keunol, and resistant variety, Sinpaldal. A 180 K Axiom(R) SoyaSNPs data and pod shattering data from two environments in 2001 and 2015 were used to identify quantitative trait loci (QTL) for pod shattering. A major QTL was identified between two flanking single nucleotide polymorphism (SNP) markers, AX-90320801 and AX-90306327 on chromosome 16 with 1.3 cM interval, 857 kb of physical range. In sequence, genotype distribution analysis was conducted using extreme phenotype RILs. This could narrow down the QTL down to 153 kb on the physical map and was designated as qPDH1-KS with 6 annotated gene models. All exons within qPDH1-KS were sequenced and the 6 polymorphic SNPs affecting the amino acid sequence were identified. To develop universally available molecular markers, 38 Korean soybean cultivars were investigated by the association study using the 6 identified SNPs. Only two SNPswere strongly associated with the pod shattering. These two identified SNPs will help to identify the pod shattering responsible gene and to develop pod shattering-resistant soybean plants using marker-assisted selection.

  • PDF

Positional mapping for foxglove aphid resistance with 180k SNP array in soybean [Glycine max (L.) Merr.]

  • Park, Sumin;Kim, Kyung Hye;Go, Hong Min;Lee, Ju Seok;Jung, Jin Kyo;Bilyeu, Kristin D.;Lee, Jeong-Dong;Kan, Sungtaeg
    • Proceedings of the Korean Society of Crop Science Conference
    • /
    • 2017.06a
    • /
    • pp.145-145
    • /
    • 2017
  • Foxglove aphid, Aulacorthum solani (Kaltenbach), is a Hemipteran insect that infected a wide variety of plants worldwide and caused serious yield losses in crops. The objective of this study was to identify the putative genes to foxglove aphid resistance in wild soybean, PI 366121 (Glycine soja Sieb. and Zucc.). One hundred and forty-one F4:8 recombinant inbred lines developed from a cross between susceptible variety, Williams 82 and foxglove aphid resistance wild soybean, PI 366121 were used. The two type of resistance response, antibiosis and antixenosis resistance were evaluated through choice and no-choice test, graded by the degree of total plant damage and primary infestation leaf damage; a genome-wide molecular linkage map was constructed with 29,898 single-nucleotide polymorphism markers utilizing a Axiom(R) 180K soyaSNP array. Using inclusive composite interval mapping analysis for foxglove aphid resistance, one major candidate QTL on chromosome 7 was identified. The major QTL on chromosome 7 showed both antixenosis and antibiosis resistance responses. The newly identified major QTL was consistent with previously reported QTL, Raso2, which showed around 5 times narrow down interval range with 8 candidate genes. Furthermore, total 1,115 soybean varieties including Glycine soja and Glycine max were exposed to germplasm screening, and 31 varieties, which showed significant antibiosis type foxglove aphid resistance were identified. This result could be useful in breeding for new foxglove aphid resistant soybean cultivars and developing novel insecticides.

  • PDF

A Study on Distributed Parallel SWRL Inference in an In-Memory-Based Cluster Environment (인메모리 기반의 클러스터 환경에서 분산 병렬 SWRL 추론에 대한 연구)

  • Lee, Wan-Gon;Bae, Seok-Hyun;Park, Young-Tack
    • Journal of KIISE
    • /
    • v.45 no.3
    • /
    • pp.224-233
    • /
    • 2018
  • Recently, there are many of studies on SWRL reasoning engine based on user-defined rules in a distributed environment using a large-scale ontology. Unlike the schema based axiom rules, efficient inference orders cannot be defined in SWRL rules. There is also a large volumet of network shuffled data produced by unnecessary iterative processes. To solve these problems, in this study, we propose a method that uses Map-Reduce algorithm and distributed in-memory framework to deduce multiple rules simultaneously and minimizes the volume data shuffling occurring between distributed machines in the cluster. For the experiment, we use WiseKB ontology composed of 200 million triples and 36 user-defined rules. We found that the proposed reasoner makes inferences in 16 minutes and is 2.7 times faster than previous reasoning systems that used LUBM benchmark dataset.

A Study on Experiments and Two Interpretations of Probability in 《Probability and Statistics》 and Its Educational Implications (《확률과 통계》의 시행과 두 가지 확률에 대한 고찰 및 교육적 시사점)

  • Lee, Gi Don
    • Journal for History of Mathematics
    • /
    • v.31 no.5
    • /
    • pp.251-269
    • /
    • 2018
  • Empirical probability and classical probability, which are two interpretations of Kolmogorov's axiom, are two ways to recognize the chances of events occurring in the real world. In this paper, I analyzed and suggested the contents of the high school textbooks ${\ll}$Probability and Statistics${\gg}$, associated with two interpretations of probability and experiments on which two interpretations are based. By presenting the cases required expressly stating what the experiment is for supporting students' understanding of some concepts, it was discussed that stating or not stating what the experiment is should be carefully determined by the educational intent. Especially, I suggested that in the textbooks we contrast the good idea of calculating the ratios of two possibilities in the imaginary world of the classical probability with the normal idea of grasping the chances of events through the frequencies in the real world of the empirical probability, with distinguishing the experiments in two interpretations of probability. I also suggested that in the textbooks we make it clear that the Weak Law of Large Numbers justifies our expectations of the frequencies' reflecting the chances of events occurring in the real world under ideal conditions. Teaching and learning about the aesthetic elements and the practicality of imaginary mathematical thinking supported by these textbooks statements could be one form of Humanities education in mathematics as STEAM education.

Vantage Point Metric Index Improvement for Multimedia Databases

  • Chanpisey, Uch;Lee, Sang-Kon Samuel;Lee, In-Hong
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2011.06c
    • /
    • pp.112-114
    • /
    • 2011
  • On multimedia databases, in order to realize the fast access method, indexing methods for the multidimension data space are used. However, since it is a premise to use the Euclid distance as the distance measure, this method lacks in flexibility. On the other hand, there are metric indexing methods which require only to satisfy distance axiom. Since metric indexing methods can also apply for distance measures other than the Euclid distance, these methods have high flexibility. This paper proposes an improved method of VP-tree which is one of the metric indexing methods. VP-tree follows the node which suits the search range from a route node at searching. And distances between a query and all objects linked from the leaf node which finally arrived are computed, and it investigates whether each object is contained in the search range. However, search speed will become slow if the number of distance calculations in a leaf node increases. Therefore, we paid attention to the candidates selection method using the triangular inequality in a leaf node. As the improved methods, we propose a method to use the nearest neighbor object point for the query as the datum point of the triangular inequality. It becomes possible to make the search range smaller and to cut down the number of times of distance calculation by these improved methods. From evaluation experiments using 10,000 image data, it was found that our proposed method could cut 5%~12% of search time of the traditional method.

Optimization of a Nuclear Fuel Spacer Grid Using Considering Impact and Wear with Homology Constraints (호몰로지 조건을 이용하여 충격과 마모를 고려한 원자로 핵연료봉 지지격자의 최적설계)

  • Lee, Hyun-Ah;Kim, Chong-Ki;Song, Kee-Nam;Park, Gyung-Jin
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2007.04a
    • /
    • pp.145-150
    • /
    • 2007
  • The spacer grid set is a component in the nuclear fuel assembly. The set supports the fuel rods saftely. Therefore, the spacer gl1d set should have sufficient strength for the external impact forces. The fretting wear occurs between the spring of the fuel rod and the spacer grid due to tile flow-induced vibration. The conceptual design of the spacer grid set is performed based on the Independence Axiom of axiomatic design. Two functional requirements are defined and corresponding design parameters are selected. The overall flow of the design is defined according to the application of axiomatic design. The design for the impact load is carried out by using nonlinear dynamic analysis to determine the length of the dimple. Topology optimization is carried out to determine a new configuration of the spring. The fretting wear is reduced by shape optimization using the homology theory. In the design to reduce the fretting wear, the deformed shape of the spring should be the same as that of the fuel rod. This condition is transformed to a function and considered as a constraint in the shape optimization process. The fretting wear is expected to be reduced due to the homology constraint. The objective function is minimizing the maximum stress to allow a slight plastic deformation. Shape optimization results are confirmed through nonlinear static analysis because the contact area becomes wider.

  • PDF