2414 search results - page 387 / 483 » Reasoning Support for OWL-E |
190
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
179
click to vote
TABLEAUX
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
177
click to vote
CD
2004
Springer
16 years 8 days ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
148
click to vote
GECCO
2004
Springer
16 years 8 days ago
2004
Springer
Traditionally, the mutation rates of genetic algorithms are fixed or decrease over the generations. Although it seems to be reasonable for classical genetic algorithms, it may not...
171
click to vote
ICAIL
2003
ACM
16 years 4 days ago
2003
ACM
In the last decades the interest in the problem of comparing and harmonizing legislation has been steadily increasing. One reason is the increasing legal convergence between gover...