Towards Understanding Reasoning Complexity in Practice

Martín-Recuerda Moyano, Francisco y Walther, Dirk (2011). Towards Understanding Reasoning Complexity in Practice. En: "23rd Benelux Conference on Artificial Intelligence", 03/11/2011 - 04/11/2011, Ghent, Belgica. pp. 144-151.

Descripción

Título: Towards Understanding Reasoning Complexity in Practice
Autor/es:
  • Martín-Recuerda Moyano, Francisco
  • Walther, Dirk
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 23rd Benelux Conference on Artificial Intelligence
Fechas del Evento: 03/11/2011 - 04/11/2011
Lugar del Evento: Ghent, Belgica
Título del Libro: Proceedings of the 23rd Benelux Conference on Artificial Intelligence
Fecha: 2011
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
Pdf - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (214kB) | Vista Previa

Resumen

Although the computational complexity of the logic underlying the standard OWL 2 for the Web Ontology Language (OWL) appears discouraging for real applications, several contributions have shown that reasoning with OWL ontologies is feasible in practice. It turns out that reasoning in practice is often far less complex than is suggested by the established theoretical complexity bound, which reflects the worstcase scenario. State-of-the reasoners like FACT++, HERMIT, PELLET and RACER have demonstrated that, even with fairly expressive fragments of OWL 2, acceptable performances can be achieved. However, it is still not well understood why reasoning is feasible in practice and it is rather unclear how to study this problem. In this paper, we suggest first steps that in our opinion could lead to a better understanding of practical complexity. We also provide and discuss some initial empirical results with HERMIT on prominent ontologies

Más información

ID de Registro: 13503
Identificador DC: http://oa.upm.es/13503/
Identificador OAI: oai:oa.upm.es:13503
Depositado por: Memoria Investigacion
Depositado el: 22 Nov 2012 11:18
Ultima Modificación: 21 Abr 2016 12:49
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM