dice-group / Ontolearn

Ontolearn is an open-source software library for explainable structured machine learning in Python. It learns OWL class expressions from positive and negative examples.
https://ontolearn-docs-dice-group.netlify.app/index.html
MIT License
39 stars 9 forks source link

OWLObjectSomeValuesFrom(OWLDataComplementOf implementation in DL-Learner buggy? #150

Closed SimonBin closed 3 years ago

SimonBin commented 3 years ago

1) An existential class expression DataSomeValuesFrom ( DPE DR ) contains all those individuals that are connected by DPE to literal lt, such that lt is in DR 2) A complement data range DataComplementOf( DR ) contains all tuples of literals that are not contained in the data range DR. 3) A class expression of the form DataAllValuesFrom( DPE DR ) can be seen as a syntactic shortcut for the class expression DataMaxCardinality( 0 DPE DataComplementOf( DR ) ).

Found by @LukasBluebaum