Matching under side conditions in description logics

Authors:
Franz Baader;Sebastian Brandt;Ralf Küsters
Affiliations:
Theoretical Computer Science, RWTH Aachen;Theoretical Computer Science, RWTH Aachen;Institute for Computer Science and Applied Mathematics, University of Kiel
Venue:
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Year:
2001

Citing 3
Cited 3

Reasoning in description logics

Principles of knowledge representation
Matching under Side Conditions in Description Logics

Matching under Side Conditions in Description Logics
Explaining reasoning in description logics

Explaining reasoning in description logics

Bibliography

The description logic handbook
Non-standard inferences in description logics

Non-standard inferences in description logics
Reasoning in description logics: basics, extensions, and relatives

RW'07 Proceedings of the Third international summer school conference on Reasoning Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the problem of how an agent creates a discrete spatial representation from its continuous interactions with the environment. Such representation will be the minimal one that explains the experiences of the agent in the environment. In this ...