Next:
Use of DL
Up:
No Title
Previous:
Other Semantic Issues
Translation to Description Logic
The translation process is currently performed manually and consists of three major steps:
Use of DL notation:
Removal of cyclic definitions:
Negation:
Volker Haarslev
Wed Jan 31 15:50:43 MET 1996
