Deriving sound inference rules for concept diagrams

Peter Chapman, Gem Stapleton, John Howse, Ian Oliver

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review


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.
Original languageEnglish
Title of host publicationProceedings of the IEEE symposium on visual languages and human-centric computing 2011
Place of PublicationWashington DC, USA
Number of pages8
ISBN (Print)9781457712463
Publication statusPublished - 1 Jan 2011
EventIEEE Symposium on Visual Languages and Human-Centric Computing 2011 - Pittsburgh, PA, USA, 18-22 September, 2011
Duration: 18 Sept 2011 → …


ConferenceIEEE Symposium on Visual Languages and Human-Centric Computing 2011
Period18/09/11 → …


Dive into the research topics of 'Deriving sound inference rules for concept diagrams'. Together they form a unique fingerprint.

Cite this