Connecting Abstract Description Systems

Abstract

Combining knowledge representation and reasoning formalisms like description logics (DLs), temporal logics, and logics of space, is worthwhile but difficult. It is worthwhile because usually realistic application domains comprise various aspects of the world, thus requiring suitable combinations of formalisms modeling each of these aspects. It is difficult… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Kutz2002ConnectingAD, title={Connecting Abstract Description Systems}, author={Oliver Kutz and Frank Wolter and Michael Zakharyaschev}, booktitle={KR}, year={2002} }