• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.445-453
• /
• 2007

Using Schensted Insertion and Deletion algorithm for shifted rim hook tableaux described in [7], we construct Schensted algorithm for shifted rim hook tableaux. This give us the combinatorial proof for the orthogonality of the second kind for the spin characters of $\tilde{S}n$.

• 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.

• 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.