2381 search results - page 14 / 477 » On Ordering Descriptions in a Description Logic |
104
click to vote
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
114
click to vote
ENTCS
2006
14 years 11 months ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
CADE
2001
Springer
16 years 1 days 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...
101
click to vote
DLOG
1998
15 years 1 months ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
