English

CIn - Centro de Informática UFPE




Eventos Relacionados

Defesa de Dissertação de Mestrado Nº 1.410: "leanCoR: a lean Connection-based DL Reasoner"

O aluno Adriano Silva Tavares de Melo irá defender seu trabalho dia 20 de agosto, às 10h, no Auditório Início: 20/08/2014 às 10:00 Término: 20/08/2014 às 12:00 Local: Auditório do CIn

Pós-Graduação em Ciência da Computação - UFPE
Defesa de Dissertação de Mestrado Nº 1.410
 
Aluno: Adriano Silva Tavares de Melo
Orientador: Prof.  Frederico Luiz Gonçalves de Freitas
Título: leanCoR: a lean Connection-based DL Reasoner
Data: 20/8/2014
Hora/Local: 10h – Auditório do CIn
Banca Examinadora:
Prof. Anjolina Grisi de Oliveira (UFPE / CIn)
Prof. José M. Parente de Oliveira (ITA / Departamento de Engenharia de Software)
Prof. Frederico Luiz Gonçalves de Freitas (UFPE / CIn)
 
RESUMO:
 
Semantic Web technologies are a set of languages standardized by the World Wide Web Consortium (W3C) and designed to create a web of knowledge and data that can be processed by machines. One of the core languages of the Semantic Web is the Web Ontology Language (OWL). This language is based on a knowledge representation formalism for authoring ontologies or knowledge bases, Description Logic (DL). DL encompasses a family of logics composed of decidable fragments of first-order logic.
In this work, we present leanCoR, a new description logic reasoner that implements the connection method as well as optimization techniques for DL. leanCoR is an extension of leanCoP, a compact automated theorem prover for classical first-order logic. This dissertation brings the system description of the reasoner and an update on the attempt of using the connection method to infer over description logic.
 
Palavras-chave: OWL Reasoner, DL Reasoner, OWL, Description Logics, Connection Method 
  • © Centro de Informática UFPE - Todos os direitos reservados
    Tel +55 81 2126.8430 - Cidade Universitária - 50740-560 - Recife/PE
Plano4 Consultoria Web