272 search results - page 11 / 55 » Paraconsistent Reasoning for Expressive and Tractable Descri... |
230
click to vote
ICCBR
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
228
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
151
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
175
click to vote
DLOG
2007
15 years 8 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
178
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing op...