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 |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 68,944
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Extended Syllogistics in Calculus CL.Jens Lemanski - 2021 - Journal of Applied Logics 8 (2):557-577.
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.
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.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
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.
Analytics
Added to PP index
2018-08-29
Total views
14 ( #728,377 of 2,497,999 )
Recent downloads (6 months)
2 ( #283,501 of 2,497,999 )
2018-08-29
Total views
14 ( #728,377 of 2,497,999 )
Recent downloads (6 months)
2 ( #283,501 of 2,497,999 )
How can I increase my downloads?
Downloads
