3358 search results - page 191 / 672 » Dynamic Description Logics |
152
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
196
click to vote
CODES
2003
IEEE
16 years 11 days ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
183
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
223
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
192
click to vote
CADE
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...