1648 search results - page 17 / 330 » Structuring namespace descriptions |
103
click to vote
DLOG
2000
15 years 1 months ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
CORR
1998
Springer
14 years 11 months ago
1998
Springer
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
104
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...