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.
Chapter PDF
Similar content being viewed by others
Keywords
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
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)
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)
Baader, F., Calvanese, D., McGuinness, D., Nadi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. CUP (2003)
Baader, F., Calvanese, D., McGuinness, D., Nadi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, ch. 3. CUP (2003)
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)
Compton, et al.: The SSN Ontology of the Semantic Sensor Network Incubator Group. Submitted to The Journal of Web Semantics (July 2011)
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)
Euler, L.: Lettres a une princesse d‘allemagne sur divers sujets de physique et de philosophie. Letters 2, 102–108 (1775); Berne, Socit Typographique
Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2) (1993)
Horridge, M.: OWLViz, http://www.co-ode.org/downloads/owlviz/ (accessed June 2009)
Jambalaya: http://www.thechiselgroup.org/jambalaya
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)
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)
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)
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)
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)
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)
Simonetto, P., Auber, D.: Visualise undrawable Euler diagrams. In: 12th International Conference on Information Visualization, pp. 594–599. IEEE (2008)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Howse, J., Stapleton, G., Taylor, K., Chapman, P. (2011). Visualizing Ontologies: A Case Study. In: Aroyo, L., et al. The Semantic Web – ISWC 2011. ISWC 2011. Lecture Notes in Computer Science, vol 7031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25073-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-25073-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25072-9
Online ISBN: 978-3-642-25073-6
eBook Packages: Computer ScienceComputer Science (R0)