Titlebook: Conceptual Structures: Inspiration and Application; 14th International C Henrik Schärfe,Pascal Hitzler,Peter Øhrstrøm Conference proceeding

DAMP

Some Notes on Proofs with Alpha Graphs extent to the common calculi for PL. In this paper, some aspects of Peirce’s calculus are exploited. First of all, it is shown that the erasure-rule of Peirce’s calculus, which is the only rule which does not enjoy the finite choice property, is admissible. Then it is shown that this calculus is fa

Control-Group

ELATE

FCA-Based Browsing and Searching of a Collection of Imagesis (FCA) for information retrieval with the graphical information conveyed in thumbnails. In order to use thumbnails of images to represent concept extents, line diagrams can not be efficiently utilised and thus other navigation methods are necessary. In addition to established methods like search a

recession

Semantology: Basic Methods for Knowledge Representationspresenting knowledge which we demonstrate by discussing .. In this context we discuss why, in the field of knowledge representation, the term “Semantology” should be given preference to the term “Ontology” .

STEER

affect

Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systemso represent and specify the nature of qualitative conceptual transactions in order that they are adequately comprehended by a goal-directed MAS. Using the Transaction Agent Model (TrAM) approach we examine the use of Conceptual Graphs to model an extension to an existing MAS in the community healthc

ciliary-body

Querying Formal Contexts with Answer Set Programs Based on these results for combining hierarchical knowledge with classical rule-based formalisms, we introduce an expressive common-sense query language for formal contexts. Although this approach is conceptually based on order-theoretic paradigms, we show how it can be implemented on top of standa

modifier

Semantology: Basic Methods for Knowledge Representationspresenting knowledge which we demonstrate by discussing .. In this context we discuss why, in the field of knowledge representation, the term “Semantology” should be given preference to the term “Ontology” .

Firefly

神圣在玷污