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 
[ ]FOLeqmsToFOLeq 2014-10-10 11:27 1.6K 
[ ]FOLeqmsToSubPCFOLeq 2014-10-10 11:27 1.8K 
[ ]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 
[ ]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 
[ ]SimpleRDFtoFOLeq 2014-10-10 11:27 1.7K 
[ ]SimpleRDFtoRDF 2014-10-10 11:27 1.8K 
[ ]SimpleRDFtoSROIQ 2014-10-10 11:27 1.5K 
[ ]SROIQtoFOLeq 2014-10-10 11:27 1.6K 
[ ]SROIQtoOWL2Full 2014-10-10 11:27 1.5K 
[ ]SubPCFOLeqToChurchSi..>2014-10-10 11:27 1.9K