2302 search results - page 17 / 461 » Basic Description Logics |
82
Voted
CADE
1999
Springer
15 years 5 months ago
1999
Springer
98
Voted
DLOG
2001
15 years 2 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
78
Voted
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
128
click to vote
DLOG
2003
15 years 2 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
108
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...