Improved Prediction of Heuristic Configuration for Queue Priority on FaCt++ Semantic Reasoner

Vista sencilla de ítem
dc.contributor.advisorEscobar-Vega, Luis M.
dc.contributor.authorGonzález-Álvarez, Juan J.
dc.date.accessioned2021-11-05T19:08:36Z
dc.date.available2021-11-05T19:08:36Z
dc.date.issued2021-07
dc.descriptionWith the adoption of the semantic web, interest in technologies and theory about formalizing the representation of knowledge, and automated reasoning has increased. Ontologies are concrete instances of knowledge representation and logical reasoners play an important role during the creation of ontologies, since they can find logical errors during design. One of these logical reasoners is FaCt++, which implements an optimized analytical tableaux algorithm. The specific implementation of tableaux in FaCt++ includes a set of priority queues to handle and expand the different operators that can be found during reasoning, these queues have an order for applying the different operators, which in this work will be referred as priority configurations. It was proved by the authors of FaCt++ that there is not a single priority configuration that has the best performance for all types of ontologies. Recently it was suggested that machine learning models can be successfully applied to find the best heuristic for every specific ontology. In this work is presented the process to build a machine learning model to find the best priority configuration for every ontology in detail. The model proposed in this work uses fewer features than the one shown previously and creates a simpler model with similar or better accuracy on the resulting classification.es_MX
dc.description.sponsorshipITESO, A. C.es
dc.identifier.citationGonzález-Álvarez, J. J. (2021). Improved Prediction of Heuristic Configuration for Queue Priority on FaCt++ Semantic Reasoner. Trabajo de obtención de grado, Maestría en Sistemas Computacionales. Tlaquepaque, Jalisco: ITESO.es_MX
dc.identifier.urihttps://hdl.handle.net/11117/7633
dc.language.isoenges_MX
dc.publisherITESOes_MX
dc.rights.urihttp://quijote.biblio.iteso.mx/licencias/CC-BY-NC-2.5-MX.pdfes_MX
dc.subjectSemantic Reasoneres_MX
dc.subjectOntologyes_MX
dc.subjectFaCt++es_MX
dc.subjectOwles_MX
dc.subjectMachine Learninges_MX
dc.titleImproved Prediction of Heuristic Configuration for Queue Priority on FaCt++ Semantic Reasoneres_MX
dc.typeinfo:eu-repo/semantics/masterThesises_MX
dc.type.versioninfo:eu-repo/semantics/acceptedVersiones_MX

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Improvement_of_prediction_of_heuristic_configuration_for_queue_priority_on_factpp_semantic_reasoner.pdf
Tamaño:
889.23 KB
Formato:
Adobe Portable Document Format
Descripción:
Final version TOG
Descargar

Colecciones

DESI - Trabajos de fin de Maestría en Sistemas Computacionales