Physical Sciences and Mathematics Commons^™

Distributed Owl El Reasoning: The Story So Far, Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti

Computer Science and Engineering Faculty Publications

Automated generation of axioms from streaming data, such as traffic and text, can result in very large ontologies that single machine reasoners cannot handle. Reasoning with large ontologies requires distributed solutions. Scalable reasoning techniques for RDFS, OWL Horst and OWL 2 RL now exist. For OWL 2 EL, several distributed reasoning approaches have been tried, but are all perceived to be inefficient. We analyze this perception. We analyze completion rule based distributed approaches, using different characteristics, such as dependency among the rules, implementation optimizations, how axioms and rules are distributed. We also present a distributed queue approach for the classification …

Pushing The Boundaries Of Tractable Ontology Reasoning, David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Computer Science and Engineering Faculty Publications

We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable. The class is general enough to include the OWL 2 EL, QL, and RL profiles. Verifying whether a Horn ontology belongs to the class can be done in polynomial time. We show empirically that the class includes many real-world ontologies that are not included in any OWL 2 profile, and thus that polynomial time reasoning is possible for these ontologies.

Metabolomics Characterization Of U.S. And Japanese F-15 And C-130 Flight Line Crews Exposed To Jet Fuel Volatile Organic Compounds And Aerosols, Nicholas J. Delraso, David Mattie, Asao Kobayashi, Stephen W. Mitchell, Scott Dillard, Michael L. Raymer, Isaie Sibomana, Nicholas V. Reo

Computer Science and Engineering Faculty Publications

Air and ground crews transfer a significant amount of jet fuel, and as a result of transfers, breathe its volatile emission from residues. Working on the flight line also exposes maintainers to exhaust from the jet fuel as engines are tested or run before and after flight. Since little is known concerning level of exposure and the corresponding biological response associated with human jet fuel exposure, nuclear magnetic resonance (NMR)-based metabolomics analysis of human urine was utilized for characterization of metabolite profiles of flight line personnel for potential biomarker discovery. This project was a collaborative research effort between the US …

Accurate Local Estimation Of Geo-Coordinates For Social Media Posts, Derek Doran, Swapna S. Gokhale, Aldo Dagnino

Derek Doran

Associating geo-coordinates with the content of social media posts can enhance many existing applications and services and enable a host of new ones. Unfortunately, a majority of social media posts are not tagged with geo-coordinates. Even when location data is available, it may be inaccurate, very broad or sometimes fictitious. Contemporary location estimation approaches based on analyzing the content of these posts can identify only broad areas such as a city, which limits their usefulness. To address these shortcomings, this paper proposes a methodology to narrowly estimate the geo-coordinates of social media posts with high accuracy. The methodology relies solely …

Is Your Ontology As Hard As You Think? Rewriting Ontologies Into Simpler Dls, David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks

Computer Science and Engineering Faculty Publications

We investigate cases where an ontology expressed in a seemingly hard DL can be polynomially reduced to one in a simpler logic, while preserving reasoning outcomes for classification and fact entailment. Our transformations target the elimination of inverse roles, universal and existential restrictions, and in the best case allow us to rewrite the given ontology into one of the OWL 2 profiles. Even if an ontology cannot be fully rewritten into a profile, in many cases our transformations allow us to exploit further optimisation techniques. Moreover, the elimination of some out-of-profile axioms can improve the performance of modular reasoners, such …

El-Ifying Ontologies, David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks

Computer Science and Engineering Faculty Publications

The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoning tasks are feasible in polynomial time. Many OWL ontologies, however, contain a typically small number of out-of-profile axioms, which may have little or no influence on reasoning outcomes. We investigate techniques for rewriting axioms into the EL and RL profiles of OWL 2. We have tested our techniques on both classification and data reasoning tasks with encouraging results.

Accurate Local Estimation Of Geo-Coordinates For Social Media Posts, Derek Doran, Swapna S. Gokhale, Aldo Dagnino

Computer Science and Engineering Faculty Publications

Associating geo-coordinates with the content of social media posts can enhance many existing applications and services and enable a host of new ones. Unfortunately, a majority of social media posts are not tagged with geo-coordinates. Even when location data is available, it may be inaccurate, very broad or sometimes fictitious. Contemporary location estimation approaches based on analyzing the content of these posts can identify only broad areas such as a city, which limits their usefulness. To address these shortcomings, this paper proposes a methodology to narrowly estimate the geo-coordinates of social media posts with high accuracy. The methodology relies solely …

Visualization Support For Cognitive Sciences, Matt J. Marangoni, Thomas Wischgoll, Yue Zhou, Leslie M. Blaha, Ross Smith, Rhonda J. Vickery

Computer Science and Engineering Faculty Publications

The science of computer graphics and visualization is intertwined in many ways with Cognitive Sciences. On the one hand, computer graphics can lead to virtual environments in which a person is exposed to a virtual scenario. Typically, 3D-capable display technology combined with tracking systems, which are capable of identifying where the person is located at, are deployed to achieve maximal immersion in that the persons point of view is recreated in the virtual scenario. As a result, an impressive experience is created such that that person is navigating the virtual scenario as if it was real. On the other hand, …

Wright State University's Celebration Of Research, Scholarship, And Creative Activities Book Of Abstracts From Friday, April 11, 2014, Wright State University Office Of Undergraduate Research And Stemm Activities

Symposium of Student Research, Scholarship, and Creative Activities Materials

The student abstract booklet is a compilation of abstracts from students' oral and poster presentations at Wright State University's second annual Celebration of Research, Scholarship and Creative Activities on April 11, 2014.

Student Growth Measures For Teacher And Principal Evaluations, Suzanne Franco, Allison Mueller

Symposium of Student Research, Scholarship, and Creative Activities Materials

There were three Ohio research efforts about Student Growth Measures (SGM) for Teacher and Principal Evaluations: 1) extended testing for previously non-­‐tested subjects and grades, 2) relationship between the teacher and principal evaluation systems’ implementation plans, and 3) an empirical study of Local Education Agencies’ (LEA) year-­‐end evaluation data from 2013. In 2011-­‐2012 Ohio offered a 2 year mini-­‐grant to LEAs agreeing to administer extended testing for Value-­‐Added measures (VAM) in grades and content areas not represented in the Ohio Achievement Assessment (OAA). The mini-­‐grant allowed the state to create testing pools sufficient to produce teacher-­‐level VAMs. American College Testing …

Ivus Validation Of Patient Coronary Artery Lumen Area Obtained From Ct Images, Tong Luo, Thomas Wischgoll, Bon Kwon Koo, Yunlong Huo, Ghassan S. Kassab

Computer Science and Engineering Faculty Publications

Aims

Accurate computed tomography (CT)-based reconstruction of coronary morphometry (diameters, length, bifurcation angles) is important for construction of patient-specific models to aid diagnosis and therapy. The objective of this study is to validate the accuracy of patient coronary artery lumen area obtained from CT images based on intravascular ultrasound (IVUS).

Methods and Results

Morphometric data of 5 patient CT scans with 11 arteries from IVUS were reconstructed including the lumen cross sectional area (CSA), diameter and length. The volumetric data from CT images were analyzed at sub-pixel accuracy to obtain accurate vessel center lines and CSA. A new center line …

Ontology Design Patterns For Ocean Science Data Discovery, Pascal Hitzler

Computer Science and Engineering Faculty Publications

No abstract provided.

Why The Data Train Needs Semantic Rails, Krzysztof Janowicz, Frank Van Harmelen, James A. Hendler, Pascal Hitzler

Computer Science and Engineering Faculty Publications

While catchphrases such as big data, smart data, data intensive science, or smart dust highlight different aspects, they share a common theme: Namely, a shift towards a data-centric perspective in which the synthesis and analysis of data at an ever-increasing spatial, temporal, and thematic resolution promises new insights, while, at the same time, reducing the need for strong domain theories as starting points. In terms of the envisioned methodologies, those catchphrases tend to emphasize the role of predictive analytics, i.e., statistical techniques including data mining and machine learning, as well as supercomputing. Interestingly, however, while this perspective takes the availability …

An Ontology Pattern For Oceanographic Cruises: Towards An Oceanographer's Dream Of Integrated Knowledge Discovery, Adila Krisnadhi, Robert Arko, Suzanne Carbotte, Cynthia Chandler, Michelle Cheatham, Timothy Finin, Pascal Hitzler, Krzysztof Janowicz, Thomas Narock, Lisa Raymond, Adam Shepherd, Peter Wiebe

Computer Science and Engineering Faculty Publications

EarthCube is a major effort of the National Science Foundation to establish a next-generation knowledge architecture for the broader geosciences. Data storage, retrieval, access, and reuse are central parts of this new effort. Currently, EarthCube is organized around several building blocks and research coordination networks. OceanLink is a semantics enabled building block that aims at improving data retrieval and reuse via ontologies, Semantic Web technologies, and Linked Data for the ocean sciences. Cruises, in the sense of research expeditions, are central events for ocean scientists. Consequently, information about these cruises and the involved vessels has to be shared and made …

Web Ontology Language (Owl), Kunal Sengupta, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Web Ontology Language (OWL) is a core world wide web consortium [W3C] standard Knowledge representation language for the Semantic Web.

Description Logics, Adila Krisnadhi, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Description logics (DLs) is a family of knowledge representation (KR) languages which represent knowledge in a domain of interest using formal, logic-based semantics through knowledge bases (KBs) containing general assertions of describing relevant concepts - hence, the term description - and specific assertions about individuals and relationships among them.

Enhancing Ocean Research Data Access, Cyndy Chandler, Robert Groman, Adam Shepherd, Molly Allison, Robert Arko, Yu Chen, Peter Fox, David Glover, Pascal Hitzler, Adam Leadbetter, Thomas Narock, Patrick West, Peter Wiebe

Computer Science and Engineering Faculty Publications

No abstract provided.

Semantic Entry Pairing For Improved Data Validation And Discovery, Adam Shepherd, Cyndy Chandler, Robert Arko, Yanning Chen, Adila Krisnadhi, Pascal Hitzler, Thomas Narock, Robert Groman, Shannon Rauch

Computer Science and Engineering Faculty Publications

No abstract provided.

The Role Of The Nurse In Family Coping After Miscarriage, Wesley Hannebaum

Symposium of Student Research, Scholarship, and Creative Activities Materials

When a miscarriage occurs, it affects the entire family unit, making coping an important part of healing during this time. After miscarriage, women are at increased risk for developing mental disorders such as anxiety and depression. Miscarriage is seldom seen as a concern for the father of the lost child, and thus their feelings are often ignored. It is important for the nurse to know how to best help these men, women, and the rest of the involved family cope after miscarriage so they can move on in a healthy way. The following is a review of the literature to …

Interactive Visualization Of Grt And Biohts Data, Sara Gharabaghi, Thomas Wischgoll, Rhonda J. Vickery, Ross Smith, Leslie M. Blaha, Thomas Lamkin, Steven Kawamoto, Robert Trevino, Eric Bardes, Scott Tabar

Computer Science and Engineering Faculty Publications

The scope of this project is to provide better tools for statistical and informational visual analysis for High Throughput Screening of Biological Infectious Agents (BioHTS), General Recognition Theory (GRT) modeling, and areas where pipelines of unstructured datasets of all types must be analyzed. A parallel coordinates plot is one of the more effective visualization methods for visualizing multi variant data.

Testing Of Two Novel Semi-Implicit Particle-In-Cell Techniques, Trenton J. Godar

Browse all Theses and Dissertations

PIC (Particle-in-cell) modeling is a computational technique which functions by advancing computer particles through a spatial grid consisting of cells, on which can be placed electric and magnetic fields. This method has proven useful for simulating a wide range of plasmas and excels at yielding accurate and detailed results such as particle number densities, particle energies, particle currents, and electric potentials. However, the detailed results of a PIC simulation come at a substantial cost of computational requirement and the algorithm can be susceptible to numerical instabilities. As processors become faster and contain more cores, the computational expense of PIC simulations …

Combating Integrity Attacks In Industrial Control Systems, Chad Arnold

Browse all Theses and Dissertations

Industrial Control Systems are vulnerable to integrity attacks because of connectivity to the external Internet and trusted internal networking components that can become compromised. Integrity attacks can be modeled, analyzed, and sometimes remedied by exploiting properties of physical devices and reasoning about the trust worthiness of ICS communication components.

Industrial control systems (ICS) monitor and control the processes of public utility that society depends on - the electric power grid, oil and gas pipelines, transportation, and water facilities. Attacks that impact the operations of these critical assets could have devastating consequences. The complexity and desire to interconnect ICS components have …

A Novel Synergistic Model Fusing Electroencephalography And Functional Magnetic Resonance Imaging For Modeling Brain Activities, Konstantinos Michalopoulos

Browse all Theses and Dissertations

Study of the human brain is an important and very active area of research. Unraveling the way the human brain works would allow us to better understand, predict and prevent brain related diseases that affect a significant part of the population. Studying the brain response to certain input stimuli can help us determine the involved brain areas and understand the mechanisms that characterize behavioral and psychological traits.

In this research work two methods used for the monitoring of brain activities, Electroencephalography (EEG) and functional Magnetic Resonance (fMRI) have been studied for their fusion, in an attempt to bridge together the …

Automated Complexity-Sensitive Image Fusion, Brian Patrick Jackson

Browse all Theses and Dissertations

To construct a complete representation of a scene with environmental obstacles such as fog, smoke, darkness, or textural homogeneity, multisensor video streams captured in diferent modalities are considered. A computational method for automatically fusing multimodal image streams into a highly informative and unified stream is proposed. The method consists of the following steps: 1. Image registration is performed to align video frames in the visible band over time, adapting to the nonplanarity of the scene by automatically subdividing the image domain into regions approximating planar patches

2. Wavelet coefficients are computed for each of the input frames in each modality …

The Properties Of Property Alignment On The Semantic Web, Michelle Andreen Cheatham

Browse all Theses and Dissertations

Ontology alignment is an important step in enabling computers to query and reason across the many linked datasets on the semantic web. This is a difficult challenge because the ontologies underlying different linked datasets can vary in terms of subject area coverage, level of abstraction, ontology modeling philosophy, and even language. The alignment approach presented here centers on string similarity metrics. Nearly all ontology alignment systems use a string similarity metric in one form or another, but it seems that the choice of a particular metric is often arbitrary. We begin this dissertation with the most comprehensive survey to date …