Science and Technology Studies | Open Access Articles

Csi Revisited: The Science Of Forensic Dna Analysis, Michael L. Raymer

Kno.e.sis Publications

No abstract provided.

Go to article

Trailblazing, Complex Hypothesis Evaluation, Abductive Reasoning And Semantic Web - Exploring Possible Synergy, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Go to article

Relationship Web: Spinning The Semantic Web From Trailblazing To Complex Hypothesis Evaluation, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Go to article

Space Adaptation: Privacy-Preserving Multiparty Collaborative Mining With Geometric Perturbation, Keke Chen, Ling Liu

Kno.e.sis Publications

The service-oriented infrastructure has become popular for collaboratively mining data distributed over organizations [3], where the participants are the data providers who submit their perturbed datasets to the designated data mining service provider (the data miner) for mining commonly interested models.

Go to article

Semantic Web: Promising Technologies And Current Applications In Health Care & Life Sciences, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Go to article

Efficient Computation Of Iceberg Cubes By Bounding Aggregate Functions, Xiuzhen Zhang, Pauline Lienhua Chou, Guozhu Dong

Kno.e.sis Publications

The iceberg cubing problem is to compute the multidimensional group-by partitions that satisfy given aggregation constraints. Pruning unproductive computation for iceberg cubing when nonantimonotone constraints are present is a great challenge because the aggregate functions do not increase or decrease monotonically along the subset relationship between partitions. In this paper, we propose a novel bound prune cubing (BP-Cubing) approach for iceberg cubing with nonantimonotone aggregation constraints. Given a cube over n dimensions, an aggregate for any group-by partition can be computed from aggregates for the most specific n--dimensional partitions (MSPs). The largest and smallest aggregate values computed this way become …

Go to article

Semantics To Energize The Full Services Spectrum: Ontological Approach To Better Exploit Services At Technical And Business Levels, Amit P. Sheth

Kno.e.sis Publications

Services are pervasive in today’s economic landscape, and services- based architectures are being rapidly adopted as IT infrastructure. The need to take a broader perspective of services to include people and organizational descriptions as opposed to technical interface descriptions has already been recognized as part of an overall vision of services science [46, 100]. This article describes the Semantic Services Science (3S) model, which seeks to demonstrate the essential benefits of semantics in view of the broader vision of services science by using service descriptions that capture technical, human, organizational, and business value aspects. We assert that ontology-based semantic modeling …

Go to article

Cognitive Load And Classroom Teaching: The Double-Edged Sword Of Automaticity, David F. Feldon

Instructional Technology and Learning Sciences Faculty Publications

Research in the development of teacher cognition and teaching performance in K–12 classrooms has identified consistent challenges and patterns of behavior that are congruent with the predictions of dual-process models of cognition. However, cognitive models of information processing are not often used to synthesize these results. This article reviews findings from the research on teaching and teacher education through the lens of a dual-process model and emphasizes the role that cognitive load plays in driving teaching performance. Data reflecting the salience of automaticity and its relationship with cognitive overload are highlighted, and implications for teacher preparation and inservice training strategies …

Go to article

Quo Vadis, Cs? – On The (Non)-Impact Of Conceptual Structures On The Semantic Web, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, while the latter is an area of research and development which is rapidly expanding in recent years, the former fails to participate in these developments on a large scale. In this paper, we attempt to stimulate the Conceptual Structures community to catch the Semantic Web train.

Go to article

A Semantic Framework For Identifying Events In A Service Oriented Architecture, Karthik Gomadam, Ajith Harshana Ranabahu, Lakshmish Ramaswamy, Amit P. Sheth, Kunal Verma

Kno.e.sis Publications

We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related research focuses on adapting to events that violate certain non-functional objectives of the service requestor. Given the large of number of events that can happen during the execution of a service, identifying events that can impact the non-functional objectives of a service request is a key challenge. To address this problem we propose an approach that allows service requestors to create semantically rich service requirement descriptions, called semantic templates. We propose a formal model for expressing …

Go to article

Relationship Web: Realizing The Memex Vision With The Help Of Semantic Web, Amit P. Sheth

Kno.e.sis Publications

Relationship Web takes us from "which document" could have information I need to "what's in the resources" that gives me the insight and knowledge I need for decision making. Dr. Vannevar Bush outlined his vision for Memex in a 1945 Atlantic Monthly article [1]. Describing how the human brain navigates an information space in what he called trailblazing, Dr. Bush said, "It operates by association. With one item in its grasp, it snaps instantly to the next that is suggested by the association of thoughts, in accordance with some intricate web of trails carried by the cells of the brain." …

Go to article

The Value Of Marine Institutions: An Economic Survey Of Marine Research And Education Institutions In Monterey And Santa Cruz Counties, Judith T. Kildow Dr, Nathaniel Miller

Publications

It is recognized that ocean and coastal areas of the United States contribute significantly to our nation’s overall economy. What is not completely understood is the extent to and manner in which our economy benefits from the wide range of marine and coastal activities. One area of the ocean economy that has not been collectively measured or examined is the contribution of marine research and education institutions. The goal of the project was to create a prototype strategy at a local level for collecting data at a national level, in order to create an economic sector of these institutions and …

Go to article

Semantics To Empower Services Science: Using Semantics At Middleware, Web Services And Business Levels, Amit P. Sheth

Kno.e.sis Publications

No abstract provided.

Go to article

International Symposium On Technology And Society Program, David M. Hassenzahl

International Symposium on Technology and Society

Conference program

Go to article

Editorial: Serials Review, A Changing World, You And I, Connie Foster

DLTS Faculty Publications

No abstract provided.

Go to article

Runtime Support Of Speculative Optimization For Offline Escape Analysis, Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interfere with dynamic class loading and an online analysis must sacrifice precision for speed. We describe a technique that permits the safe use of aggressive, speculative offline escape analysis in programs potentially loading classes that violate the analysis results.

Go to article

Paraconsistent Resolution For Four-Valued Description Logics, Yue Ma, Pascal Hitzler, Zuoquan Li

Computer Science and Engineering Faculty Publications

In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make any ALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valued ALC. Our approach can be viewed as a paraconsistent version of KAON2 algorithm.

Go to article

Measuring Inconsistency For Description Logics Based On Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin

Computer Science and Engineering Faculty Publications

In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four-valued semantics for the description logic ALC. Then an ordering over inconsistent ontologies is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.

Go to article

Foundations Of Refinement Operators For Description Logics, Jens Lehmann, Pascal Hitzler

Computer Science and Engineering Faculty Publications

In order to leverage techniques from Inductive Logic Programming for the learning in description logics (DLs), which are the foundation of ontology languages in the Semantic Web, it is important to acquire a thorough understanding of the theoretical potential and limitations of using refinement operators within the description logic paradigm. In this paper, we present a comprehensive study which analyses desirable properties such operators should have. In particular, we show that ideal refinement operators in general do not exist, which is indicative of the hardness inherent in learning in DLs. We also show which combinations of desirable properties are theoretically …

Go to article

A Refinement Operator Based Learning Algorithm For The Alc Description Logic, Jens Lehmann, Pascal Hitzler

Computer Science and Engineering Faculty Publications

With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, faces a bottleneck due to the lack of available knowledge bases, and it is paramount that suitable automated methods for their acquisition will be developed. In this paper, we provide the first learning algorithm based on refinement operators for the most fundamental description logic ALC. We develop the algorithm from thorough theoretical foundations and report on a prototype implementation.

Go to article

Seminal Barriers To Female High School Students’ Choice Of Information Technology As A Career Alternative, Donna M. Grant

College of Computing and Digital Media Dissertations

The under-representation of women in the IT profession is a well-known Information Systems phenomenon. Unlike the other sciences and mathematics, where the percentage of women receiving bachelor’s degrees has increased over the past two decades, the percentage of women obtaining degrees in technology has decreased. Information Technology started strong in 1984 with 37.06% women receiving bachelor’s degrees; however, 2004 brought a decrease to a low of 25.05%, near the level of three decades earlier. The consequences of this under-representation include non-diverse IT solutions, a predicted IT workforce shortage, and the United States losing its ability to participate as a fervent …

Go to article

Selecting Labels For News Document Clusters, Krishnaprasad Thirunarayan, Trivikram Immaneni, Mastan Vali Shaik

Kno.e.sis Publications

This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences of document in a document cluster (obtained as a result of an entity-event-duration query), and formalize an approach to extracting a short phrase from well-supported headlines/sentences of the cluster that can serve as the cluster label. Our technique maps a sentence into a set of significant stems to approximate its semantics, for comparison. Eventually a cluster label is extracted from a selected headline/sentence as a contiguous sequence of words, resuscitating word sequencing information lost …

Go to article

Acquisition Of Owl Dl Axioms From Lexical Resources, Johanna Volker, Pascal Hitzler, Philipp Cimiano

Computer Science and Engineering Faculty Publications

State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connectives, role restrictions, and other expressive features of the Web Ontology Language OWL remains largely unexplored. In this paper, we present a method and implementation for enriching inexpressive OWL ontologies with expressive axioms which is based on a deep syntactic analysis of natural language definitions. We argue that it can serve as a core for a semi-automatic ontology engineering process supported by a methodology that integrates methods for both ontology learning and evaluation. The feasibility of our approach is …

Go to article

Algorithms For Paraconsistent Reasoning With Owl, Yue Ma, Pascal Hitzler, Zuoquan Lin

Computer Science and Engineering Faculty Publications

In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuracies. Practical reasoning techniques for ontologies therefore will have to be tolerant to this kind of data, including the ability to handle inconsistencies in a meaningful way. For this purpose, we employ paraconsistent reasoning based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases. Its transfer to OWL DL, however, necessitates the making of fundamental design choices in dealing with class inclusion, which has resulted in differing proposals for …

Go to article

A Well-Founded Semantics For Hybrid Mknf Knowledge Bases, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler

Computer Science and Engineering Faculty Publications

In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for nondisjunctive hybrid MKNF knowledge bases. We thus provide a well-founded semantics which is a sound approximation of the cautious MKNF model semantics, and which also features improved computational properties. We also show that whenever the DL knowledge base part is empty, then the alternating fixpoint coincides with the classical well-founded model.

Go to article

Efficient Owl Reasoning With Logic Programs - Evaluations, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic

Computer Science and Engineering Faculty Publications

We report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined.

Go to article

Automatic Composition Of Semantic Web Services Using Process Mediation, Zixin Wu, Karthik Gomadam, Ajith Harshana Ranabahu, Amit P. Sheth, John A. Miller

Kno.e.sis Publications

Web service composition has quickly become a key area of research in the services oriented architecture community. One of the challenges in composition is the existence of heterogeneities across independently created and autonomously managed Web service requesters and Web service providers. Previous work in this area either involved signiﬁcant human effort or in cases of the efforts seeking to provide largely automated approaches, overlooked the problem of data heterogeneities, resulting in partial solutions that would not support executable workﬂow for real-world problems. In this paper, we present a planning-based approach to solve both the process heterogeneity and data heterogeneity problems. …

Go to article

Implications Of Research On Expertise For Curriculum And Pedagogy, David F. Feldon

Instructional Technology and Learning Sciences Faculty Publications

Instruction on problem solving in particular domains typically relies on explanations from experts about their strategies. However, research indicates that such self-reports often are incomplete or inaccurate (e.g., Chao & Salvendy, 1994; Cooke & Breedin, 1994). This article evaluates research on experts’ cognition, the accuracy of experts’ self-reports, and the efficacy of instruction based on experts’ self-reports. Analysis of this evidence indicates that experts’ free recall of strategies introduces errors and omissions into instructional materials that hinder student success. In contrast, when experts engage in structured knowledge elicitation techniques (e.g., cognitive task analysis), the resultant instruction is more effective. Based …

Go to article

International Symposium On Technology And Society Invitation, David M. Hassenzahl

International Symposium on Technology and Society

Conference invitation

Go to article

International Symposium On Technology And Society Program +, David M. Hassenzahl

International Symposium on Technology and Society

Conference program, call for papers, & proposal

Go to article

Full-Text Articles in Science and Technology Studies

Csi Revisited: The Science Of Forensic Dna Analysis, Michael L. Raymer

Kno.e.sis Publications

Trailblazing, Complex Hypothesis Evaluation, Abductive Reasoning And Semantic Web - Exploring Possible Synergy, Amit P. Sheth

Kno.e.sis Publications

Relationship Web: Spinning The Semantic Web From Trailblazing To Complex Hypothesis Evaluation, Amit P. Sheth

Kno.e.sis Publications

Space Adaptation: Privacy-Preserving Multiparty Collaborative Mining With Geometric Perturbation, Keke Chen, Ling Liu

Kno.e.sis Publications

Semantic Web: Promising Technologies And Current Applications In Health Care & Life Sciences, Amit P. Sheth

Kno.e.sis Publications

Efficient Computation Of Iceberg Cubes By Bounding Aggregate Functions, Xiuzhen Zhang, Pauline Lienhua Chou, Guozhu Dong

Kno.e.sis Publications

Semantics To Energize The Full Services Spectrum: Ontological Approach To Better Exploit Services At Technical And Business Levels, Amit P. Sheth

Kno.e.sis Publications

Cognitive Load And Classroom Teaching: The Double-Edged Sword Of Automaticity, David F. Feldon

Instructional Technology and Learning Sciences Faculty Publications

Quo Vadis, Cs? – On The (Non)-Impact Of Conceptual Structures On The Semantic Web, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler

Computer Science and Engineering Faculty Publications

A Semantic Framework For Identifying Events In A Service Oriented Architecture, Karthik Gomadam, Ajith Harshana Ranabahu, Lakshmish Ramaswamy, Amit P. Sheth, Kunal Verma

Kno.e.sis Publications

Relationship Web: Realizing The Memex Vision With The Help Of Semantic Web, Amit P. Sheth

Kno.e.sis Publications

The Value Of Marine Institutions: An Economic Survey Of Marine Research And Education Institutions In Monterey And Santa Cruz Counties, Judith T. Kildow Dr, Nathaniel Miller

Publications

Semantics To Empower Services Science: Using Semantics At Middleware, Web Services And Business Levels, Amit P. Sheth

Kno.e.sis Publications

International Symposium On Technology And Society Program, David M. Hassenzahl

International Symposium on Technology and Society

Editorial: Serials Review, A Changing World, You And I, Connie Foster

DLTS Faculty Publications

Runtime Support Of Speculative Optimization For Offline Escape Analysis, Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Paraconsistent Resolution For Four-Valued Description Logics, Yue Ma, Pascal Hitzler, Zuoquan Li

Computer Science and Engineering Faculty Publications

Measuring Inconsistency For Description Logics Based On Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin

Computer Science and Engineering Faculty Publications

Foundations Of Refinement Operators For Description Logics, Jens Lehmann, Pascal Hitzler

Computer Science and Engineering Faculty Publications

A Refinement Operator Based Learning Algorithm For The Alc Description Logic, Jens Lehmann, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Seminal Barriers To Female High School Students’ Choice Of Information Technology As A Career Alternative, Donna M. Grant

College of Computing and Digital Media Dissertations

Selecting Labels For News Document Clusters, Krishnaprasad Thirunarayan, Trivikram Immaneni, Mastan Vali Shaik

Kno.e.sis Publications

Acquisition Of Owl Dl Axioms From Lexical Resources, Johanna Volker, Pascal Hitzler, Philipp Cimiano

Computer Science and Engineering Faculty Publications

Algorithms For Paraconsistent Reasoning With Owl, Yue Ma, Pascal Hitzler, Zuoquan Lin

Computer Science and Engineering Faculty Publications

A Well-Founded Semantics For Hybrid Mknf Knowledge Bases, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Efficient Owl Reasoning With Logic Programs - Evaluations, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic

Computer Science and Engineering Faculty Publications

Automatic Composition Of Semantic Web Services Using Process Mediation, Zixin Wu, Karthik Gomadam, Ajith Harshana Ranabahu, Amit P. Sheth, John A. Miller

Kno.e.sis Publications

Implications Of Research On Expertise For Curriculum And Pedagogy, David F. Feldon

Instructional Technology and Learning Sciences Faculty Publications

International Symposium On Technology And Society Invitation, David M. Hassenzahl

International Symposium on Technology and Society

International Symposium On Technology And Society Program +, David M. Hassenzahl

International Symposium on Technology and Society