2414 search results - page 253 / 483 » Reasoning Support for OWL-E |
157
click to vote
ISMB
1994
15 years 8 months ago
1994
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...
212
click to vote
UAI
2007
15 years 8 months ago
2007
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
196
click to vote
BIS
2009
15 years 7 months ago
2009
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...
183
Voted
CRIWG
2009
15 years 7 months ago
2009
Intensive research and development has been conducted in the design and creation of groupware systems for distributed users. While for some activities, these groupware tools are wi...
170
click to vote
IANDC
2008
15 years 6 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...