2302 search results - page 17 / 461 » Basic Description Logics |
CADE
1999
Springer
14 years 22 days ago
1999
Springer
DLOG
2001
13 years 9 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 ...
ICCAD
1996
IEEE
14 years 18 days 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...
DLOG
2003
13 years 9 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...
CADE
2010
Springer
13 years 9 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...