search

SmartDataAnalytics / DL-Learner

A tool for supervised Machine Learning in OWL and Description Logics
http://dl-learner.org
GNU General Public License v3.0
152 stars 34 forks source link

Avoid extensionally meaningless usage of unions #3

Open LorenzBuehmann opened 9 years ago

LorenzBuehmann commented 9 years ago

Adding unions in class expression like

r some (A or B or ...) (A or B or ...)

should be pruned resp. avoided if they do not have any extensional impact.