Optimization Project home page. ODB Tools
Subsumption-based tranformations of a query
- Computation of more specialized subsumer classes and of the general classes subsumed by the query.
specialization of the target class
specialization of role filler classes
individuation of classes satisfying the query
- A boolean factors introduction:
if the query is subsumed by (implies) the antecedent of a rule then the consequent of that rule can be conjuncted with the query
- boolean factors removal:
if the query minus some factors f_i is subsumed by the antecedent of a rule and the consequent of that rule is subsumed by the f_i factors then the f_i can be removed from the query