Abstract
Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate logic. In this paper a diagrammatic representation of the DL \(\cal ALC\)– based on Peirce’s existential graphs – is presented and a set of transformation rules on these graphs provided. As the transformation rules modify the diagrammatic representation of \(\cal ALC\) this produces a diagrammatic calculus. Some examples present in the paper illustrate the use and properties of this calculus.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science 11(1), 65–100 (1987)
Shimojima, A.: On the Efficacy of Representation. PhD thesis, The Department of Philosophy, Indiana University (1996), Available at http://www.jaist.ac.jp/~ashimoji/e-papers.html
Shin, S.J.: The Iconic Logic of Peirce’s Graphs. Bradford Book, Massachusetts (2002)
Gaines, B.R.: An interactive visual language for term subsumption languages. In: IJCAI, pp. 817–823 (1991)
Kremer, R.: Visual languages for konwledge representation. In: KAW 1998. Proc. of 11th Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada, Morgan Kaufmann, San Francisco (1998)
Nosek, J.T., Roth, I.: A comparison of formal knowledge representation schemes as communication tools: Predicate logic vs semantic network. International Journal of Man-Machine Studies 33(2), 227–239 (1990)
Coupey, P., Faron, C.: Towards correspondence between conceptual graphs and description logics. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol. 1453, pp. 165–178. Springer, Heidelberg (1998)
Sowa, J.F.: Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading, Mass (1984)
Brockmans, S., Volz, R., Eberhart, A., Löffler, P.: Visual modeling of owl dl ontologies using uml. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 198–213. Springer, Heidelberg (2004)
Stapleton, G.: Reasoning with Constraint Diagrams. PhD thesis, Visual Modelling Group, Department of Mathematical Sciences, University of Brighton (2004), Available at http://www.cmis.brighton.ac.uk/Research/vmg/GStapletonthesis.html
Stapleton, G., Howse, J., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics 8, 145–194 (2005)
Zeman, J.J.: The Graphical Logic of C. S. Peirce. PhD thesis, University of Chicago (1964), Available at http://www.clas.ufl.edu/users/jzeman/
Dau, F., Eklund, P.: Towards a diagrammatic reasoning system for description logics. Journal of Visual Languages and Computing (submitted, 2006), www.kvocentral.org
Burch, R.W.: A Peircean Reduction Thesis: The Foundation of Topological Logic. Texas Tech. University Press, Texas, Lubbock (1991)
Pollandt, S.: Relation graphs: A structure for representing relations in contextual logic of relations. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 24–48. Springer, Heidelberg (2002)
Dau, F.: Fixing shin’s reading algorithm for peirce’s existential graphs. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol. 4045, pp. 88–92. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dau, F., Eklund, P. (2007). A Diagrammatic Reasoning System for \(\cal ALC\) . In: Zhang, Z., Siekmann, J. (eds) Knowledge Science, Engineering and Management. KSEM 2007. Lecture Notes in Computer Science(), vol 4798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-76719-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76718-3
Online ISBN: 978-3-540-76719-0
eBook Packages: Computer ScienceComputer Science (R0)