Searched defs:one (Results 1 - 3 of 3) sorted by relevance
/hets/CASL_DL/doc/ | ||
H A D | CASL_DL-Notes.tex | 21 \subsection{Each OWL DL-File is one Named Spec} 39 one theory in Hets and we have to split such a theory back into 49 to do so and use that one. 54 have a way to distingiush several named specs with one OWL DL file, 89 flattened into a set of named theories each resulting into one OWL 107 [don't know which one is better. Till] [Extendenting FORMULA seems 126 [I vote for 1. Perhaps having only one DL spec per library 130 imports become integrated into one abstract syntax. Klaus] 239 compound id with exactly one compound and two arguments: (1) a 282 ``literals'' in one o [all...] |
/hets/CASL/Termination/ | ||
H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
/hets/OWL2/java/lib/ | ||
H A D | trove4j-3.0.3.jar | META-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ... |
Completed in 40 milliseconds