324 search results - page 32 / 65 » Repairing Incomplete Reasoners |
101
click to vote
KI
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
ICEIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Electrical and mechanical equipment such as gearboxes in an industrial robot or electronic circuits in an industrial printer sometimes fail to operate as intended. The faulty compo...
100
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
OWLED
2008
15 years 1 months ago
2008
Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In ...
DLOG
2010
14 years 9 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...