Conceptual Structures: Inspiration and Application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings

by Sch„rfe, Henrik; Hitzler, Pascal; Ohrstrom, Peter

• ISBN13: 9783540358930
• ISBN10: 3540358935
• Format: Paperback
• Copyright: 2006-08-15
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, held in Aalborg, Denmark in July 2006.The 24 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science. 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 the theory and applications of formal ontologies.

Table of Contents

Formal ontology, knowledge representation and conceptual modelling : old inspirations, still unsolved problems	p. 1
The persuasive expansion - rhetoric, information architecture, and conceptual structure	p. 2
Revision forever!	p. 22
Ontological constitutions for classes and properties	p. 37
Peirce's contributions to the 21st century	p. 54
Two iconicity notions in Peirce's diagrammatology	p. 70
Simple conceptual graphs and simple concept graphs	p. 87
Rules dependencies in backward chaining of conceptual graphs rules	p. 102
Thresholds and shifted attributes in formal concept analysis of data with fuzzy attributes	p. 117
Formal concept analysis with constraints by closure operators	p. 131
Mining a new fault-tolerant pattern type as an alternative to formal concept discovery	p. 144
The MIEL++ architecture when RDB, CGs and XML meet for the sake of risk assessment in food products	p. 158
Some notes on proofs with alpha graphs	p. 172
DOGMA-MESS : a meaning evolution support system for interorganizational ontology engineering	p. 189
FCA-based browsing and searching of a collection of images	p. 203
Semantology : basic methods for knowledge representations	p. 215
The teridentity and Peircean algebraic logic	p. 229
Transaction agent modelling : from experts to concepts to multi-agent systems	p. 247
Querying formal contexts with answer set programs	p. 260
Towards an epistemic logic of concepts	p. 274
Development of intelligent systems and multi-agents systems with amine platform	p. 286
Ontologies in amine platform : structures and processes	p. 300
Building a pragmatic methodology for KR tool research and development	p. 314
Simple conceptual graphs with atomic negation and difference	p. 331
A pattern-based approach to conceptual clustering in FOL	p. 346
Karl Popper's critical rationalism in agile software development	p. 360
On lattices in access control models	p. 374
An application of relation algebra to lexical databases	p. 388
A framework for analyzing and testing requirements with actors in conceptual graphs	p. 401
Query-based multicontexts for knowledge base browsing : an evaluation	p. 413
Representation and reasoning on role-based access control policies with conceptual graphs	p. 427
Representing wholes by structure	p. 441
Table of Contents provided by Blackwell. All Rights Reserved.