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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]CLWithoutSequencesTo..>2014-10-10 11:27 1.7K 
[   ]CLWithoutSequencesTo..>2014-10-10 11:27 1.6K 
[   ]CommonLogicToCASL 2014-10-10 11:27 962  
[   ]CommonLogicToSubPCFOLeq2014-10-10 11:27 1.7K 
[   ]DDLOWLtoECoOWL 2014-10-10 11:27 1.7K 
[   ]DLLiteRtoSROIQ 2014-10-10 11:27 1.8K 
[   ]ECoFOLeqToFOLeqms 2014-10-10 11:27 1.7K 
[   ]ECoOWLtoECoFOLeq 2014-10-10 11:27 1.8K 
[   ]ECoOWLtoSROIQ 2014-10-10 11:27 1.7K 
[   ]ELplusplusToOBOOWL 2014-10-10 11:27 1.2K 
[   ]ELplusplusToSROIQ 2014-10-10 11:27 1.8K 
[   ]F-logicToFOLeq 2014-10-10 11:27 1.7K 
[   ]FOLeqToCLWithoutSequ..>2014-10-10 11:27 1.5K 
[   ]FOLeqToCommonLogic 2014-10-10 11:27 1.5K 
[   ]FOLeqToECoFOLeq 2014-10-10 11:27 1.7K 
[   ]FOLeqToF-logic 2014-10-10 11:27 1.7K 
[   ]FOLeqToFOLeqms 2014-10-10 11:27 1.7K 
[   ]FOLeqmsToFOLeq 2014-10-10 11:27 1.6K 
[   ]FOLeqmsToSubPCFOLeq 2014-10-10 11:27 1.8K 
[   ]OBOOWLtoSROIQ 2014-10-10 11:27 1.7K 
[   ]OWL2FullToFOLeq 2014-10-10 11:27 1.7K 
[   ]OWL2RLtoSROIQ 2014-10-10 11:27 1.8K 
[   ]PropositionalToCommo..>2014-10-10 11:27 1.5K 
[   ]PropositionalToFOLeq 2014-10-10 11:27 1.5K 
[   ]PropositionalToFOLeqms 2014-10-10 11:27 1.8K 
[   ]PropositionalToPropo..>2014-10-10 11:27 1.3K 
[   ]PropositionalToSROIQ 2014-10-10 11:27 1.9K 
[   ]RDFStoFOLeq 2014-10-10 11:27 1.7K 
[   ]RDFStoOWL2Full 2014-10-10 11:27 1.8K 
[   ]RDFtoFOLeq 2014-10-10 11:27 1.7K 
[   ]RDFtoRDFS 2014-10-10 11:27 1.7K 
[   ]RDFtoSROIQ 2014-10-10 11:27 1.4K 
[   ]RelationalSchemaToFO..>2014-10-10 11:27 1.8K 
[   ]SATLIBtoCASL 2014-10-10 11:27 940  
[   ]SROIQtoCommonLogic 2014-10-10 11:27 1.6K 
[   ]SROIQtoDDLOWL 2014-10-10 11:27 1.7K 
[   ]SROIQtoF-logic 2014-10-10 11:27 1.3K 
[   ]SROIQtoFOLeq 2014-10-10 11:27 1.6K 
[   ]SROIQtoOWL2Full 2014-10-10 11:27 1.5K 
[   ]SimpleRDFtoFOLeq 2014-10-10 11:27 1.7K 
[   ]SimpleRDFtoRDF 2014-10-10 11:27 1.8K 
[   ]SimpleRDFtoSROIQ 2014-10-10 11:27 1.5K 
[   ]SubPCFOLeqToChurchSi..>2014-10-10 11:27 1.9K