Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.
Volker Haarslev, Ralf Möller · 2002
We introduce the very expressive description logic +(D) - providing a limited support for concrete domains. The description logic system Racer supports TBox and ABox reasoning for +(D) - using a default concrete domain for linear inequations. The adaptation of several important optimization techniques is presented. We conclude the paper with a first proposal for extending R +(D) - by a restricted form of feature chains.