Skip to main content
SpringerLink
Log in

Modularized Knowledge Bases Using Contexts, Conglomerates and a Query Language

  • Chapter
  • First Online:
Book cover Intelligent Tools for Building a Scientific Information Platform

Part of the book series: Studies in Computational Intelligence ((SCI,volume 390))

Abstract

The paper presents a novel approach to design and development of a modularized knowledge base. It is assumed that the knowledge base consists of a terminology (axioms) and a world description (assertions), both formulated in a Description Logics (DL) dialect. The approach is oriented towards decomposition of a knowledge base into logical components called contexts and further into semantic components called conglomerates. Both notions were elaborated separately elsewhere. The paper shows how contexts and conglomerates concepts can work in harmony to create a maintainable knowledge base. An architecture of a system that conforms to this approach, which additionally uses a query language called KQL (Knowledge Query Language), is presented. The approach is intended to be used to build a prototypical system that aims at integrating knowledge on cultural heritage coming from digital libraries, including user-defined libraries. The thorough discussion of related work is also given.

This work is partially supported by the Polish National Centre for Research and Development (NCBiR) under Grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program: ,,Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: Description Logic Handbook. Cambridge University Press (2002)

    Google Scholar 

  2. OWL 2 Web Ontology Language Document Overview, W3C Recommendation, October 27 (2009), http://www.w3.org/TR/owl2-overview/

  3. SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission, May 21 (2004), http://www.w3.org/Submission/SWRL/

  4. Goczyła, K., Waloszek, A., Waloszek, W.: Contextualization of a DL knowledge base. In: Proceedings of the 20th International Workshop on Description DL 2007, Brixen/Bressanone, Italy, pp. 291–299 (2007)

    Google Scholar 

  5. Goczyła, K., Waloszek, A., Waloszek, W.: Algebra of ontology modules for semantic agents. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS (LNAI), vol. 5796, pp. 492–503. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  6. Goczyła, K., Piotrowski, P., Waloszek, A., Waloszek, W., Zawadzka, T.: Terminological and Assertional Queries in KQL Knowledge Access Language. In: Pan, J.-S., Chen, S.-M., Nguyen, N.T. (eds.) ICCCI 2010. LNCS, vol. 6423, pp. 102–111. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  7. Goczyła, K., Grabowska, T., Waloszek, W., Zawadzki, M.: The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies. In: Wiedermann, J., Tel, G., Pokorný, J., Bieliková, M., Štuller, J. (eds.) SOFSEM 2006. LNCS, vol. 3831, pp. 293–302. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. CIDOC Conceptual Reference Model (CRM), http://www.cidoc-crm.org/

  9. Dublin Core Metadata Element Set, Version 1.1, http://dublincore.org/documents/dces/

  10. Haase, P., Hitzler, P., Rudolph, S., Qi, G.: D3.1.1 Context Languages—State of the Art. The NeOn project deliverable (2006)

    Google Scholar 

  11. Garson, J.W.: Modal Logic for Philosophers. Cambridge University Press (2006)

    Google Scholar 

  12. Kaplan, D.: On the Logic of Demonstratives. Journal of Philosophical Logic (8), 81–98 (1978)

    Google Scholar 

  13. McCarthy, J.: Notes on Formalizing Context. In: Proceedings of IJCAI 1993, pp. 562–555. Morgan Kaufmann (1993)

    Google Scholar 

  14. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1), 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  15. Ghidini, C., Giunchiglia, F.: Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  16. Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 153–184. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  17. Kutz, O., Wolter, F., Zakharyaschev, M.: Connecting abstract description systems. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning 2002, pp. 215–226. Morgan Kaufmann (2002)

    Google Scholar 

  18. Mitra, P.: An Algebraic Framework for the Interoperation of Ontologies. PhD thesis, Stanford (2004)

    Google Scholar 

  19. Mitra, P., Wiederhold, G.: An Ontology-Composition Algebra. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 93–113. Springer, Heidelberg (2004)

    Google Scholar 

  20. d’Aquin, M.: D1.1.3 NeOn Formalisms for Modularization: Syntax, Semantics, Algebra. The NeOn project deliverable (2008)

    Google Scholar 

  21. d’Aquin, M.: D1.1.4 NeOn Formalisms for Modularization: Implementation and Evaluation. The NeOn project deliverable (2008)

    Google Scholar 

  22. Prud’hommeaux, E.: SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/

  23. Bechhofer, S.: The DIG Descritption Logic Interface: DIG/1.1. University of Manchester (2003)

    Google Scholar 

  24. DIG 2.0: The DIG Description Logic Interface. DIG Working Group Note (September 2006), http://dig.cs.manchester.ac.uk/

  25. Fikes, R., Hayes, P., Horrocks, I.: OWL-QL—A Language for Deductive Query Answering on the Semantic Web. Knowledge Systems Laboratory, Stanford University, Stanford (2003)

    Google Scholar 

  26. RacerPro User’s Guide, http://www.racer-systems.com/products/racerpro/manual.phtml

  27. Kubias, A., Schenk, S., Staab, S.: SAIQL Query Engine - Querying OWL Theories for Ontology Extraction. In: OWLED 2007 OWL: Experiences and Directions Third International Workshop (2007)

    Google Scholar 

  28. Goczyła, K., Waloszek, A., Waloszek, W.: A Semantic Algebra for Modularized Description Logics Knowledge Bases. In: Grau, B.C. (ed.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford (2009)

    Google Scholar 

  29. Goczyła, K., Zawadzka, T., Zawadzki, M.: Managing Data from Heterogeneous data Sources using Knowledge Layer, Software Engineering Techiques: Design for Quality. In: Sacha, K. (red.) IFIP International Federation for Information Processing. 227, pp. 300–312. Springer, Boston (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gdansk University of Technology, Gdansk, Poland

    Krzysztof Goczyła, Aleksander Waloszek, Wojciech Waloszek & Teresa Zawadzka

Authors
  1. Krzysztof Goczyła
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Aleksander Waloszek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wojciech Waloszek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Teresa Zawadzka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Krzysztof Goczyła .

Editor information

Editors and Affiliations

  1. Institute of Computer Science, Faculty of Electronics and Information, Warsaw University of Technology, Ul. Nowowiejska 15/19, Warsaw, 00-665, Poland

    Robert Bembenik

  2. Institute of Computer Science, Faculty of Electronics and Information, Warsaw University of Technology, Ul. Nowowiejska 15/19, Warsaw, 00-665, Poland

    Lukasz Skonieczny

  3. Institute of Computer Science, Faculty of Computer Science and, Warsaw University of Technology, ul. Zolnierska 49, Warsaw, 00-665, Poland

    Henryk Rybiński

  4. , Interdisciplinary Centre for Mathematica, University of Warsaw, Ul. Pawińskiego 5a, Warsaw, 02-106, Poland

    Marek Niezgodka

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag GmbH Berlin Heidelberg

About this chapter

Cite this chapter

Goczyła, K., Waloszek, A., Waloszek, W., Zawadzka, T. (2012). Modularized Knowledge Bases Using Contexts, Conglomerates and a Query Language. In: Bembenik, R., Skonieczny, L., Rybiński, H., Niezgodka, M. (eds) Intelligent Tools for Building a Scientific Information Platform. Studies in Computational Intelligence, vol 390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24809-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24809-2_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24808-5

  • Online ISBN: 978-3-642-24809-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation