Reasoning with Concrete Domains

Carsten Lutz
1999 International Joint Conference on Artificial Intelligence  
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 effi
more » ... cient algorithms have not been developed. This pa per closes the gap by providing a tight bound for the complexity of reasoning with concrete domains and presenting optimal algorithms.
dblp:conf/ijcai/Lutz99 fatcat:tvakkuirozcl5bodayvansxfie