46 search results - page 10 / 10 » Requirements engineering for home care technology |
FOIKS
2006
Springer
13 years 8 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...