Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
International Journal of Man-Machine Studies
Conceptual structures
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Logic and Visual Information
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Syntax, Semantics, and Pragmatics of Contexts
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Conceptual Graphs and First-Order Logic
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Towards Correspondence between Conceptual Graphs and Description Logics
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Conceptual Graphs: Draft Proposed American National Standard
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Peircean Foundations for a Theory of Context
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
VL '99 Proceedings of the IEEE Symposium on Visual Languages
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
An introduction to description logics
The description logic handbook
The Guarded Fragment of Conceptual Graphs
The Guarded Fragment of Conceptual Graphs
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
Diagrammatic Representation and Inference
Diagrammatic Representation and Inference
An Experimental Study into the Default Reading of Constraint Diagrams
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
A Survey of Reasoning Systems Based on Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
RDF entailment as a graph homomorphism
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
RDF as graph-based, diagrammatic logic
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Simple conceptual graphs and simple concept graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Some notes on proofs with alpha graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
The teridentity and peircean algebraic logic
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Fixing shin's reading algorithm for peirce's existential graphs
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Two instances of peirce's reduction thesis
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Semantology as basis for conceptual knowledge processing
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
Creating a second order diagrammatic logic
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Visualizing ontologies: a case study
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Towards efficient and practical solutions for ontology-based data management
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Visualizing and specifying ontologies using diagrammatic logics
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
Hi-index | 0.00 |
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows well-formed formulas to be derived. This calculus is intended in the analog of logical inference. Description logics (DLs) have become a popular knowledge representation and processing language. DLs correspond to decidable fragments of first order logic; their notation is in the style of symbolic, variable-free formulas. Moreover, DLs are equipped with table au theorem provers that are proven to be sound and complete. Although DLs have roots in diagrammatic languages (such as semantic networks), they are elaborated in a purely symbolic manner. This paper discusses how DLs can be equivalently represented in terms of a diagrammatic reasoning system. First, existing diagrammatic reasoning systems, namely spider- and constraint diagrams, as well as existential and conceptual graphs, are investigated to determine if they are compatible with DLs. It turns out that Peirce's existential graphs are better suited for this purpose than the alternatives we examine. The paper then redevelops the DL ALC, which is the smallest propositional DL, by means of labeled trees, and provides a diagrammatic representation for these trees in the style of Peircean graphs. We provide a calculus based on C.S. Peirce's calculus for existential graphs and prove the soundness and completeness of the calculus. The calculus acts on labeled trees, but can be best understood as a diagrammatic calculus whose rules modify the Peircean-style representation of ALC.