135 search results - page 5 / 27 » Temporal Description Logics: A Survey |
104
click to vote
OTM
2007
Springer
15 years 5 months ago
2007
Springer
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
111
click to vote
APIN
2002
14 years 11 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
104
click to vote
AIM
2005
14 years 11 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...
DLOG
2008
15 years 2 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
114
click to vote
REX
1991
15 years 3 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...