Abstract
The paper presents the approach aimed at building modularized knowledge bases in a systematic, context-aware way. The paper focuses on logical modeling of such knowledge bases, including an underlying SIM metamodel. The architecture of a comprehensive set of tools for knowledgebase systems engineering is presented. The tools enable an engineer to design, create and edit a knowledge base schema according to a novel context approach presented elsewhere by the authors. It is explained how a knowledge base built according to SIM (Structured-Interpretation Model) paradigm is processed by a prototypical reasoner Conglo-S, which is a custom version of widely known Pellet reasoner extended with support for modules of ontologies called tarsets (also introduced elsewhere under the name of conglomerates). The user interface of the system is a plug-in to Protégé ontology editor that is a standard tool for development of Semantic Web ontologies. Possible applications of the presented framework to development of knowledge bases for culture heritage and scientific information dissemination are also discussed.
This work has been 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 - SyNaT”.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Goczyla, K., Waloszek, A., Waloszek, W.: S-modules - Approach to Capture Semantics of Modularized DL Knowledge Bases. In: Proc. of KEOD 2009, pp. 117–122 (2009)
Goczyla, K., Waloszek, A., Waloszek, W.: A Semantic Algebra for Modularized Description Logics Knowledge Bases. In: Proc. of DL 2009. CEUR-WS, vol. 477 (2009)
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., Waloszek, A., Waloszek, W., Zawadzka, T.: 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 Scient. Info. Plat. SCI, vol. 390, pp. 179–201. Springer, Heidelberg (2012)
Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of IJCAI 2007, pp. 453–459 (2007)
Goczyla, K., Waloszek, A., Waloszek, W.: Contextualization of a DL knowledge base. In: Proc. of DL 2007, pp. 291–299 (2007)
Goczyla, K., Waloszek, A., Waloszek, W.: Hierarchical partitioning of ontology space into contexts (in Polish). In: Kozielski, S., Małysiak, B., Kasprowski, P., Mrozek, D. (eds.) Bazy Danych. Nowe Technologie - Architektura, Metody Formalne i Zaawansowana Analiza Danych, pp. 247–260. Wydawnictwa Komunikacji i Łączności, Warszawa (2007)
Waloszek, A.: Hierarchical contextualization of Knowledge Bases (in Polish). Doctoral dissertation, Gdańsk University of Technology (2010)
Pellet: OWL 2 Reasoner for Java, http://clarkparsia.com/pellet
Goczyla, K., Waloszek, A., Waloszek, W.: A Semantic Algebra for Modularized Description Logics Knowledge Bases. In: Proc. of DL 2009, pp. 1–12 (2009)
The OWL API, http://owlapi.sourceforge.net
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics 5(2), 51–53 (2007)
Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Bookshelf (2007)
Bovet, J.: ANTLR Works: The ANTLR GUI Development Environment, http://www.antrl.org/works (accessed June 11, 2012)
Mazurek, C., Sielski, K., Stroiński, M., Walkowska, J., Werla, M., Węglarz, J.: Transforming a Flat Metadata Schema to a Semantic Web Ontology: The Polish Digital Libraries Federation and CIDOC CRM Case Study. In: Bembenik, R., Skonieczny, L., Rybiński, H., Niezgodka, M. (eds.) Intelligent Tools for Building a Scient. Info. Plat. SCI, vol. 390, pp. 153–177. Springer, Heidelberg (2012)
About YADDA, http://yaddainfo.icm.edu.pl (accessed June 11, 2012)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial Intelligence 156(1), 1–73 (2004)
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)
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular Reuse of Ontologies: Theory and Practice. J. of Artificial Intelligence Research (JAIR) 31, 273–318 (2008)
Mitra, P., Wiederhold, G.: An Ontology-Composition Algebra. In: Handbook on Ontologies, pp. 171–216. Springer (2004)
Goczyla, K., Waloszek, A., Waloszek, W., Zawadzka, T.: Analysis of Mapping within S-module Framework. In: International Conference on Knowledge Engineering and Ontology Development, KEOD 2011 (2011)
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, Part III. LNCS(LNAI), vol. 6423, pp. 102–111. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Goczyła, K., Waloszek, A., Waloszek, W., Zawadzka, T. (2013). Theoretical and Architectural Framework for Contextual Modular Knowledge Bases. In: Bembenik, R., Skonieczny, L., Rybinski, H., Kryszkiewicz, M., Niezgodka, M. (eds) Intelligent Tools for Building a Scientific Information Platform. Studies in Computational Intelligence, vol 467. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35647-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-35647-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35646-9
Online ISBN: 978-3-642-35647-6
eBook Packages: EngineeringEngineering (R0)