Skip to content

Commit

Permalink
Merge branch 'base-merge-drop' into dev
Browse files Browse the repository at this point in the history
  • Loading branch information
matentzn committed Mar 2, 2024
2 parents 04668ae + e708054 commit 3c63180
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions odk/odk.py
Original file line number Diff line number Diff line change
Expand Up @@ -335,8 +335,8 @@ class ImportGroup(ProductGroup):
use_base_merging: bool = False
"""If set to true, mirrors will be merged before determining a suitable seed. This can be a quite costly process."""

base_merge_drop_equivalent_class_axioms: bool = True
"""If set to true, equivalent class axioms will be removed before extracting a module with the base-merging process."""
base_merge_drop_equivalent_class_axioms: bool = False
"""If set to true, equivalent class axioms will be removed before extracting a module with the base-merging process. Do not activate this feature unless you are positive that your base merging process only leverages true base files, with asserted subclass axioms."""

exclude_iri_patterns: Optional[List[str]] = None
"""List of IRI patterns. If set, IRIs matching and IRI pattern will be removed from the import."""
Expand Down

0 comments on commit 3c63180

Please sign in to comment.