Summary
We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In particular, we describe a P-DL \({\mathcal SHOIQP}\) that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a \({\mathcal SHOIQ}\) ontology). \({\mathcal SHOIQP}\) supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bao, J., Caragea, D., Honavar, V.: A distributed tableau algorithm for package-based description logics. In: The 2nd International Workshop On Context Representation And Reasoning (CRR 2006), co-located with ECAI 2006 (2006)
Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616–631. Springer, Heidelberg (2006)
Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72–86. Springer, Heidelberg (2006)
Bao, J., Caragea, D., Honavar, V.: A tableau-based federated reasoning algorithm for modular ontologies. In: IEEE/WIC/ACM International Conference on Web Intelligence, pp. 404–410. IEEE Press, Los Alamitos (2006)
Bao, J., Slutzki, G., Honavar, V.: A semantic importing approach to knowledge reuse from multiple ontologies. In: AAAI, pp. 1304–1309 (2007)
Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package based description logics. Technical report, TR 567, Computer Science, Iowa State University (2008), http://archives.cs.iastate.edu/documents/disk0/00/00/05/67/index.html
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 34–43 (2001)
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics 1, 153–184 (2003)
Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)
Catarci, T., Lenzerini, M.: Representing and using interschema knowledge in cooperative information systems. In: CoopIS, pp. 55–62 (1993)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Ghilardi, S., Lutz, C., Wolter, F.: Did i damage my ontology? a case for conservative extensions in description logics. In: KR, pp. 187–197 (2006)
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: IJCAI, pp. 298–303 (2007)
Grau, B.C., Horrocks, I., Kutz, O., Sattler, U.: Will my ontologies fit together? In: Proc. of the 2006 Description Logic Workshop (DL 2006), vol. 189. CEUR (2006), http://ceur-ws.org/
Grau, B.C., Kutz, O.: Modular ontology languages revisited. In: Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa), co-located with IJCAI (2007)
Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620–634. Springer, Heidelberg (2004)
Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for \(\mathcal{SHOIQ}\). In: IJCAI, pp. 448–453 (2005)
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: IJCAI, pp. 453–458 (2007)
Pan, J., Serafini, L., Zhao, Y.: Semantic import: An approach for partial ontology reuse. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)
Polleres, A.: Logic programs with contextually scoped negation. In: WLP, pp. 129–136 (2006)
Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332–347. Springer, Heidelberg (2006)
Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res. (JAIR) 12, 199–217 (2000)
Tobies, S.: Complexity results and practical algorithms for logics in Knowledge Representation. Phd thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)
Zimmermann, A., Euzenat, J.: Three semantics for distributed systems and their relations with alignment composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16–29. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V. (2009). Package-Based Description Logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds) Modular Ontologies. Lecture Notes in Computer Science, vol 5445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01907-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-01907-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01906-7
Online ISBN: 978-3-642-01907-4
eBook Packages: Computer ScienceComputer Science (R0)