An introduction to Conceptual Graphs

This paper provides a lucid introduction to Conceptual Graphs (CG), a powerful knowledge representation and inference environment that exhibits the familiar object-oriented features of contemporary enterprise and web applications. An illustrative business case study is used to convey how CG adds value to data, including inference for new knowledge. It enables newcomers to conceptual structures to engage with this exciting field and to realise "Conceptual Structures: Knowledge Architectures for Smart Applications", the theme of the 15(th) Annual International Conference on Conceptual Structures (ICCS 2007, www.iccs2007.info)

Knowledge-based support in Non-Destructive Testing for health monitoring of aircraft structures

Maintenance manuals include general methods and procedures for industrial maintenance and they contain information about principles of maintenance methods. Particularly, Non-Destructive Testing (NDT) methods are important for the detection of aeronautical defects and they can be used for various kinds of material and in different environments. Conventional non-destructive evaluation inspections are done at periodic maintenance checks. Usually, the list of tools used in a maintenance program is simply located in the introduction of manuals, without any precision as regards to their characteristics, except for a short description of the manufacturer and tasks in which they are employed. Improving the identification concepts of the maintenance tools is needed to manage the set of equipments and establish a system of equivalence: it is necessary to have a consistent maintenance conceptualization, flexible enough to fit all current equipment, but also all those likely to be added/used in the future. Our contribution is related to the formal specification of the system of functional equivalences that can facilitate the maintenance activities with means to determine whether a tool can be substituted for another by observing their key parameters in the identified characteristics. Reasoning mechanisms of conceptual graphs constitute the baseline elements to measure the fit or unfit between an equipment model and a maintenance activity model. Graph operations are used for processing answers to a query and this graph-based approach to the search method is in-line with the logical view of information retrieval. The methodology described supports knowledge formalization and capitalization of experienced NDT practitioners. As a result, it enables the selection of a NDT technique and outlines its capabilities with acceptable alternatives

Sheaf Theory through Examples

An approachable introduction to elementary sheaf theory and its applications beyond pure math. Sheaves are mathematical constructions concerned with passages from local properties to global ones. They have played a fundamental role in the development of many areas of modern mathematics, yet the broad conceptual power of sheaf theory and its wide applicability to areas beyond pure math have only recently begun to be appreciated. Taking an applied category theory perspective, Sheaf Theory through Examples provides an approachable introduction to elementary sheaf theory and examines applications including n-colorings of graphs, satellite data, chess problems, Bayesian networks, self-similar groups, musical performance, complexes, and much more. With an emphasis on developing the theory via a wealth of well-motivated and vividly illustrated examples, Sheaf Theory through Examples supplements the formal development of concepts with philosophical reflections on topology, category theory, and sheaf theory, alongside a selection of advanced topics and examples that illustrate ideas like cellular sheaf cohomology, toposes, and geometric morphisms. Sheaf Theory through Examples seeks to bridge the powerful results of sheaf theory as used by mathematicians and real-world applications, while also supplementing the technical matters with a unique philosophical perspective attuned to the broader development of ideas

A graph theoretical analysis of certain aspects of Bahasa Indonesia

In this paper the theory of knowledge graphs is applied to some characteristic features of the Indonesian language. The characteristic features to be considered are active and passive form of verbs and the derived noun

Syntax and semantics: A comparison of the structuralistic language theory of Ebeling with knowledge graph theory

This paper describes a comparison of two structuralistic theories of syntax and semantics of language. Both theories were developed in The Netherlands. One was developed by C.L.Ebeling at the University of Amsterdam about 30 years ago, the other by C.Hoede and students at the University of Twente in the last 20 years

Semantics representation in a sentence with concept relational model (CRM)

The current way of representing semantics or meaning in a sentence is by using the conceptual graphs. Conceptual graphs define concepts and conceptual relations loosely. This causes ambiguity because a word can be classified as a concept or relation. Ambiguity disrupts the process of recognizing graphs similarity, rendering difficulty to multiple graphs interaction. Relational flow is also altered in conceptual graphs when additional linguistic information is input. Inconsistency of relational flow is caused by the bipartite structure of conceptual graphs that only allows the representation of connection between concept and relations but never between relations per se. To overcome the problem of ambiguity, the concept relational model (CRM) described in this article strictly organizes word classes into three main categories; concept, relation and attribute. To do so, CRM begins by tagging the words in text and proceeds by classifying them according to a predefi ned mapping. In addition, CRM maintains the consistency of the relational flow by allowing connection between multiple relations as well. CRM then uses a set of canonical graphs to be worked on these newly classified components for the representation of semantics. The overall result is better accuracy in text engineering related task like relation extraction

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling