A Model for Integration and Interlinking of Idea Management Systems

This paper introduces the use of Semantic Web technologies for the Idea Management Systems as a gap closer between heterogeneous software and achieving interoperability. We present a model that proposes how and what kind of rich metadata annotations to apply in the domain of Idea Management Systems. In addition, as a part of our model, we present a Generic Idea and Innovation Management Ontology (GI2MO). The described model is backed by a set of use cases followed by evaluations that prove how Semantic Web can work as tool to create new opportunities and leverage the contemporary Idea Management legacy systems into the next level

Some Empirical Criteria for Attributing Creativity to a Computer Program

Peer reviewedPostprin

The algebra of lexical semantics

Abstract. The current generative theory of the lexicon relies primar-ily on tools from formal language theory and mathematical logic. Here we describe how a different formal apparatus, taken from algebra and automata theory, resolves many of the known problems with the gener-ative lexicon. We develop a finite state theory of word meaning based on machines in the sense of Eilenberg [11], a formalism capable of de-scribing discrepancies between syntactic type (lexical category) and se-mantic type (number of arguments). This mechanism is compared both to the standard linguistic approaches and to the formalisms developed in AI/KR. 1 Problem Statement In developing a formal theory of lexicography our starting point will be the informal practice of lexicography, rather than the more immediately related for-mal theories of Artificial Intelligence (AI) and Knowledge Representation (KR). Lexicography is a relatively mature field, with centuries of work experience an

Improving the Efficiency of Reasoning Through Structure-Based Reformulation

Abstract. We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning strategies. To this end, we provide algorithms for reasoning with partitions of axioms in first-order and propositional logic. We analyze the computational benefit of our algorithms and detect those parameters of a partitioning that influence the efficiency of computation. These parameters are the number of symbols shared by a pair of partitions, the size of each partition, and the topology of the partitioning. Finally, we provide a greedy algorithm that automatically reformulates a given theory into partitions, exploiting the parameters that influence the efficiency of computation.

Challenges Using Extrapolated Family-level Macroinvertebrate Metrics in Moderately Disturbed Tropical Streams: a Case-study From Belize

Family-level biotic metrics were originally designed to rapidly assess gross organic pollution effects, but came to be regarded as general measures of stream degradation. Improvements in water quality in developed countries have reignited debate about the limitations of family-level taxonomy to detect subtle change, and is resulting in a shift back towards generic and species-level analysis to assess smaller effects. Although the scale of pollution characterizing past condition of streams in developed countries persists in many developing regions, some areas are still considered to be only moderately disturbed. We sampled streams in Belize to investigate the ability of family-level macroinvertebrate metrics to detect change in stream catchments where less than 30% of forest had been cleared. Where disturbance did not co-vary with natural gradients of change, and in areas characterized by low intensity activities, none of the metrics tested detected significant change, despite evidence of environmental impacts. We highlight the need for further research to clarify the response of metrics to disturbance over a broader study area that allows replication for confounding sources of natural variation. We also recommend research to develop more detailed understanding of the taxonomy and ecology of Neotropical macroinvertebrates to improve the robustness of metric use

A DNA Barcode Library for North American Ephemeroptera: Progress and Prospects

DNA barcoding of aquatic macroinvertebrates holds much promise as a tool for taxonomic research and for providing the reliable identifications needed for water quality assessment programs. A prerequisite for identification using barcodes is a reliable reference library. We gathered 4165 sequences from the barcode region of the mitochondrial cytochrome c oxidase subunit I gene representing 264 nominal and 90 provisional species of mayflies (Insecta: Ephemeroptera) from Canada, Mexico, and the United States. No species shared barcode sequences and all can be identified with barcodes with the possible exception of some Caenis. Minimum interspecific distances ranged from 0.3–24.7% (mean: 12.5%), while the average intraspecific divergence was 1.97%. The latter value was inflated by the presence of very high divergences in some taxa. In fact, nearly 20% of the species included two or three haplotype clusters showing greater than 5.0% sequence divergence and some values are as high as 26.7%. Many of the species with high divergences are polyphyletic and likely represent species complexes. Indeed, many of these polyphyletic species have numerous synonyms and individuals in some barcode clusters show morphological attributes characteristic of the synonymized species. In light of our findings, it is imperative that type or topotype specimens be sequenced to correctly associate barcode clusters with morphological species concepts and to determine the status of currently synonymized species

Cumulants and the moment algebra: tools for analysing weak measurements

Recently it has been shown that cumulants significantly simplify the analysis of multipartite weak measurements. Here we consider the mathematical structure that underlies this, and find that it can be formulated in terms of what we call the moment algebra. Apart from resulting in simpler proofs, the flexibility of this structure allows generalizations of the original results to a number of weak measurement scenarios, including one where the weakly interacting pointers reach thermal equilibrium with the probed system.Comment: Journal reference added, minor correction

Knowledge discovery in an agents environment

Presented at European Semantic Web Symposium 2004<br/

Enhancing interoperability: ontology-mapping in an electronic institution

The automation of B2B processes requires a high level of interoperability between potentially disparate systems. We model such systems using software agents (representing enterprises), which interact using specific protocols. When considering open environments, interoperability problems are even more challenging. Addressing business automation as a task that intends to align businesses through a tight integration of processes may not be desirable, because business relationships may be temporary and dynamic. Furthermore, openness implies heterogeneity of technologies, processes, and even domain ontologies. After discussing these issues, this paper presents, in the context of an Electronic Institution, an ontology-mapping service that enables the automation of negotiation protocols when agents may use different ontologies to represent their domain knowledge. The ontology-mapping service employs two approaches used for lexical and semantic similarity, namely N-Grams and WordNet, and poses few requirements on the ontologies' representation format. Examples are provided that illustrate the integration of ontology-mapping with automated negotiation. © 2009 Springer Berlin Heidelberg