74 search results - page 1 / 15 » An Algorithm for Adapting Cases Represented in an Expressive... |
ICCBR
2010
Springer
13 years 8 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 ...
ER
2006
Springer
13 years 8 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
OWLED
2008
13 years 6 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
KR
1998
Springer
13 years 9 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...
RR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...