53 search results - page 1 / 11 » Consistency Checking for Extended Description Logics |
DLOG
2008
13 years 7 months ago
2008
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
IEEESCC
2007
IEEE
13 years 11 months ago
2007
IEEE
DLOG
2009
13 years 2 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
DLOG
2006
13 years 6 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
LPAR
2007
Springer
13 years 11 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...