1285 search results - page 51 / 257 » Description Logic Reasoner: System Description |
119
click to vote
DLOG
2009
14 years 11 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
159
click to vote
JAR
2010
14 years 8 months ago
2010
The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between differe...
118
click to vote
AIM
2005
15 years 1 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
141
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
132
click to vote
AISC
1998
Springer
15 years 5 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...