Corega Tabs: Mapping Semantics onto Pragmatics
Bernd Ludwig, Kerstin Bücher, Günther Görz · University of Regensburg Publication Server (University of Regensburg) · 2002
In this paper, we outline our approach to mapping domain independent semantic representations to extensional statement specific to a given application. Fur this purpose, we exploit the equivalence between Discourse Representation Structures limited to the expressiveness of ALC and ABoxes for validating DRS with respect to a given knowledge base and explain how task independent semantics representations can be specialized to a domain specific meaning. The paper concludes with some performance results and remarks on desirable features of DL reasoners not implemented up to now.