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”.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: Description Logic Handbook. Cambridge University Press (2002)
OWL 2 Web Ontology Language Document Overview, W3C Recommendation, October 27 (2009), http://www.w3.org/TR/owl2-overview/
SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission, May 21 (2004), http://www.w3.org/Submission/SWRL/
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)
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)
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)
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)
CIDOC Conceptual Reference Model (CRM), http://www.cidoc-crm.org/
Dublin Core Metadata Element Set, Version 1.1, http://dublincore.org/documents/dces/
Haase, P., Hitzler, P., Rudolph, S., Qi, G.: D3.1.1 Context Languages—State of the Art. The NeOn project deliverable (2006)
Garson, J.W.: Modal Logic for Philosophers. Cambridge University Press (2006)
Kaplan, D.: On the Logic of Demonstratives. Journal of Philosophical Logic (8), 81–98 (1978)
McCarthy, J.: Notes on Formalizing Context. In: Proceedings of IJCAI 1993, pp. 562–555. Morgan Kaufmann (1993)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1), 29–70 (1994)
Ghidini, C., Giunchiglia, F.: Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)
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)
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)
Mitra, P.: An Algebraic Framework for the Interoperation of Ontologies. PhD thesis, Stanford (2004)
Mitra, P., Wiederhold, G.: An Ontology-Composition Algebra. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 93–113. Springer, Heidelberg (2004)
d’Aquin, M.: D1.1.3 NeOn Formalisms for Modularization: Syntax, Semantics, Algebra. The NeOn project deliverable (2008)
d’Aquin, M.: D1.1.4 NeOn Formalisms for Modularization: Implementation and Evaluation. The NeOn project deliverable (2008)
Prud’hommeaux, E.: SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/
Bechhofer, S.: The DIG Descritption Logic Interface: DIG/1.1. University of Manchester (2003)
DIG 2.0: The DIG Description Logic Interface. DIG Working Group Note (September 2006), http://dig.cs.manchester.ac.uk/
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)
RacerPro User’s Guide, http://www.racer-systems.com/products/racerpro/manual.phtml
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)