opencaesar / owl-adapter

The OML adapter for OWL
Apache License 2.0
0 stars 2 forks source link

[BUG] - CloseDescriptionBundle should not assert a max cardinality constraint for relations that can be inferred #43

Closed NicolasRouquette closed 3 years ago

NicolasRouquette commented 3 years ago

Description

A clear and concise description of what the bug is.

Currently, CloseDescriptionBundleToOwl derives a max cardinality constraint for all entities that have a restricted relation of one of two kinds:

Unfortunately, this derived max cardinality constraint is too strong in case where the restricted relaiton is inferred via a SWRL rule becase the derived max cardinality constraint is based on link or relation instances only.

The solution is to improve the calculation of entities with restricted relations to exclude relations that are derived via a SWRL rule.

Steps to Reproduce

Steps to reproduce the behavior:

Expected Behavior

A clear and concise description of what should be the expected behavior.

Additional Context

Enter any other details such as dependencies, environment, examples, etc.

Relevant screenshots

If applicable, add screenshots to help illustrate the issue.