Science and Technology Studies Commons^™

Recent Advances In Integrating Owl And Rules, Matthias Knorr, David Carral Martinez, Pascal Hitzler, Adila A. Krisnadhi, Frederick Maier, Cong Wang

Computer Science and Engineering Faculty Publications

As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied.

We report on recent advances and ongoing work by …

A Tableau Algorithm For Description Logics With Nominal Schema, Adila Krisnadhi, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We present a tableau algorithm for the description logic ALCOV. This description logic is obtained by extending the description logic ALCO with the expressive nominal schema construct that enables DL-safe datalog with predicates of arbitrary arity to be covered within the description logic framework. The tableau algorithm provides a basis to implement a delayed grounding strategy which was not facilitated by earlier versions of decision procedures for satisfiability in expressive description logics with nominal schemas.

Reconciling Owl And Non-Monotonic Rules For The Semantic Web, Matthias Knorr, Pascal Hitzler, Frederick Maier

Computer Science and Engineering Faculty Publications

We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at the same time encompassing some of the most prominent monotonic and nonmonotonic rule languages, in particular Datalog extended with the answer set semantics. Our proposal could be considered a substantial contribution towards fulfilling the quest for a unifying logic for the Semantic Web. As a case in point, two non-monotonic extensions of description logics considered to be of distinct expressiveness until now are covered in our proposal. In contrast to earlier such proposals, our language has the 'look and feel' of a description logic …

Using Attribute Behavior Diversity To Build Accurate Decision Tree Committees For Microarray Data, Qian Han, Guozhu Dong

Kno.e.sis Publications

DNA microarrays (gene chips), frequently used in biological and medical studies, measure the expressions of thousands of genes per sample. Using microarray data to build accurate classifiers for diseases is an important task. This paper introduces an algorithm, called Committee of Decision Trees by Attribute Behavior Diversity (CABD), to build highly accurate ensembles of decision trees for such data. Since a committee's accuracy is greatly influenced by the diversity among its member classifiers, CABD uses two new ideas to "optimize" that diversity, namely (1) the concept of attribute behavior–based similarity between attributes, and (2) …

Hydrologic Modeling To Examine Land Use Change Impacts (1970’S And 2005) On The Sediment Yield And Flow Regime In Cayuga Creek, Niagara County, New York, Kimly Reth

Multidisciplinary Studies Theses

This research aims to assess the water quality and the land use change impacts on sediment concentration and flow regime in Cayuga Creek, Niagara County, NY for two land use periods, 1970’s and 2005. The 1970’s land use, classified by the USGS, had a significant error. Therefore, the scenario of sediment yield and discharge level to land use change is more of a “what if” since the 1970’s land use was classified incorrectly. The Soil and Water Assessment Tool (SWAT)was used to simulate flows and sediment concentrations for the two land use scenarios using the same rainfall data at the …

Twitris+: Social Media Analytics Platform For Effective Coordination, Gary Alan Smith, Amit P. Sheth, Ashutosh Sopan Jadhav, Hemant Purohit, Lu Chen, Michael Cooney, Pavan Kapanipathi, Pramod Anantharam, Pramod Koneru, Wenbo Wang

Kno.e.sis Publications

Twitris+ is a Semantic Social Media analytics platform to provide technologies for analyzing large-scale social media streams across Spatio-Temporal-Thematic (STT) and People-Content-Network (PCN) dimensions. It provides holistic situational awareness from one interface and enables organizational actors to engage in well-coordinated ways for desired tasks during emergency response.

The Latent Maximum Entropy Principle, Shaojun Wang, Dale Schuurmans, Yunxin Zhao

Kno.e.sis Publications

We present an extension to Jaynes’ maximum entropy principle that incorporates latent variables. The principle of latent maximum entropy we propose is different from both Jaynes’ maximum entropy principle and maximum likelihood estimation, but can yield better estimates in the presence of hidden variables and limited training data. We first show that solving for a latent maximum entropy model poses a hard nonlinear constrained optimization problem in general. However, we then show that feasible solutions to this problem can be obtained efficiently for the special case of log-linear models---which forms the basis for an efficient approximation to the latent maximum …

What Kind Of #Communication Is Twitter? A Psycholinguistic Perspective On Communication In Twitter For The Purpose Of Emergency Coordination, Hemant Purohit, Andrew Hampton, Valerie L. Shalin, Amit P. Sheth, John Flach

Kno.e.sis Publications

The present research aims to detect coordinated citizen response within social media traffic to assist emergency response. We use domain-independent linguistic properties as the first step in narrowing the candidate set of messages for domain-dependent and computationally intensive analysis.

Exploring The Impact Of Knowledge And Social Environment On Influenza Prevention And Transmission In Midwestern United States High School Students, William L. Romine, Tanvi Banerjee, William S. Barrow, William R. Folk

Kno.e.sis Publications

We used data from a convenience sample of 410 Midwestern United States students from six secondary schools to develop parsimonious models for explaining and predicting precautions and illness related to influenza. Scores for knowledge and perceptions were obtained using two-parameter Item Response Theory (IRT) models. Relationships between outcome variables and predictors were verified using Pearson and Spearman correlations, and nested [student within school] fixed effects multinomial logistic regression models were specified from these using Akaike’s Information Criterion (AIC). Neural network models were then formulated as classifiers using 10-fold cross validation to predict precautions and illness. Perceived barriers against taking precautions …

Iexplore: A Provenance-Based Application For Exploring Biomedical Knowledge, Vinh Nguyen, Olivier Bodenreider, Thomas Rindflesch, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

W3c Semantic Sensor Networks: Ontologies, Applications, And Future Directions, Cory Andrew Henson

Kno.e.sis Publications

Plenary Talk discussing the W3C Semantic Sensor Network, including the ontology, applications, and future directions.

Topical Anomaly Detection From Twitter Streams, Pramod Anantharam, Krishnaprasad Thirunarayan, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Prediction Of Topic Volume On Twitter, Yiye Ruan, Hemant Purohit, David Fuhry, Srinivasan Parthasarathy, Amit P. Sheth

Kno.e.sis Publications

We discuss an approach for predicting microscopic (individual) and macroscopic (collective) user behavioral patterns with respect to specific trending topics on Twitter. Going beyond previous efforts that have analyzed driving factors in whether and when a user will publish topic-relevant tweets, here we seek to predict the strength of content generation which allows more accurate understanding of Twitter users' behavior and more effective utilization of the online social network for diffusing information. Unlike traditional approaches, we consider multiple dimensions into one regression-based prediction framework covering network structure, user interaction, content characteristics and past activity. Experimental results on three large Twitter …

A Web-Based Study Of Self-Treatment Of Opioid Withdrawal Symptoms With Loperamide, Raminta Daniulaityte, Robert G. Carlson, Russel S. Falck, Delroy H. Cameron, Sujan Udayanaga, Lu Chen, Amit P. Sheth

Kno.e.sis Publications

Aims: Many websites provide a medium for individuals to freely share their experiences and knowledge about different drugs. Such user-generated content can be used as a rich data source to study emerging drug use practices and trends. The study aims to examine web-based reports of loperamide use practices among non-medical opioid users. Loperamide, a piperidine derivative, is an opioid agonist approved for the control of diarrhea symptoms. Because of its general inability to cross the blood-brain barrier, it is considered to have no abuse potential and is available without a prescription. Methods: A website that allows free discussion of illicit …

Integrating Owl And Rules: A Syntax Proposal For Nominal Schemas, David Carral Martinez, Adila Krisnadhi, Pascal Hitzler

Computer Science and Engineering Faculty Publications

This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new description-logic style extension of OWL 2 which was recently proposed, and which makes is possible to express "variable nominal classes" within axioms in an OWL 2 ontology. Nominal schemas make it possible to express DL-safe rules of arbitrary arity within the extended OWL paradigm, hence covering the well-known DL-safe SWRL language. To express this feature, we extend OWL 2 syntax to include necessary and minimal modifications to both Functional and Manchester syntax grammars and mappings from these two syntaxes to Turtle/RDF. We also …

Semantic Aspects Of Earthcube, Pascal Hitzler, Krzysztof Janowicz, Gary Berg-Cross, Leo Obrst, Amit P. Sheth, Timothy Finin, Isabel F. Cruz

Kno.e.sis Publications

In this document, we give a high-level overview of selected Semantic (Web) technologies, methods, and other important considerations, that are relevant for the success of EarthCube. The goal of this initial document is to provide entry points and references for discussions between the Semantic Technologies experts and the domain experts within EarthCube. The selected topics are intended to ground the EarthCube roadmap in the state of the art in semantics research and ontology engineering.

We anticipate that this document will evolve as EarthCube progresses. Indeed, all EarthCube parties are asked to provide topics of importance that should be treated in …

Trust Networks, Krishnaprasad Thirunarayan, Pramod Anantharam, Cory Andrew Henson, Amit P. Sheth

Kno.e.sis Publications

Trust relationships occur naturally in many diverse contexts such as collaborative systems, e-commerce, interpersonal interactions, social networks, semantic sensor web, etc. As collaborating agents providing content and services become increasingly removed from the agents that consume them, the issue of robust trust inference and update become critical. There is a need to find online substitutes for traditional (direct or face-to-face) cues to derive measures of trust, and create efficient and secure system for managing trust, to support decision-making. Unfortunately, there is neither a universal notion of trust that is applicable to all domains nor a clear explication of its semantics …

Extending Description Logic Rules, David Carral Martinez, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently the most prominent paradigms used for modeling knowledge for the Semantic Web. While both of these approaches are based on classical logic, the paradigms also differ significantly, so that naive combinations result in undesirable properties such as undecidability. Recent work has shown that many rules can in fact be expressed in OWL. In this paper we extend this work to include some types of rules previously excluded. We formally define a set of first order logic rules, C-Rules, which can be expressed within OWL …

Perceptions Measurement Of Professional Certifications To Augment Buffalo State College Baccalaureate Technology Programs, As A Representative American Postsecondary Educational Institution, Christopher N. Brown

Industrial Technology Theses

The purpose of this study was to assess, measure, and analyze whether voluntary, nationally-recognized professional certification credentials were important to augment technology programs at Buffalo State College (BSC), as a representative postsecondary baccalaureate degree-granting institution offering technology curricula. Six BSC undergraduate technology programs were evaluated within the scope of this study: 1.) Computer Information Systems; 2.) Electrical Engineering, Electronics; 3.) Electrical Engineering, Smart Grid; 4.) Industrial Technology; 5.) Mechanical Engineering; and 6.) Technology Education. This study considered the following three aspects of the problem: a.) postsecondary technology program enrollment and graduation trends; b.) the value/awareness of professional certifications to employers …

Arsenic Contamination In Groundwater In Vietnam: An Overview And Analysis Of The Historical, Cultural, Economic, And Political Parameters In The Success Of Various Mitigation Options, Thuy M. Ly

Pomona Senior Theses

Although arsenic is naturally present in the environment, 99% of human exposure to arsenic is through ingestion. Throughout history, arsenic is known as “the king of poisons”; it is mutagenic, carcinogenic, and teratogenic. Even in smaller concentrations, it accumulates in the body and takes decades before any physical symptoms of arsenic poisoning shows. According to the World Health Organization (WHO), the safe concentration of arsenic in drinking water is 10 µg/L. However, this limit is often times ignored until it is decades too late and people begin showing symptoms of having been poisoned.

This is the current situation for Vietnam, …

Localized Deconvolution: Characterizing Nmr-Based Metabolomics Spectroscopic Data Using Localized High-Throughput Deconvolution, Paul E. Anderson, Ajith H. Ranabahu, Deirdre A. Mahle, Nicholas V. Reo, Michael L. Raymer, Amit P. Sheth, Nicholas J. Delraso

Kno.e.sis Publications

The interpretation of nuclear magnetic resonance (NMR) experimental results for metabolomics studies requires intensive signal processing and multivariate data analysis techniques. Standard quantification techniques attempt to minimize effects from variations in peak positions caused by sample pH, ionic strength, and composition. These techniques fail to account for adjacent signals which can lead to drastic quantification errors. Attempts at full spectrum deconvolution have been limited in adoption and development due to the computational resources required. Herein, we develop a novel localized deconvolution algorithm for general purpose quantification of NMR-based metabolomics studies. Localized deconvolution decreases average absolute quantification error by 97% and …

2011 Research Highlights, Yusheng Zhao

NSTec UNLV Symposium

Overview

•Center Mission and Cluster Tasks
•Recent Scientific Achievements
•Current & Future Developments

Unlv Center For Materials And Structures: Structural Response Due To Blast Loadingand Dynamic Material Characterization, Brendan O'Toole, Mohamed Trabia, Jagadeep Thota

NSTec UNLV Symposium

Presentation Outline

National Center For Nuclear Security, Veraun Chipman, Amanda Klingensmith, Cathy Snelson

NSTec UNLV Symposium

National Center for Nuclear Security (NCNS) Mission

•Chartered mission is to enhance the Nation’s verification and detection capabilities in support of nuclear arms control and nonproliferation through R&D activities at the NNSS
•Three focus areas
–Treaty Verification Technologies
–Nonproliferation Technologies
–Technical Nuclear Forensics

The Unlv Xps Facility – Research Opportunities, Allen L. Johnson

NSTec UNLV Symposium

XPS Outline

•XPS – what is it?

•How is it done?

•What are its limitations?

•Future direction – radioactive samples

–Sample containment and transport
–Sputter controls
–Radiation limits

•Summary

Pmts And Radiation/Particle Detection Technologies, Brent Davis

NSTec UNLV Symposium

Describes technical standards for equipment in the field of Nuclear and Optical Physics.

Visualization Facility At Unlv Gis And Remote Core Lab, Haroon Stephen

NSTec UNLV Symposium

Outline

• About GIS/RS Lab
• Visualization Facility
• Research Areas
• Summary

Development Of Ion Beam Nuclear Transmutation Doping (Ibntd) For Novel Electronics In Extreme Conditions, Michael G. Pravica, Noel A. Guardala, Jack L. Price

NSTec UNLV Symposium

Development of IBNTD for electronics under extreme conditions.

•We hope to create novel wide bandgap devices using Ion Beam Nuclear Transmutation Doping (IBNTD). These devices may be used as rugged high power switches, and high current/low noise amplifiers. Diamond in itself represents a “Holy Grail” for electrical applications due to its very high thermal conductivity and excellent electrical characteristics.
•We also hope to develop devices that can convert the enormous energy from high-energy nuclear particles (α2+,β-,β+, γparticles) into useful electricity and thus harness the enormous energy still contained in “spent” nuclear fuel. Developing these direct energy conversion (DEC) devices would …

Overview Of Nstec Plasma Focus Tubes And Magnetohydrodynamic Modeling Capabilities, Tim Meehan

NSTec UNLV Symposium

•Brief Description of how DPFs work, in general what they are useful for.
•DPF devices that we have at NSTec
•Using MHD modeling software to optimize designs and predict performance
•Neutron Resonance Spectroscopy

Framework For The Analysis Of Coordination In Crisis Response, Hemant Purohit, Andrew Hampton, Valerie L. Shalin, Amit P. Sheth, John M. Flach

Kno.e.sis Publications

Social Media play a critical role during crisis events, revealing a natural coordination dynamic. We propose a computational framework guided by social science principles to measure, analyze, and understand coordination among the different types of organizations and actors in crisis response. The analysis informs both the scientific account of cooperative behavior and the design of applications and protocols to support crisis management.