In P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz & F. Bellucci (eds.), Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Cham, Schweiz: Springer. pp. 752-756 (2018)

Authors
Jens Lemanski
Fernuniversität Hagen
Abstract
The paper outlines the advantages and limits of the so-called ‘Calculus CL’ in the field of ontology engineering and automated theorem proving. CL is a diagram type that combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. Due to the simple taxonomical structures and intuitive rules of CL, it is easy to edit ontologies and to prove inferences.
Keywords Logic diagrams  Diagrammatic Reasoning  Knowledge Representation  Ontology Visualisation
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,448
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
Diagrams, Logic and Representation.Eric Morgan Hammer - 1995 - Dissertation, Indiana University
Periods in the Use of Euler-Type Diagrams.Jens Lemanski - 2017 - Acta Baltica Historiae Et Philosophiae Scientiarum 5 (1):50-69.
On Automating Diagrammatic Proofs of Arithmetic Arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Diagrams as Sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Logic and Visual Information.Eric Hammer - 1995 - CSLI Publications.

Analytics

Added to PP index
2018-08-29

Total views
14 ( #705,532 of 62,407 )

Recent downloads (6 months)
3 ( #232,113 of 62,407 )

How can I increase my downloads?

Downloads

My notes