Making the Difference: A Subtraction Operation for Description Logics

We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the information contained in another description. We define the operation independently of a specific description logic. Then we consider its implementation in several specific logics. Finally we describe practical applications of the operation.

• Type: Conference
• Year: 1994
• Where: KR
• Authors: Gunnar Teege
• Keywords: Automated Reasoning, Description Logic, Difference Operation, KR 1994, Subtraction Operation