113 search results - page 2 / 23 » Revision of DL-Lite Knowledge Bases |
AAAI
2008
13 years 7 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
AIR
2006
13 years 5 months ago
2006
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches have been proposed to deal with this problem based on existi...
IJCAI
1993
13 years 6 months ago
1993
We consider the computational complexity of evaluating nested counterfactuals over a propositional knowledge base. Counterfactual implication models a statement "if p, then q...
DLOG
2008
13 years 7 months ago
2008
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
KES
1999
Springer
13 years 9 months ago
1999
Springer
