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

[ICO]NameLast modifiedSizeDescription

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