Abstract:
|
This report describes the reasoning services provided by the YAYA (Yet Another Yet Another) Description Logics (DL)
system. The report has two different goals: by one hand the description and formal definition of the YAYA DL concept
language and the reasoning services provided by the system; and how it fits into the DL area. And by other hand, the report
describes the way how all this has been implemented using an object oriented language (Java). The implementation part
describes only the main ideas about how the system has been designed; and it can be completed with the Javadoc generated
documentation for the different java classes. |