A different perspective on canonicity

One of the most interesting aspects of Conceptual Structures Theory is the notion of canonicity. It is also one of the most neglected: Sowa seems to have abandoned it in the new version of the theory, and most of what has been written on canonicity focuses on the generalization hierarchy of conceptual graphs induced by the canonical formation rules. Although there is a common intuition that a graph is canonical if it is "meaningful'', the original theory is somewhat unclear about what that actually means, in particular how canonicity is related to logic. This paper argues that canonicity should be kept a first-class notion of Conceptual Structures Theory, provides a detailed analysis of work done so far, and proposes new definitions of the conformity relation and the canonical formation rules that allow a clear separation between canonicity and truth

Using conceptual structures in enterprise architecture to develop a new way of thinking and working for organisations

Enterprise Architecture (EA) is a discipline that provides generic patterns that any organisation can reuse throughout its own business, informatics and technical components. However, EA’s current way of thinking and working to achieve this aim is not standardised. EA thus continues to “reinvent the wheel” that causes mistakes or wastes resources on rediscovering what should already be known. We, therefore, represent the specific business, information and technology meta-models as patterns that can be fully reintegrated in one repeatable meta-model for the whole organisation. The outcome is a new agile way of thinking and working, highlighted by how EA works better in enterprise layers, sub-layers and levels of abstraction. To test the meta-models, two forms of Conceptual Structures known as Conceptual Graphs (CGs) and Formal Concept Analysis (FCA) are brought together through the CGtoFCA algorithm. The algorithm identifies how the layered meta-models can share meaning and truth and without having to recombine them into one large, unwieldy meta-model as the repeatable structure

A formal verification framework and associated tools for enterprise modeling : application to UEML

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties

An Introduction to Ontologies and Ontology Engineering

In the last decades, the use of ontologies in information systems has become more and more popular in various fields, such as web technologies, database integration, multi agent systems, natural language processing, etc. Artificial intelligent researchers have initially borrowed the word “ontology” from Philosophy, then the word spread in many scientific domain and ontologies are now used in several developments. The main goal of this chapter is to answer generic questions about ontologies, such as: Which are the different kinds of ontologies? What is the purpose of the use of ontologies in an application? Which methods can I use to build an ontology

Conformational spread as a mechanism for cooperativity in the bacterial flagellar switch

The bacterial flagellar switch that controls the direction of flagellar rotation during chemotaxis has a highly cooperative response. This has previously been understood in terms of the classic two-state, concerted model of allosteric regulation. Here, we used high-resolution optical microscopy to observe switching of single motors and uncover the stochastic multistate nature of the switch. Our observations are in detailed quantitative agreement with a recent general model of allosteric cooperativity that exhibits conformational spread—the stochastic growth and shrinkage of domains of adjacent subunits sharing a particular conformational state. We expect that conformational spread will be important in explaining cooperativity in other large signaling complexes

Riparian Shading and Groundwater Enhance Growth Potential for Smallmouth Bass in Ozark Streams

Moderation of stream temperatures by riparian shading and groundwater are known to promote growth and survival of salmonid fishes, but effects of riparian shade and groundwater on to be growth of warmwater stream fishes are poorly understood or assumed to be negligible. We used stream temperature models to relate shading from riparian vegetation and groundwater inflow to summer water temperatures in Missouri Ozark streams and evaluated effects of summer water temperatures on smallmouth bass, Micropterus dolomieu, growth using a bioenergetics model. Bioenergetics model simulations revealed that adult smallmouth bass in non-spring-fed streams have lower growth potential during summer than fish in spring-fed streams, are subject to mass loss when stream temperatures exceed 27°C, and will likely exhibit greater interannual variation in growth during summer if all growth-influencing factors, other than temperature, are identical between the two stream types. Temperature models indicated that increased riparian shading will expand the longitudinal extent of thermal habitat capable of supporting adult smallmouth bass growth in spring-fed stream reaches when mean daily air temperatures exceed 27°C. Optimum growth temperature (22°C) will be present only in spring-fed streams under these conditions. Potential for increasing shade through riparian restoration is greatest for streams \u3c5 m wide and along north–south reaches of larger streams. However, temperature models also indicated that restoring riparian shading to maximum levels throughout a watershed would increase the total stream mileage capable of supporting positive growth of adult smallmouth bass by only 1–6% when air temperatures are at or near average summer maxima; increases in suitable thermal habitat would be greatest in watersheds with higher spring densities. Riparian management for maintenance or restoration of the thermal habitat of adult smallmouth bass during summer should be focused in areas strongly influenced by groundwater. Restoring riparian shading along spring-fed warmwater streams will likely benefit adult smallmouth bass growth and may ultimately influence population sizes

Novel Pressure Induced Structural Phase Transition in AgSbTe2_{2}

We report a novel high pressure structural sequence for the functionally graded thermoelectric, narrow band gap semiconductor AgSbTe$_{2}$, using angle dispersive x-ray diffraction in a diamond anvil cell with synchrotron radiation at room temperature. The compound undergoes a B1 to B2 transition; the transition proceeds through an intermediate amorphous phase found between 17-26 GPa that is quenchable down to ambient conditions. The pressure induced structural transition observed in this compound is the first of its type reported in this ternary cubic family, and it is new for the B1-B2 transition pathway reported to date. Density Functional Theory (DFT) calculations performed for the B1 and B2 phases are in good agreement with the experimental results.Comment: 4 pages, 3 figure

Learning about knowledge: A complex network approach

This article describes an approach to modeling knowledge acquisition in terms of walks along complex networks. Each subset of knowledge is represented as a node, and relations between such knowledge are expressed as edges. Two types of edges are considered, corresponding to free and conditional transitions. The latter case implies that a node can only be reached after visiting previously a set of nodes (the required conditions). The process of knowledge acquisition can then be simulated by considering the number of nodes visited as a single agent moves along the network, starting from its lowest layer. It is shown that hierarchical networks, i.e. networks composed of successive interconnected layers, arise naturally as a consequence of compositions of the prerequisite relationships between the nodes. In order to avoid deadlocks, i.e. unreachable nodes, the subnetwork in each layer is assumed to be a connected component. Several configurations of such hierarchical knowledge networks are simulated and the performance of the moving agent quantified in terms of the percentage of visited nodes after each movement. The Barab\'asi-Albert and random models are considered for the layer and interconnecting subnetworks. Although all subnetworks in each realization have the same number of nodes, several interconnectivities, defined by the average node degree of the interconnection networks, have been considered. Two visiting strategies are investigated: random choice among the existing edges and preferential choice to so far untracked edges. A series of interesting results are obtained, including the identification of a series of plateaux of knowledge stagnation in the case of the preferential movements strategy in presence of conditional edges.Comment: 18 pages, 19 figure

Basic conceptual structures theory

Although the theory of Conceptual Structures is over 10 years old, basic notions (like canonical graphs) are far from settled and are subject to constant extensions and reformulations. However, most of these are done in an informal way, which doesn't help in clarifying the issues involved. It is our hope that this paper will provide a first step towards the complete and rigorous account of Conceptual Structures (CS) Theory, which is needed for ongoing standardization and implementation efforts. Towards that goal, we present formal definitions of some of the central notions of CS theory (type, referent, concept, relation, conceptual graph, canonical formation rules, canon, and canonical graph) in its simplest form, i.e. no contexts nor coreference links are allowed and referents must be individuals. We thereby introduce higher-order types in order to enable the use of conceptual graphs at the metalevel, the restriction operation of the canonical formation rules is extended to make use of the relation hierarchy, we show the relationship between denotation and conformity relation, and we give a rigorous meaning to the canonical basis, among other things