• Title/Summary/Keyword: Tableau

Search Result 48, Processing Time 0.022 seconds

Solving Non-deterministic Problem of Ontology Reasoning and Identifying Causes of Inconsistent Ontology using Negated Assumption-based Truth Maintenance System (NATMS를 이용한 온톨로지 추론의 non-deterministic 문제 해결 및 일관성 오류 탐지 기법)

  • Kim, Je-Min;Park, Young-Tack
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.5
    • /
    • pp.401-410
    • /
    • 2009
  • In order to derive hidden information (concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. The most of these ontology reasoners were implemented using the tableau algorithm. However most reasoners simply report this information without providing a justification for any arbitrary entailment and unsatisfiable concept derived from OWL ontologies. The purpose of this paper is to investigate an optimized method for non-deterministic rule of the tableau algorithm and finding axioms to cause inconsistency in ontology. In this paper, therefore, we propose an optimized method for non-deterministic rule and finding axiom to cause inconsistency using NATMS. In the first place, we introduce Dependency Directed Backtracking to deal non-deterministic rule, a tableau-based decision procedure to find unsatisfiable axiom Furthermore we propose an improved method adapting NATMS.

A Study on Visualizing Method and Expression for Big Data (빅데이터를 위한 데이터 시각화 방법과 표현 연구 (광주 대중버스노선 이용 실태를 적용한 태블루를 활용한 시각화 표현))

  • Moon, Hee Jeoung
    • Smart Media Journal
    • /
    • v.8 no.1
    • /
    • pp.59-66
    • /
    • 2019
  • The importance of data is increasing at a high rate as data is massively generated and taken into account in various policy supports and contents. However, because of their speed of growth, it is difficult to find the data that is needed. Both the methodological elements that summarize the data and the technical elements of the visualization that help to see at a glance are important. This paper summarizes data visualization methods to improve the currently used design - oriented infographics and propose data - centric infographics. In addition, we will present examples of data analysis and infographics production using Tableau Public. The Gwangju metropolitan city bus user data was used for infographics production, and the results show that the total number of passengers using the stopping point is similar to that of the general passengers, while it is different from the numbers of transit passengers and teen riding-and-transit passengers. Data-centric infographics visualization, unlike existing infographics that is pronounced only as a visual role, is expected to be used as a tool for scientific research as well as efficiently delivering data.

A GEOMETRIC PROOF OF THE ROBINSON-SCHENSTED-KNUTH CORRESPONDENCE

  • CHOI, SEUL HEE
    • Honam Mathematical Journal
    • /
    • v.26 no.3
    • /
    • pp.257-268
    • /
    • 2004
  • In this paper, we give a proof of the Robinson-Schensted-Knuth correspondence by using the geometric. construction. We represent a generalized permutation in the first quadrant of the Cartesian plane and find a corresponding pair of semi-standard tableaux of same shape. This work extends the classical geometric construction of Viennot [10] for Robinson-Schensted correspondence.

  • PDF

Chemical Equilibrium Modeling for Magnetite-Packed Crevice Chemistry in a Nuclear Steam Generator

  • Bahn, Chi-Bum;Rhee, In-Hyoung;Hwang, Il-Soon;Park, Byung-Gi
    • Bulletin of the Korean Chemical Society
    • /
    • v.26 no.11
    • /
    • pp.1783-1789
    • /
    • 2005
  • Modeling of a steam generator crevice in a nuclear power system needs to take into account both thermalhydraulic and chemical phenomena. As a first step towards developing a reliable model, a chemical equilibrium model was developed to predict chemical speciation in a magnetite-packed crevice by adopting the “tableau” method. The model was benchmarked with the available experimental data and the maximum deviation did not exceed two orders of magnitude. The developed model was applied to predict the chemical speciation in a magnetite-packed crevice. It was predicted that caustic environment was developed by the concentration of NaOH and the dissolution of magnetite. The model indicated that the dominant aqueous species of iron in the caustic crevice was $FeO_2\;^-$. The increase of electrochemical corrosion potential observed in the experiment was rationalized by the decrease of dissolved hydrogen concentration due to a boiling process. It was predicted that under the deaerated condition magnetite was oxidized to hematite.

Analysis of Airline Network using Incheon and Narita Passenger Flight Origin-Destination Data (인천/나리타 공항의 여객기 출.도착 데이터를 이용한 항공노선 분석 연구)

  • Baik, Euiyoung;Cho, Jaehee
    • Journal of Information Technology Applications and Management
    • /
    • v.20 no.1
    • /
    • pp.87-106
    • /
    • 2013
  • This study is to explore the airline network patterns of Incheon and Narita International Airports using passenger flight departure and arrival data of the two airports. The so-called Origin-Destination data is collected from the airports' websites and some of the important data items are flight number, city of origin, destination city, departure/arrival time, number of flights, and delay time. A snowflake schema dimensional model is proposed and implemented. Tableau Public, a well-known visual analytic tool, is used to connect the dimensional model and played an important role in navigating the data space to find interesting and visual patterns among corresponding airports and airlines. For the efficiency of analyzing this spacious data mart, data visualization method was used. Four types of visualization method proposed by Yau was used; visualizing patterns over time, visualizing proportions, visualizing relationships, and visualizing spatial relationships. The strength of connectivity of each flight segments is calculated to evaluate the degree of globalization of Seoul and Tokyo. We anticipate that various patterns and new findings produced by the data mart would provide airline managers, airport authorities, and policy makers in the field of travel and transportation with insightful information.

Relations between Reputation and Social Media Marketing Communication in Cryptocurrency Markets: Visual Analytics using Tableau

  • Park, Sejung;Park, Han Woo
    • International Journal of Contents
    • /
    • v.17 no.1
    • /
    • pp.1-10
    • /
    • 2021
  • Visual analytics is an emerging research field that combines the strength of electronic data processing and human intuition-based social background knowledge. This study demonstrates useful visual analytics with Tableau in conjunction with semantic network analysis using examples of sentiment flow and strategic communication strategies via Twitter in a blockchain domain. We comparatively investigated the sentiment flow over time and language usage patterns between companies with a good reputation and firms with a poor reputation. In addition, this study explored the relations between reputation and marketing communication strategies. We found that cryptocurrency firms more actively produced information when there was an increased public demand and increased transactions and when the coins' prices were high. Emotional language strategies on social media did not affect cryptocurrencies' reputations. The pattern in semantic representations of keywords was similar between companies with a good reputation and firms with a poor reputation. However, the reputable firms communicated on a wide range of topics and used more culturally focused strategies, and took more advantages of social media marketing by expanding their outreach to other social media networks. The visual big data analytics provides insights into business intelligence that helps informed policies.

Pump availability prediction using response surface method in nuclear plant

  • Parasuraman Suganya;Ganapathiraman Swaminathan;Bhargavan Anoop
    • Nuclear Engineering and Technology
    • /
    • v.56 no.1
    • /
    • pp.48-55
    • /
    • 2024
  • The safety-related raw water system's strong operational condition supports the radiation defense and biological shield of nuclear plant containment structures. Gaps and failures in maintaining proper working condition of main equipment like pump were among the most common causes of unavailability of safety related raw water systems. We integrated the advanced data analytics tools to evaluate the maintenance records of water systems and gave special consideration to deficiencies related to pump. We utilized maintenance data over a three-and-a-half-year period to produce metrics like MTBF, MTTF, MTTR, and failure rate. The visual analytic platform using tableau identified the efficacy of maintenance & deficiency in the safety raw water systems. When the number of water quality violation was compared to the other O&M deficiencies, it was discovered that water quality violations account for roughly 15% of the system's deficiencies. The pumps were substantial contributors to the deficit. Pump availability was predicted and optimized with real time data using response surface method. The prediction model was significant with r-squared value of 0.98. This prediction model can be used to predict forth coming pump failures in nuclear plant.

COMBINATORIAL PROOF FOR e-POSITIVITY OF THE POSET OF RANK 1

  • Lee, Jaejin
    • Korean Journal of Mathematics
    • /
    • v.16 no.3
    • /
    • pp.425-437
    • /
    • 2008
  • Let P be a poset and G = G(P) be the incomparability graph of P. Stanley [7] defined the chromatic symmetric function $X_{G(P)}$ which generalizes the chromatic polynomial ${\chi}_G$ of G, and showed all coefficients are nonnegative in the e-expansion of $X_{G(P)}$ for a poset P of rank 1. In this paper, we construct a sign reversing involution on the set of special rim hook P-tableaux with some conditions. It gives a combinatorial proof for (3+1)-free conjecture of a poset P of rank 1.

  • PDF

SPARQL-DL Processor to Extract OWL Ontologies from Relational Databases (관계형 데이터베이스로부터 OWL 온톨로지를 추출하기 위한 SPARQL-DL 프로세서)

  • Choi, Ji-Woong;Kim, Myung-Ho
    • Journal of the Korea Society of Computer and Information
    • /
    • v.20 no.3
    • /
    • pp.29-45
    • /
    • 2015
  • This paper proposes an implementation of SPARQL-DL, which is a query language for OWL ontologies, for query-answering over the OWL ontologies virtually generated from existing RDBs. The proposed SPARQL-DL processor internally translates input SPARQL-DL queries into SQL queries and then executes the translated queries. There are two advantages in the query processing method. First, another repository to store OWL ontologies generated from RDBs is not required. Second, a large ABox generated from an RDB instance is able to be served without using Tableau algorithm based reasoners which have a problem in large ABox reasoning. Our algorithm for query rewriting is designed to create one corresponding SQL query from one input SPARQL-DL query to minimize the overhead by establishing connections with RDBs.