Skip to main content
SpringerLink
Log in
Book cover

Modern Trends and Techniques in Computer Science pp 455–465Cite as

Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 285))

Abstract

The aim describes the idea of graph-based representation of clauses. This approach follows the Richards idea of graph-based clausal form knowledge representation. Moreover, it enabled to build up the graph-based formal system GCFL (Graph-based Clausal Form Logic) that cannot only illustrate knowledge bases graphically, but also allows us to obtain consequents of a knowledge base in a special graph-based way. The article continues the idea by creation of a graph-based formal system of generating revisable theories following the known Reiter’s default principle of building non-monotonic theories.

This is a preview of subscription content, 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   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.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

Learn about institutional subscriptions

References

  1. Hamilton, A.G.: Logic for Mathematicians. Cambridge University Press, Cambridge (1978). ISBN 0-521-21838-1

    MATH  Google Scholar 

  2. Baader, F., et al.: The Description Logic Handbook—Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003). ISBN 0-521-78176-0

    MATH  Google Scholar 

  3. Richards, T., et al.: Clausal form Logic: An Introduction to the Logic of Computer Programming. Addison Wesley, Reading (1989). ISBN 978-0201129205

    MATH  Google Scholar 

  4. Quillian, M.R.: Semantic memory. In: Minsky, M. (ed.) Semantic Information Processing, pp. 27–70. MIT Press, MA (1968)

    Google Scholar 

  5. Sowa, J. F.: Conceptual graph (Online), 2005 (Citation: 20.12.2013). http://www.jfsowa.com/cg/index.htm

  6. Harmelen, F., Lifschitz, V., Porter, B. (eds.): Conceptual Graphs, Handbook of Knowledge Representation, pp. 213–237. Elsevier, Amsterdam (2008)

    Google Scholar 

  7. Lukasová, A., Vajgl, M., Žáček, M.: Reasoning in RDF graphic formal system with quantifiers. In: Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 67–72 (2010)

    Google Scholar 

  8. Hustadt, U.: Do we need the closed world assumption in knowledge representation? In: Proceedings of 1st Work-shop KRDB’94, Reasoning about Structured Objects: Knowledge Representation Meets Databases. Saarbrücken, Germany (1994)

    Google Scholar 

  9. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. pp. 995–1072. Elsevier, Amsterdam (1995)

    Google Scholar 

  10. Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  11. Lukasová, A., Žáček, M., Vajgl, M.: Reasoning in graph-based clausal form logic. IJCSI Int. J. Comput. Sci. Issues 9(Issue 1, No 3), 37–43 (2012). ISSN (Online) 1694-0814

    Google Scholar 

Download references

Acknowledgments

The research described here has been financially supported by University of Ostrava grant SGS/PřF/2014. Any opinions, findings and conclusions or recommendations expressed in this material are those of the authors and do not reflect the views of the sponsors.

Author information

Authors and Affiliations

  1. Department of Computers and Informatics, University of Ostrava, Ostrava, Czech Republic

    Alena Lukasová, Martin Žáček & Marek Vajgl

Authors
  1. Alena Lukasová
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Žáček
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marek Vajgl
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Žáček .

Editor information

Editors and Affiliations

  1. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Radek Silhavy

  2. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Roman Senkerik

  3. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Zuzana Kominkova Oplatkova

  4. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Petr Silhavy

  5. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Zdenka Prokopova

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Lukasová, A., Žáček, M., Vajgl, M. (2014). Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF. In: Silhavy, R., Senkerik, R., Oplatkova, Z., Silhavy, P., Prokopova, Z. (eds) Modern Trends and Techniques in Computer Science. Advances in Intelligent Systems and Computing, vol 285. Springer, Cham. https://doi.org/10.1007/978-3-319-06740-7_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06740-7_38

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06739-1

  • Online ISBN: 978-3-319-06740-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation