Package-based Description Logics (P-DL) is a novel formalism for modular ontologies. In P-DL, an ontology is composed of a collection of modules called packages. A package can partially reuse knowledge in other packages by a selective importing mechanism.
