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 that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a ontology). 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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Bao, J., Voutsadakis, G., Slutzki, G., & Honavar, V. (2009). Package-based description logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5445 LNCS, pp. 349–371). https://doi.org/10.1007/978-3-642-01907-4_16
Mendeley helps you to discover research relevant for your work.