2381 search results - page 151 / 477 » On Ordering Descriptions in a Description Logic |
102
Voted
DLOG
2008
15 years 4 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
100
click to vote
DLOG
2008
15 years 4 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
105
click to vote
DLOG
2008
15 years 4 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...
105
click to vote
DLOG
2003
15 years 3 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...
KI
2002
Springer
15 years 1 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...