Speed up and control max covered domain complexity during CSS to SLD translation

Description

Two speed ups:

  • Check complexity of the current "covered domain" when generating exclusive rules, when in automatic mode bail out of exclusive generation when the covered domain is too complex

  • Speed up power set generation checks for excluded rules

Over complex rule sets the generation speed up is 1-2 orders of magnitude.

Environment

None

Status

Assignee

Andrea Aime

Reporter

Andrea Aime

Triage

None

Components

Fix versions

Priority

Medium
Configure