2302 search results - page 160 / 461 » Basic Description Logics |
132
click to vote
DLOG
2008
15 years 6 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...
125
click to vote
DLOG
2003
15 years 5 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
114
click to vote
KI
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification an...
127
click to vote
IADIS
2003
15 years 5 months ago
2003
We sketch a theoretical framework for the construction of evaluation schemes for web sites. The framework is based on the structure quite explicitly found in mathematics, physics ...
157
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...