9145 search results - page 1 / 1829 » Description Logic Systems |
84
Voted
CADE
2001
Springer
15 years 10 months ago
2001
Springer
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 s...
94
Voted
DLOG
1998
14 years 11 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
83
Voted
DLOG
2001
14 years 11 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 ...
75
Voted
CADE
1998
Springer
15 years 2 months ago
1998
Springer
67
Voted
CADE
2006
Springer
15 years 2 months ago
2006
Springer