480 search results - page 1 / 96 » Introducing Temporal Description Logics |
TIME
1999
IEEE
13 years 10 months ago
1999
IEEE
DLOG
2003
13 years 7 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
FTDCS
2004
IEEE
13 years 9 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
TIME
2007
IEEE
14 years 18 hour 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...
BIRTHDAY
2009
Springer
14 years 16 days ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...