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

/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex18 complete OWL DL logic (node) of Hets. Clearly the development of
19 \CASLDL and OWL DL support in Hets must be closely coupled.
21 \subsection{Each OWL DL-File is one Named Spec}
23 [and when translating to CASL-DL,
25 only this named spec? Till] [No, if you parse an OWL DL file the
30 handles cyclic imports as it does not read a known OWL DL file
47 \item Name derived from URI of the OWL DL-File.
48 \item Ontologies in OWL DL can be named. We should encourage people
50 \item (Given as annotation to the Ontology in the OWL DL-File.)
53 But is every named theory (spec) an OWL DL
[all...]

Completed in 35 milliseconds