The YAYA description logics system: formal definition and implementation
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...
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 2000 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/96414 |
| Acceso en línea: | https://hdl.handle.net/2117/96414 |
| Access Level: | acceso abierto |
| Palabra clave: | YAYA Yet Another Yet Another Description Logics DL Reasoning services Àrees temàtiques de la UPC::Informàtica |
| Sumario: | 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. |
|---|