Lines Matching defs:an
25 only this named spec? Till] [No, if you parse an OWL DL file the
28 between Hets and an external parser much easier. So we generate a
35 two nodes: food and wine where wine is an extension of
36 food. \emph{while writing this I recognized that splitting an
53 But is every named theory (spec) an OWL DL-file? [Yes, unless we
65 abbrev for the disambiguation when an imported ontology is extended)
72 parser will parse each URI pointing to an OWL file importes or not
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}
148 if this is an predicate Identifier obtained from an
150 \item Namespace abbrevs are added as prefix to the Identifier with an
174 this means providing a declaration and an application annotation for
208 Each named spec that should be transformed to an OWL DL file must get
209 an URI and file path. The URI is used as the base URI of the xml (owl)
296 [But this can be implemented as an easy restriction on signature