A Connection-based Reasoner for the ALC Description Logic

Detalhes bibliográficos
Autor(a) principal: DIMAS LUIZ DIOGO DE MELO FILHO
Data de Publicação: 2015
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3512738
id BRCRIS_efaa2223e23cb61ac0f5128dd1b49c3c
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv A Connection-based Reasoner for the ALC Description Logic
title A Connection-based Reasoner for the ALC Description Logic
spellingShingle A Connection-based Reasoner for the ALC Description Logic
Ontologias, Raciocínio Automático, Método de Conexões, Cálculo de Conexões, Lógicas de Descrição, ALC.
Automatic Reasoning, Ontologies, Connection Method, Connection Calculus, Description Logics, ALC.
DIMAS LUIZ DIOGO DE MELO FILHO
title_short A Connection-based Reasoner for the ALC Description Logic
title_full A Connection-based Reasoner for the ALC Description Logic
title_fullStr A Connection-based Reasoner for the ALC Description Logic
A Connection-based Reasoner for the ALC Description Logic
title_full_unstemmed A Connection-based Reasoner for the ALC Description Logic
A Connection-based Reasoner for the ALC Description Logic
title_sort A Connection-based Reasoner for the ALC Description Logic
topic Ontologias, Raciocínio Automático, Método de Conexões, Cálculo de Conexões, Lógicas de Descrição, ALC.
Automatic Reasoning, Ontologies, Connection Method, Connection Calculus, Description Logics, ALC.
publishDate 2015
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3512738
author_role author
author DIMAS LUIZ DIOGO DE MELO FILHO
author_facet DIMAS LUIZ DIOGO DE MELO FILHO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2953884966446679
dc.contributor.advisor1.fl_str_mv Frederico Luiz Gonçalves Freitas
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6195215666638965
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
instname_str UNIVERSIDADE FEDERAL DE PERNAMBUCO
dc.publisher.program.fl_str_mv CIÊNCIAS DA COMPUTAÇÃO
dc.description.course.none.fl_txt_mv CIÊNCIAS DA COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESA Connection-based Reasoner for the ALC Description LogicA Connection-based Reasoner for the ALC Description LogicA Connection-based Reasoner for the ALC Description LogicA Connection-based Reasoner for the ALC Description LogicA Connection-based Reasoner for the ALC Description LogicA Connection-based Reasoner for the ALC Description LogicA Connection-based Reasoner for the ALC Description LogicOntologias, Raciocínio Automático, Método de Conexões, Cálculo de Conexões, Lógicas de Descrição, ALC.2015masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=3512738authorDIMAS LUIZ DIOGO DE MELO FILHOhttp://lattes.cnpq.br/2953884966446679Frederico Luiz Gonçalves Freitashttp://lattes.cnpq.br/6195215666638965UNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOCIÊNCIAS DA COMPUTAÇÃOCIÊNCIAS DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv FILHO, DIMAS LUIZ DIOGO DE MELO. A Connection-based Reasoner for the ALC Description Logic. 2015. Tese.
dc.identifier.citation.fl_str_mv FILHO, DIMAS LUIZ DIOGO DE MELO. A Connection-based Reasoner for the ALC Description Logic. 2015. Tese.
_version_ 1741890965091647488

Registros relacionados