Reasoning with concept diagrams about antipatterns in ontologies

DOI10.1007/978-3-319-62075-6_18zbMATH Open1367.68311OpenAlexW2733301172MaRDI QIDQ2364685FDOQ2364685

Authors: Z. Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato 

Publication date: 21 July 2017

Full work available at URL: https://research.brighton.ac.uk/en/publications/a5ad3d3b-3338-48ec-b18e-8ee901a814fd

Recommendations

• Accessible Reasoning with Diagrams: From Cognition to Automation
• OntoDebug: interactive ontology debugging plug-in for Protégé
• Diagrammatic Reasoning with Classes and Relationships
• Main problems of diagrammatic reasoning. I: The generalization problem
• Debugging incoherent terminologies

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Speedith: a reasoner for spider diagrams
• Mechanizing Mathematical Reasoning

Cited In (3)

• Visualizing \(\mathcal{ALC}\) using concept diagrams
• Debugging incoherent terminologies
• Accessible Reasoning with Diagrams: From Cognition to Automation

Uses Software

• Protege
• Speedith
• SOVA
• VOWL

This page was built for publication: Reasoning with concept diagrams about antipatterns in ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364685)