Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings /
International Conference on Conceptual StructuresCorporate Author
International Conference on Conceptual Structures(13th :2005 :Kassel, Germany)
International Conference on Conceptual Structures
Dau, Frithjof.editor.
Mugnier, Marie-Laure.editor.
Stumme, Gerd.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Coding theory.
Information theory.
Artificial intelligence.
Algorithms.
Mathematical logic.
Computer science-Mathematics.
Application software.
Coding and Information Theory.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Information Systems Applications (incl. Internet).
Lecture notes in computer science