Package-based description logics

Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

53 Scopus citations


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.

Original languageEnglish (US)
Title of host publicationModular Ontologies
Subtitle of host publicationConcepts, Theories and Techniques for Knowledge Modularization
EditorsHeiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra
Number of pages23
StatePublished - 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5445 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Package-based description logics'. Together they form a unique fingerprint.

Cite this