322 search results - page 8 / 65 » Practical Reasoning for Expressive Description Logics |
91
Voted
KR
1998
Springer
15 years 3 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
114
click to vote
DLOG
2007
15 years 1 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
108
click to vote
CADE
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing op...
AUSAI
1999
Springer
15 years 3 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
111
click to vote
JAIR
1998
14 years 11 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...