Conceptual Structures: Inspiration and Application

This book constitutes the refereed proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, held in Aalborg, Denmark in July 2006. The volume presents 24 revised full papers, together with 6 invited papers. The papers address topics such as conceptual structures; their interplay with language, semantics and pragmatics; formal methods for concept analysis and contextual logic, modeling, representation, and visualization of concepts; conceptual knowledge acquisition and more.

Inhalt

Invited Papers.- Formal Ontology, Knowledge Representation and Conceptual Modelling: Old Inspirations, Still Unsolved Problems.- The Persuasive Expansion - Rhetoric, Information Architecture, and Conceptual Structure.- Revision Forever!.- Ontological Constitutions for Classes and Properties.- Peirce's Contributions to the 21st Century.- Two Iconicity Notions in Peirce's Diagrammatology.- Contributed Papers.- Simple Conceptual Graphs and Simple Concept Graphs.- Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.- Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes.- Formal Concept Analysis with Constraints by Closure Operators.- Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery.- The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products.- Some Notes on Proofs with Alpha Graphs.- DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering.- FCA-Based Browsing and Searching of a Collection of Images.- Semantology: Basic Methods for Knowledge Representations.- The Teridentity and Peircean Algebraic Logic.- Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems.- Querying Formal Contexts with Answer Set Programs.- Towards an Epistemic Logic of Concepts.- Development of Intelligent Systems and Multi-Agents Systems with Amine Platform.- Ontologies in Amine Platform: Structures and Processes.- Building a Pragmatic Methodology for KR Tool Research and Development.- Simple Conceptual Graphs with Atomic Negation and Difference.- A Pattern-Based Approach to Conceptual Clustering in FOL.- Karl Popper's Critical Rationalism in Agile Software Development.- On Lattices in Access Control Models.- An Application of Relation Algebra to Lexical Databases.- A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs.- Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation.- Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs.- Representing Wholes by Structure.