Index of /agbkb/forschung/formal_methods/CoFI/hets/dol/reduction

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]ChurchSimpleTypeTheo..>2014-10-10 11:27 1.6K 
[   ]ECoFOLeqToECoOWL 2014-10-10 11:27 1.6K 
[   ]FOLeqToSROIQ 2014-10-10 11:27 1.5K 
[   ]FOLeqmsToPropositional 2014-10-10 11:27 1.6K 
[   ]OWL2FullToRDFS 2014-10-10 11:27 1.5K 
[   ]RDFStoRDF 2014-10-10 11:27 1.5K 
[   ]RDFtoSimpleRDF 2014-10-10 11:27 1.5K 
[   ]SROIQtoDLLiteR 2014-10-10 11:27 1.5K 
[   ]SROIQtoELplusplus 2014-10-10 11:27 1.5K 
[   ]SROIQtoOWL2RL 2014-10-10 11:27 1.5K 
[   ]SubPCFOLeqToFOLeqms 2014-10-10 11:27 1.6K