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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]SubPCFOLeq 2014-10-10 11:27 3.5K 
[   ]SROIQ 2014-10-10 11:27 11K 
[   ]RelationalSchema 2014-10-10 11:27 1.7K 
[   ]RDFS 2014-10-10 11:27 4.7K 
[DIR]RDF/ 2014-10-10 11:27 -  
[   ]Propositional 2014-10-10 11:27 5.8K 
[   ]OBOOWL 2014-10-10 11:27 2.3K 
[   ]FOLeqms 2014-10-10 11:27 5.1K 
[   ]FOLeq 2014-10-10 11:27 9.2K 
[   ]FOL 2014-10-10 11:27 1.2K 
[   ]F-logic 2014-10-10 11:27 2.5K 
[   ]ELplusplus 2014-10-10 11:27 3.8K 
[   ]ECoOWL 2014-10-10 11:27 3.5K 
[   ]ECoFOLeq 2014-10-10 11:27 3.0K 
[   ]DLLiteR 2014-10-10 11:27 2.5K 
[   ]DDLOWL 2014-10-10 11:27 2.3K 
[DIR]CommonLogic/ 2014-10-10 11:27 -  
[   ]ChurchSimpleTypeTheory 2014-10-10 11:27 1.7K 
[DIR]OWL2/ 2014-10-10 10:38 -