Searched defs:is (Results 1 - 5 of 5) sorted by relevance

/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex21 \subsection{Each OWL DL-File is one Named Spec}
24 the named spec is put into a file/CASL library that contains
35 two nodes: food and wine where wine is an extension of
37 abstract syntax like this is not possible. There can be
53 But is every named theory (spec) an OWL DL-file? [Yes, unless we
56 for parametrised specifications? [Yes. Till] [This is not very
57 useful. As there is no notion of parametrisation in OWL DL these
60 [The reulting theory is just a loose theory, which may be useful
65 abbrev for the disambiguation when an imported ontology is extended)
73 only once. This even applies if an OWL DL file is no
[all...]
/hets/MMT/
H A Dhets-mmt-standalone.jar ... .Properties properties String props java.io.InputStream is java.util.Enumeration _enum String key int i ...
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 22 milliseconds