Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/96414

Título:	The YAYA description logics system: formal definition and implementation
Autor/a:	Álvarez Canal, Jordi
Otros autores:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
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.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica -YAYA -Yet Another Yet Another -Description Logics -DL -Reasoning services
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Mostrar el registro completo del ítem