Engineering 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 …

Wear Characteristics Of Wright State University Total Ankle Replacement Under Shear And Torsion Loads, Tarun Goswami

Biomedical, Industrial & Human Factors Engineering Faculty Publications

Introduction: Total ankle replacement (TAR) involves replacement of the damaged bone with prosthetic components and is usually performed in patients suffering with arthritis to relieve pain and maintain motion. There are several different factors that contribute to failure of TARs but aseptic loosening is the primary method of failure in total ankle replacements. Because of its superior mechanical properties UHMWPE is used as a liner material in TARs. Wear generated from the liner due to high contact stresses during gait causes osteolysis resulting in early loosening of the prostheses.

Most of the earlier studies have focused on wear due to …

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.

Effect Of Anthropometric Adjustments On Bmd And Bmc Z-Scores In A Population Of Prader-Willi Syndrome Pediatric Patients, Amanda E. Marker, David F. Short, Talia Eldar-Geva, Harry J. Hirsch, Varda Gross-Tsur, Maayan Tiomkin, Ari Zimran, Thomas N. Hangartner

Biomedical, Industrial & Human Factors Engineering Faculty Publications

Two adjustment models were applied to a dataset of bone-mineral density (BMD) and bone-mineral content (BMC) from dual-energy x-ray absorptiometry (DXA) measurements of pediatric patients with Prader-Willi Syndrome (PWS). One model used weight, height and % body fat (WHF) in the calculation of Z-scores in addition to race, sex and age already included in the standard model. As percent body fat is not always available, a second model with only weight and height was also examined (WH).

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 …

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 …

A Practical Guide To An Fmri Experiment, Nasser H. Kashou

Biomedical, Industrial & Human Factors Engineering Faculty Publications

Functional Magnetic Resonance Imaging (fMRI) has been around for two decades and research in this field has been exponentially rising. Much of this research has been dominated by basic science. Recent trends have brought the clinical realm into play in which valuable contributions can still be made. Helping the clinician understand the basic concepts behind an fMRI experiment is crucial to further developing and evaluating functional paradigms and research. Critical to designing an fMRI experiment is understanding the related physics and how fine tuning scanning parameters affects the image quality, which in turn affect the findings of an fMRI study. …

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, …

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 …

Dynamical Heterogeneity In Periodically Deformed Polymer Glasses, Nikolai V. Priezjev

Mechanical and Materials Engineering Faculty Publications

The dynamics of structural relaxation in a model polymer glass subject to spatially homogeneous, time-periodic shear deformation is investigated using molecular dynamics simulations. We study a coarse-grained bead-spring model of short polymer chains below the glass transition temperature. It is found that at small strain amplitudes, the segmental dynamics is nearly reversible over about 104 cycles, while at strain amplitudes above a few percent, polymer chains become fully relaxed after a hundred cycles. At the critical strain amplitude, the transition from slow to fast relaxation dynamics is associated with the largest number of dynamically correlated monomers as indicated by the …

Rheological Model Of Force Transmission Through The Helmet And Concussion Sensitivity, Isiah Kendall, Anthony Vicini, Tarun Goswami

Biomedical, Industrial & Human Factors Engineering Faculty Publications

In contact sports, head-to-head collisions can lead to concussions, which pose serious health risks to players. This research aims to understand the force transfer from the helmet to the brain that causes concussions in collisions using a rheological model. Experimental data was gathered from players in the National Football League and testing of one type of helmet and padding. The rheological model was verified with published data and good correlation was achieved. Further sensitivity analysis of concussion risk was performed with respect to force, body weight, mass, and impact duration fit to normal and Weibull distributions using Monte Carlo simulations …

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.

Interpolation-Based Super-Resolution Reconstruction: Effects Of Slice Thickness, Amir Pasha Mahmoudzadeh, Nasser H. Kashou

Biomedical, Industrial & Human Factors Engineering Faculty Publications

Standard clinical magnetic resonance imaging (MRI) is acquired in two-dimensions where the in-plane resolution is higher than the slice select direction. These acquisitions include axial, coronal, and sagittal planes. To date, there have been few attempts to combine the information of these three orthogonal orientations. This paper aims to take advantage of the different in-plane resolution acquired from each plane orientation and combine them into one volume in order to attain a higher resolution image. This combination of MRI data will allow the detection of smaller areas that would otherwise be missed using only one slice orientation. A comparison of …

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.