A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Description logics are formalisms for the represen tation of and reasoning about conceptual knowl edge on an abstract level. Concrete domains allow the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals, or spatial regions. The importance of this combined approach, especially for building real-world applications, is widely accepted. How ever, the complexity of reasoning with concrete do mains has never been formally analyzed and effidblp:conf/ijcai/Lutz99 fatcat:tvakkuirozcl5bodayvansxfie