Skip to main content
SpringerLink
Log in

Knowledge Representation and Graph Transformation

  • Conference paper
Theory and Application of Graph Transformations (TAGT 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1764))

  • 473 Accesses

Abstract

In this paper, the knowledge representation language ALC is modeled by means of graph transformation. This yields a formally defined graphical or visual version of ALC where ALC-concepts and ALC-sentences are represented as graphs and their syntactically correct generation is specified by graph grammar rules. The semantics of ALC-sentences, which is expressed by satisfiability, is compatible with the graphical representation. Moreover, the tableau calculus, which provides an algorithm for checking the satisfiability of constraints, can be carried over to the level of graph transformation, thus obtaining a visual verification procedure.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Schürr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming 34(1), 1–54 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  2. Baader, F.: Logic-based knowledge representation. In: Wooldridge, M.J., Veloso, M. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 13–41. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  3. Baader, F., Bürckert, H.-J., Hollunder, B., Nutt, W., Siekmann, J.: Concept logic. In: Proceedings of the Symposium on Computational Logic, Brussels (Belgien), pp. 177–201 (1990)

    Google Scholar 

  4. Baader, F., Hollunder, B.: A terminological knowledge representation system with complete inference algorithms. In: Proceedings of the First International Workshop on Processing Declarative Knowledge, Kaiserslautern (Germany). LNCS, vol. 572, pp. 67–85. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  5. Borgida, A., Patel-Schneider, P.F.: A semantics and complete algorithm for subsumption in the classic description logic. JAIR 1, 277–308 (1994)

    MATH  Google Scholar 

  6. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation - part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, ch. 3, vol. I, pp. 163–246. World Scientific, Singapore (1997)

    Chapter  Google Scholar 

  7. Donini, F., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. In: Proceedings of the 1991 International Conference on Knowledge Representation (KR 1991), Boston, USA (1991)

    Google Scholar 

  8. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3-4), 287–313 (1996)

    MATH  MathSciNet  Google Scholar 

  9. Kreowski, H.-J., Kuske, S.: On the interleaving semantics of transformation units—A step into GRACE. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 89–106. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  10. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. I. World Scientific, Singapur (1997)

    MATH  Google Scholar 

  11. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. AI 48(1), 1–26 (1991)

    MATH  Google Scholar 

  12. Schürr, A.: Introduction to progres, an attribute graph grammar based specification language. In: Nagl, M. (ed.) WG 1989. LNCS, vol. 411, pp. 151–165. Springer, Heidelberg (1989)

    Google Scholar 

  13. Schürr, A., Winter, A., Zündorf, A.: Progres: Language and environment. In: Rozenberg, G. (ed.) Handbook on Graph Grammars: Applications, vol. II, World Scientific, Singapore (1999)

    Google Scholar 

  14. Schuster, S.: Graphtransformation in der Wissensrepräsentation. Master’s thesis, University of Bremen (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bremen – TZI, Universitätsallee 21-23, 28359, Bremen

    Stefan Schuster

Authors
  1. Stefan Schuster
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. University of Paderborn, Warburger Straße 100, 33098, Paderborn, Germany

    Gregor Engels

  3. Department of Computer Science, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Hans-Jörg Kreowski

  4. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schuster, S. (2000). Knowledge Representation and Graph Transformation. In: Ehrig, H., Engels, G., Kreowski, HJ., Rozenberg, G. (eds) Theory and Application of Graph Transformations. TAGT 1998. Lecture Notes in Computer Science, vol 1764. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-46464-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-46464-8_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67203-6

  • Online ISBN: 978-3-540-46464-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation