Reasoning with concept diagrams about antipatterns in ontologies

DOI10.1007/978-3-319-62075-6_18zbMath1367.68311OpenAlexW2733301172MaRDI QIDQ2364685

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

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

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

Related Items (1)

Accessible Reasoning with Diagrams: From Cognition to Automation

Uses Software

• Protege
• Speedith
• SOVA
• VOWL

Cites Work

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

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