Lines Matching defs:DL
18 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-file? [Yes, unless we
54 have a way to distingiush several named specs with one OWL DL file,
55 which seems not to be the case. Till ] Do we generate OWL DL-files
57 useful. As there is no notion of parametrisation in OWL DL these
63 theories are exported to OWL DL files. [But aren't auxilary specs
71 The OWL DL
73 only once. This even applies if an OWL DL file is not loaded form
77 \subsection{Structuring an ontology inside an OWL DL-File}
78 Annotations (on the OWL DL side) can point to parts that are
90 DL file. After conversion back from spme genrated OWL DL files the
92 generated OWL DL output)
99 minCardinality[pred\_name] for translation to OWL DL. \emph{paper
117 Namespaces of different OWL DL-files need to be integrated.
126 [I vote for 1. Perhaps having only one DL spec per library
132 \subsection{Symbols in / from different OWL DL files}
134 In OWL DL files symbols are unique in terms of URIs. But in \CASLDL
137 unique. We could either use the name of the specification (OWL DL)
139 the namespace abbrevs generated by the OWL DL parser could be
141 \CASLDL and translated to OWL DL the declaration of symbols is
142 seperated into different OWL DL files if we translate a development
143 graph into a set of OWL DL files.
152 identifiers into Namespaces (different OWL DL files) is written
167 On the OWL DL side so called AnnotionProperties can be declared and
183 on the OWL DL side like ordinary other properties. And they are
186 [Sounds strange to me. But if this the way OWL DL works, we have
200 from and to OWL DL and that are used in compounds for the distinction
208 Each named spec that should be transformed to an OWL DL file must get
255 \item renamed symbols mapped to their real name (OWL DL name) with
293 CASL-DL. Till] [This complicates checking the CASL\_DL language. Every
294 renaming of the predefined OWL DL datatypes and Symbols must be