Reasoning with concept diagrams about antipatterns in ontologies

DOI10.1007/978-3-319-62075-6_18MaRDI QIDQ2364685zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(3)

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

Describes a project that uses

Uses Software

• VOWL
• SOVA
• Speedith
• Protege

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)