Deriving sound inference rules for concept diagrams

Chapman, Peter, Stapleton, Gem, Howse, John and Oliver, Ian (2011) Deriving sound inference rules for concept diagrams In: Proceedings of the IEEE symposium on visual languages and human-centric computing 2011, 18-22 September 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

Full text not available from this repository.


The process of designing and modelling an ontology can be difficult, especially if the user finds the syntax to be relatively inaccessible. Providing users with graphical syntax with which they can model and visualise their ontology has the potential to be helpful. Previously, we informally introduced concept diagrams for ontology visualisation and modelling. We present a case study comprising: (a) a set of axioms for an ontology, and (b) a set of theorems that follow from the axioms, together with their proofs. The proofs have been constructed so that they are, in our opinion, of an intuitive style. From these proofs, we derive a set of sound inference rules that can be used to formally reason about ontologies following the same intuitive style. This approach to designing inference rules differs from previous efforts where the primary focus has been on obtaining a set of sound and complete inference rules, rather than on intuitiveness.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource): 10.1109/VLHCC.2011.6070384
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 08 Feb 2012 10:12
Last Modified: 02 Mar 2015 14:14

Actions (login required)

View Item View Item


Downloads per month over past year