2414 search results - page 41 / 483 » Reasoning Support for OWL-E |
ESWS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
BDA
2001
13 years 11 months ago
2001
We study the inference on the interesting association rules. Then we define the concept of the representative basis for interesting association rules extracted from a dataset D, a...
IJCAI
1989
13 years 11 months ago
1989
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...
JFP
2008
13 years 9 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...
IGPL
2007
13 years 9 months ago
2007
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...