Name
Abstract | ||
|---|---|---|
Concept diagrams form a visual language that is aimed at non-experts for the specification of ontologies and reasoning about them. Empirical evidence suggests that they are more accessible to ontology users than symbolic notations typically used (e.g., DL, OWL). Here, we report on iCon, an interactive theorem prover for concept diagrams that allows reasoning about ontologies diagrammatically. The input to iCon is a theorem that needs proving to establish how an entailment, in an ontology that needs debugging, is caused by a minimal set of axioms. Such a minimal set of axioms is called an entailment justification. Carrying out inference in iCon provides a diagrammatic proof (i.e., explanation) that shows how the axioms in an entailment justification give rise to the entailment under investigation. iCon proofs are formally verified and guaranteed to be correct. |
Year | Venue | Field |
|---|---|---|
2018 | SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING | Ontology (information science),Diagrammatic reasoning,Icon,Computer science,Automated theorem proving,Theoretical computer science |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Zohreh Shams | 1 | 2 | 2.16 |
| Mateja Jamnik | 2 | 158 | 30.79 |
| Gem Stapleton | 3 | 482 | 56.25 |
| Yuri Sato | 4 | 23 | 4.71 |