%0 Conference Paper %1 chapman2011deriving %A Chapman, Peter %A Stapleton, Gem %A Howse, John %A Oliver, Ian %B 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) %D 2011 %K concept diagram euler graph inference logic reasoning venn visualization %P 87-94 %R 10.1109/VLHCC.2011.6070384 %T Deriving sound inference rules for concept diagrams %U https://ieeexplore.ieee.org/abstract/document/6070384 %X 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.

@inproceedings{chapman2011deriving, abstract = {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.}, added-at = {2023-09-13T13:59:25.000+0200}, author = {Chapman, Peter and Stapleton, Gem and Howse, John and Oliver, Ian}, biburl = {https://www.bibsonomy.org/bibtex/296136a977f74ce2639e466c4f2fa61c9/jaeschke}, booktitle = {2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}, description = {Deriving sound inference rules for concept diagrams | IEEE Conference Publication | IEEE Xplore}, doi = {10.1109/VLHCC.2011.6070384}, interhash = {19c88fbb721812b4a86194bad9134955}, intrahash = {96136a977f74ce2639e466c4f2fa61c9}, issn = {1943-6106}, keywords = {concept diagram euler graph inference logic reasoning venn visualization}, month = {Sep.}, pages = {87-94}, timestamp = {2023-09-13T13:59:25.000+0200}, title = {Deriving sound inference rules for concept diagrams}, url = {https://ieeexplore.ieee.org/abstract/document/6070384}, year = 2011 }