3244 search results - page 110 / 649 » Extensions to Description Logics |
216
click to vote
JAR
2010
15 years 1 months ago
2010
The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between differe...
176
click to vote
DLOG
2001
15 years 7 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...