Concept Projection in Algebras for Computing Certain Answer Descriptions.
Jeffrey Pound, David Toman, Grant Weddell, Jiewen Wu · 2009
We introduce a projection operator over concepts in a given description logic that produces least subsumers of concepts in a language fragment that satisfies additional syntactic requirements specified as a parameter of the operator. The operator complements existing operators for concept selection and concept ordering