482 search results - page 10 / 97 » Expressive probabilistic description logics |
ECSQARU
2007
Springer
14 years 3 months ago
2007
Springer
ECSQARU
2005
Springer
14 years 2 months ago
2005
Springer
FOIKS
2008
Springer
13 years 10 months ago
2008
Springer
RR
2010
Springer
13 years 7 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
DLOG
2001
13 years 10 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 ...