Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Conceptual Structures, ICCS 2005, held in Kassel, Germany, in July 2005.
The 23 revised full papers presented together with 9 invited papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on theoretical foundations, knowledge engineering and tools, and knowledge acquisition and ontologies.

Invited Papers.- Patterns for the Pragmatic Web.- Conceptual Graphs for Semantic Web Applications.- Knowledge Representation and Reasoning in (Controlled) Natural Language.- What Is a Concept?.- Applications of Description Logics: State of the Art and Research Challenges.- Methodologies for the Reliable Construction of Ontological Knowledge.- Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issues.- On the Need to Bootstrap Ontology Learning with Extraction Grammar Learning.- Conzilla — A Conceptual Interface to the Semantic Web.- Theoretical Foundations.- Variables in Concept Graphs.- Arbitrary Relations in Formal Concept Analysis and Logical Information Systems.- Merge-Based Computation of Minimal Generators.- Representation of Data Contexts and Their Concept Lattices in General Geometric Spaces.- Local Negation in Concept Graphs.- Morphisms in Context.- Contextual Logic and Aristotle’s Syllogistic.- States of Distributed Objects in Conceptual Semantic Systems.- Knowledge Engineering and Tools.- Hierarchical Knowledge Integration Using Layered Conceptual Graphs.- Evaluation of Concept Lattices in a Web-Based Mail Browser.- D-SIFT: A Dynamic Simple Intuitive FCA Tool.- Analyzing Conflicts with Concept-Based Learning.- Querying a Bioinformatic Data Sources Registry with Concept Lattices.- How Formal Concept Lattices Solve a Problem of Ancient Linguistics.- A New Method to Interrogate and Check UML Class Diagrams.- Knowledge Acquisition and Ontologies.- Language Technologies Meet Ontology Acquisition.- Weighted Pseudo-distances for Categorization in Semantic Hierarchies.- Games of Inquiry for Collaborative Concept Structuring.- Toward Cooperatively-Built Knowledge Repositories.- What Has Happened to Ontology.- Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs.- Outline of trikonic?* k: Diagrammatic Trichotomic.