Searched defs:OWL (Results 1 - 2 of 2) 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}
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 D
[all...]
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 27 milliseconds