248 search results - page 12 / 50 » Checking e-service consistency using Description Logics |
66
Voted
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
EMSOFT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
116
click to vote
AAAI
1996
14 years 11 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
72
Voted
AAI
2010
14 years 9 months ago
2010
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
LREC
2008
14 years 11 months ago
2008
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...