cz.vse.keg.patomat2.usecase.logicalreasoning
Classes
DowngradingExperiment
OWL2ELProfileTransformation
OWL2QLProfileTransformation
OWL2RLProfileTransformation
TPquality