135 search results - page 2 / 27 » Temporal Description Logics: A Survey |
DLOG
2008
13 years 7 months ago
2008
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
JAIR
1998
13 years 5 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...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
FROCOS
2009
Springer
13 years 12 months ago
2009
Springer
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
TIME
2007
IEEE
13 years 11 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...