2381 search results - page 163 / 477 » On Ordering Descriptions in a Description Logic |
IMPERIAL
1994
15 years 6 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
113
click to vote
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
101
click to vote
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
116
click to vote
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
116
click to vote
OWLED
2007
15 years 3 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...