413 search results - page 1 / 83 » Decidable Reasoning in Terminological Knowledge Representati... |
IJCAI
1993
13 years 6 months ago
1993
KR
1992
Springer
13 years 9 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
13 years 11 months ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
DLOG
1997
13 years 6 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
AAAI
1992
13 years 6 months ago
1992
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...