120
click to vote
LPAR
15 years 6 months ago
2007 Springer 
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...
100
click to vote
LPAR
15 years 6 months ago
2007 Springer 
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
105
click to vote
LPAR
15 years 6 months ago
2007 Springer 
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
108
click to vote
LPAR
15 years 6 months ago
2007 Springer 
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
LPAR
15 years 6 months ago
2007 Springer 
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
|
Automated Reasoning