Advertisement

Visualizing Ontologies: A Case Study

  • John Howse
  • Gem Stapleton
  • Kerry Taylor
  • Peter Chapman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7031)

Abstract

Concept diagrams were introduced for precisely specifying ontologies in a manner more readily accessible to developers and other stakeholders than symbolic notations. In this paper, we present a case study on the use of concept diagrams in visually specifying the Semantic Sensor Networks (SSN) ontology. The SSN ontology was originally developed by an Incubator Group of the W3C. In the ontology, a sensor is a physical object that implements sensing and an observation is observed by a single sensor. These, and other, roles and concepts are captured visually, but precisely, by concept diagrams. We consider the lessons learnt from developing this visual model and show how to convert description logic axioms into concept diagrams. We also demonstrate how to merge simple concept diagram axioms into more complex axioms, whilst ensuring that diagrams remain relatively uncluttered.

Keywords

Role Restriction Inference Rule Description Logic Closed Curf Concept Hierarchy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    W3C OWL Working Group, OWL 2 Web Ontology Language Document Overview, W3C Recommendation (October 27, 2009), http://www.w3.org/TR/2009/REC-owl2-overview-20091027/ (accessed June 2011)
  2. 2.
    Lefort, et al.: The W3C Semantic Sensor Network Incubator Group Final Report, http://www.w3.org/2005/Incubator/ssn/XGR-ssn-20110628/ (accessed June 2011)
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D., Nadi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. CUP (2003)Google Scholar
  4. 4.
    Baader, F., Calvanese, D., McGuinness, D., Nadi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, ch. 3. CUP (2003)Google Scholar
  5. 5.
    Chapman, P., Stapleton, G., Howse, J., Oliver, I.: Deriving sound inference rules for concept diagrams. In: IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE (2011)Google Scholar
  6. 6.
    Compton, et al.: The SSN Ontology of the Semantic Sensor Network Incubator Group. Submitted to The Journal of Web Semantics (July 2011)Google Scholar
  7. 7.
    Dau, F., Eklund, P.: A diagrammatic reasoning system for the description logic \(\mathcal{ACL}\). Journal of Visual Languages and Computing 19(5), 539–573 (2008)CrossRefGoogle Scholar
  8. 8.
    Euler, L.: Lettres a une princesse d‘allemagne sur divers sujets de physique et de philosophie. Letters 2, 102–108 (1775); Berne, Socit Typographique Google Scholar
  9. 9.
    Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2) (1993)Google Scholar
  10. 10.
    Horridge, M.: OWLViz, http://www.co-ode.org/downloads/owlviz/ (accessed June 2009)
  11. 11.
  12. 12.
    Oliver, I., Howse, J., Stapleton, G., Nuutila, E., Torma, S.: A proposed diagrammatic logic for ontology specification and visualization. In: International Semantic Web Conference (Posters and Demos) (2009)Google Scholar
  13. 13.
    Oliver, I., Howse, J., Stapleton, G., Nuutila, E., Torma, S.: Visualising and specifying ontologies using diagrammatic logics. In: 5th Australasian Ontologies Workshop, vol. 112, pp. 87–104. CRPIT (2009)Google Scholar
  14. 14.
    Presutti, V., Gangemi, A.: Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 128–141. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Rodgers, P., Zhang, L., Fish, A.: General Euler Diagram Generation. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 13–27. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    Shimojima, A.: Inferential and expressive capacities of graphical representations: Survey and some generalizations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 18–21. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Shimojima, A., Katagiri, Y.: An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 74–88. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  18. 18.
    Simonetto, P., Auber, D.: Visualise undrawable Euler diagrams. In: 12th International Conference on Information Visualization, pp. 594–599. IEEE (2008)Google Scholar
  19. 19.
    Stapleton, G., Zhang, L., Howse, J., Rodgers, P.: Drawing Euler diagrams with circles: The theory of piercings. IEEE Transactions on Visualisation and Computer Graphics 17, 1020–1032 (2011)CrossRefGoogle Scholar
  20. 20.
    Wang, M., Plimmer, B., Schmieder, P., Stapleton, G., Rodgers, P., Delaney, A.: SketchSet: Creating Euler diagrams using pen or mouse. In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011. IEEE (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • John Howse
    • 1
  • Gem Stapleton
    • 1
  • Kerry Taylor
    • 2
  • Peter Chapman
    • 1
  1. 1.Visual Modelling GroupUniversity of BrightonUK
  2. 2.Australian National University and CSIROAustralia

Personalised recommendations