[parser] Qualified Max, Min and Exact ObjectCardinalities
[parser] Data[Min,Max,Exact]Cardinality and DataHasValue Added
[parser] ObjectHasSelf Added
[matrix] dataSomeValuesFrom and dataAllValuesFrom Added
[parser] Data[Some|All]ValuesFrom refactored
[skolemization] Code related with skolemization removed from owl2_matrix.pl
[matrix] objectComplementOf Added
[matrix] Code refactored