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

Munificent

CAGE

Ontological Constitutions for Classes and Propertiesand the interrelationship of these within a formal logical framework. Unlike predicate logical usage with quantification over individuals only, in the applied metalogic classes and properties appear as first class non-extensional objects. Using this framework miscellaneous classification structures

insincerity

Peirce’s Contributions to the 21st Centurypher in the 20th century. Peirce’s research in logic, physics, mathe-matics, and lexicography made him uniquely qualified to appreciate the rigors of science, the nuances of language, and the semiotic processes that support both. Instead of using logic to understand language, the philosophers who be

dagger

Two Iconicity Notions in Peirce’s Diagrammatology thought, in what could be termed his diagrammatology – the other is articulated in his construction of Existential Graphs as an iconic system for logic representation. One is operational and defines iconicity in terms of which information may be derived from a given diagram or diagram system – the

debouch

Simple Conceptual Graphs and Simple Concept Graphspaper, we compare Simple Conceptual Graphs with Simple Concept Graphs, by successively studying their different syntaxes, semantics, and entailment calculus. We show that these graphs are almost identical mathematical objects, have equivalent semantics, and similar inference mechanisms. We highlight

健壮

Rules Dependencies in Backward Chaining of Conceptual Graphs Rulese CGs. Optimizations of the deduction calculus in this KR formalism include a Backward Chaining that unifies at the same time whole subgraphs of a rule, and a Forward Chaining that relies on compiling dependencies between rules..In this paper, we show that the unification used in the first algorithm

notice

Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes via hedges and the approach via thresholds. Both of the approaches present parameterized ways to FCA of data with fuzzy attributes. Our paper shows basic relationships between the two of the approaches. Furthermore, we show that the approaches can be combined in a natural way, i.e. we present an ap

Altitude

Formal Concept Analysis with Constraints by Closure Operatorsnstraints represent a user-defined requirements which are supplied along with the input data table. The main effect is to filter-out outputs of the analysis (conceptual clusters and if-then rules) which are not compatible with the constraint, in a computationally efficient way (polynomial time delay

Aromatic

Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery be computed from experimental data and it is common to miss some one values. Therefore, we extend formal concepts towards fault-tolerance. We define the .-bi-set pattern domain by allowing some zero values to be inside the pattern. Crucial properties of formal concepts are preserved (number of zero

Carcinogenesis