Searched refs:cyclic (Results 1 - 4 of 4) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java45 private static Boolean cyclic = false; field in class:OWL2Parser
153 if (cyclic) {
277 if (cyclic || next.contains(imported)) {
278 cyclic = true;
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex30 handles cyclic imports as it does not read a known OWL DL file
69 cyclic imports are not supported, unless the theories
70 are not really cyclic. Till]
/hets/HasCASL/doc/
H A DStaticAna.tex173 trivial cyclic subtype relation.
/hets/doc/
H A DUserGuideCommonLogic.tex806 specification. Hets cannot currently handle cyclic imports. If you really need
875 file (including the translation file, if the relation uses one). Note that is is possible to use cyclic relations in \Hets. Only the cyclic

Completed in 679 milliseconds