482 search results - page 10 / 97 » Expressive probabilistic description logics |
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
ECSQARU
2005
Springer
15 years 5 months ago
2005
Springer
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
109
click to vote
RR
2010
Springer
14 years 10 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
15 years 1 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 ...