Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Concep | International Conference on Conceptual Structures (8th : 2000 : Darmstadt, Germany), Ganter, Bernhard, Mineau, Guy W

Conceptual Structures: Logical, Linguistic, and Computational Issues: 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Proceedings
Author: Bernhard Ganter, Guy W. Mineau
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67859-5
DOI: 10.1007/10722280

Table of Contents:

• The Role of Conceptual Structure in Human Evolution
• Concepts in Linguistics – Concepts in Natural Language
• Patterns, Schemata, and Types — Author Support through Formalized Experience
• Conventions and Notations for Knowledge Representation and Retrieval
• Ontology, Metadata, and Semiotics
• Pragmatically Yours,
• Conceptual Modeling for Distributed Ontology Environments
• Discovery of Class Relations in Exception Structured Knowledge Bases
• CGs Applications : Where Are We 7 Years after the First ICCS?
• The Engineering of a CG-Based System: Fundamental Issues
• Conceptual Graphs, Metamodeling, and Notation of Concepts
• Knowledge Representation and Reasonings Based on Graph Homomorphism
• User Modelling Using Conceptual Graphs for Intelligent Agents
• Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View
• The Extensional Semantics of the Conceptual Graph Formalism
• Semantics of Attribute Relations in Conceptual Graphs
• Nested Concept Graphs and Triadic Power Context Families
• Negations in Simple Concept Graphs
• Extending the CG Model by Simulations
• Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis

The Role of Conceptual Structure in Human Evolution / Keith Devlin -- Concepts in Linguistics -- Concepts in Natural Language / Gisela Harras -- Patterns, Schemata, and Types -- Author Support through Formalized Experience / Felix H. Gatzemeier -- Conventions and Notations for Knowledge Representation and Retrieval / Philippe Martin -- Ontology, Metadata, and Semiotics / John F. Sowa -- Pragmatically Yours / Mary Keeler -- Conceptual Modeling for Distributed Ontology Environments / Deborah L. McGuinness -- Discovery of Class Relations in Exception Structured Knowledge Bases / Hendra Suryanto and Paul Compton -- CGs Applications: Where Are We 7 Years after the First ICCS? / Michel Chein and David Genest -- The Engineering of a CG-Based System: Fundamental Issues / Guy W. Mineau -- Conceptual Graphs, Metamodeling, and Notation of Concepts / Olivier Gerbe, Guy W. Mineau and Rudolf K. Keller -- Knowledge Representation and Reasonings Based on Graph Homomorphism / Marie-Laure Mugnier -- User Modeling Using Conceptual Graphs for Intelligent Agents / James F. Baldwin, Trevor P. Martin and Aimilia Tzanavari -- Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View / Patrice Buche and Ollivier Haemmerle -- The Extensional Semantics of the Conceptual Graph Formalism / Guy W. Mineau -- Semantics of Attribute Relations in Conceptual Graphs / Pavel Kocura -- Nested Concept Graphs and Triadic Power Context Families / Susanne Prediger -- Negations in Simple Concept Graphs / Frithjof Dau -- Extending the CG Model by Simulations / Jean-Francois Baget -- Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis / Franz Baader and Ralf Molitor -- On the Contextual Logic of Ordinal Data / Silke Polladt and Rudolf Wille -- Boolean Concept Logic / Rudolf Wille -- Lattices of Triadic Concept Graphs / Bernd Groh and Rudolf Wille -- Formalizing Hypotheses with Concepts / Bernhard Ganter and Sergei O. Kuznetsov -- Generalized Formal Concept Analysis / Laurent Chaudron and Nicolas Maille -- A Logical Generalization of Formal Concept Analysis / Sebastien Ferre and Olivier Ridoux -- On the Treatment of Incomplete Knowledge in Formal Concept Analysis / Peter Burmeister and Richard Holzer -- Logic-Based Networks: Concept Graphs and Conceptual Structures / Peter W. Ekhund -- Conceptual Knowledge Discovery and Data Analysis / Joachim Hereth, Gerd Stumme and Rudolf Wille / [and others] -- CEM -- A Conceptual Email Manager / Richard Cole and Gerd Stumme -- A Contextual-Logic Extension of TOSCANA / Peter Eklund, Bernd Groh and Gerd Stumme / [et al.] -- A Conceptual Graph Model for W3C Resource Description Framework / Olivier Corby, Rose Dieng and Cedric Hebert -- Computing with Conceptual Structures / Bernhard Ganter -- Symmetry and the Computation of Conceptual Structures / Robert Levinson -- An Introduction to SNePS 3 / Stuart C. Shapiro -- Composition Norm Dynamics Calculation with Conceptual Graphs / Aldo de Moor -- From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language / Adil Kabbaj and Martin Janta-Polczynski -- A Cost-Bounded Algorithm to Control Events Generalization / Gael de Chalendar, Brigitte Grau and Olivier Ferret