Contributions:
2002
V. Haarslev and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 83–90, 2002.
Bibtex entry
V. Haarslev and R. Möller.
Practical Reasoning in RACER with a Concrete Domain for Linear
Inequations.
In Proceedings of the International Workshop on Description Logics
(DL-2002), Toulouse, France, April 19-21, pages 91–98, 2002.
Bibtex entry Paper (PDF)
Abstract
We introduce the very expressive description logic ALCQHIR+(D)? providing a limited support for concrete domains. The description logic system RACER supports TBox and ABox reasoning for ALCQHIR+(D)? using a default concrete domain for linear inequations. The adaptation of several important optimization techniques is presented. We conclude the paper with a Ūrst proposal for extending ALCQHIR+(D)? by a restricted form of feature chains.
A. Kaplunova, V. Haarslev, and R. Möller.
Optimization Strategies for Instance Retrieval.
In Proceedings of the International Workshop on Description Logics
(DL-2002), Toulouse, France, April 19-21, pages 45–52, 2002.
Bibtex entry