Calculus CL as Ontology Editor and Inference Engine

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)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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
Counter-Example Construction with Euler Diagrams.Ryo Takemura - 2015 - Studia Logica 103 (4):669-696.
Periods in the Use of Euler-type Diagrams.Jens Lemanski - 2017 - Acta Baltica Historiae Et Philosophiae Scientiarum 5 (1):50-69.
Meta-relation and ontology closure in Conceptual Structure Theory.Philip H. P. Nguyen, Ken Kaneiwa, Dan R. Corbett & Minh-Quang Nguyen - 2009 - Artificial Intelligence and Law 17 (4):291-320.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Visual Reasoning with Diagrams.Sun-Joo Shin & Amirouche Moktefi (eds.) - 2013 - Basel: Birkhaüser.
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.
Making Sense of Schopenhauer's Diagram of Good and Evil.Jens Lemanski & Amirouche Moktefi - 2018 - In Stapleton G. Chapman P. (ed.), Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Cham, Schweiz: Springer. pp. 721-724.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Aligning logical and psychological perspectives on diagrammatic reasoning.Keith Stenning & Oliver Lemon - 2001 - Artificial Intelligence Review 15:29--62.
Theories of diagrammatic reasoning: Distinguishing component problems. [REVIEW]Corin Gurr, John Lee & Keith Stenning - 1998 - Minds and Machines 8 (4):533-557.
Logic and Visual Information.Eric Hammer - 1995 - CSLI Publications.

Analytics

Added to PP
2018-08-29

Downloads
29 (#536,973)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jens Lemanski
University of Münster

Citations of this work

Extended Syllogistics in Calculus CL.Jens Lemanski - 2020 - Journal of Applied Logics 8 (2):557-577.

Add more citations

References found in this work

No references found.

Add more references