1285 search results - page 40 / 257 » Description Logic Reasoner: System Description |
TIME
2008
IEEE
15 years 6 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
123
click to vote
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
AAAI
2008
15 years 2 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
109
click to vote
DLOG
2006
15 years 1 months ago
2006
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
KR
1998
Springer
15 years 4 months ago
1998
Springer