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

/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex25 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 OW
[all...]

Completed in 10 milliseconds