-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
82 lines (72 loc) · 3.79 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
<!DOCTYPE html>
<html>
<head>
<link rel="stylesheet" href="reset.css">
<link rel="stylesheet" href="index.css">
<title>MAC0499</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
</head>
<body>
<div class="header">
<h1 class="titulo tfs">Trabalho de Formatura Supervisionado (MAC0499)</h1>
<ul class="menu">
<li class="item">
<a href="Proposta/proposta.pdf">Proposta</a>
</li>
<li class="item">
<a href="Monografia/monografia.pdf">Monografia</a>
</li>
<li class="item">
<a href="https://github.com/lsflp/ontology-repair">Implementação</a>
</li>
<li class="item">
<a href="Poster/poster.pdf">Pôster</a>
</li>
<li class="item">
<a href="https://github.com/lsflp/MAC0499">Github</a>
</li>
</ul>
</div>
<div class="content">
<h2 class="titulo">Revisão de crenças em lógica de descrição</h2>
<div class="resumo degrade">
<h3 class="titulo">Resumo</h3>
<p>
As lógicas de descrição, que são sublinguagens da lógica de primeira ordem, têm vários usos. Um deles é a construção de ontologias.
Ontologias são sistemas usados para representar algum conhecimento de algum domínio, como saúde ou cinema, por exemplo.
Elas são baseadas em classes, propriedades das classes e relações entre elas.
</p>
<p>
Pode acontecer, em algum dado momento, que a inclusão de algum novo conhecimento torne a base de dados já existente inconsistente,
ou seja o novo conhecimento entra em conflito com algum que já estava lá. Nestes casos, é preciso reparar a ontologia,
restaurando a consistência. Técnicas de revisão de crenças podem ser usadas para isso.
</p>
<p>
Um sistema utilizado para definir e usar ontologias é o Protégé. É possível definir as classes, axiomas e relações. Com o
auxílio de plug-ins, é possível fazer inferências e até encontrar as inconsistências. Para esse trabalho, deseja-se estudar
sobre Revisão de Crenças e desenvolver um plug-in para o Protégé que faça o reparo de uma ontologia que fique inconsistente.
</p>
</div>
<div class="aluno degrade">
<h3 class="titulo">Aluno</h3>
<a href="https://github.com/lsflp">Luís Felipe de M. C. Silva</a>
</div>
<div class="supervisora degrade">
<h3 class="titulo">Supervisora</h3>
<a href="http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4795401A3">Prof.ª Dra. Renata Wassermann</a>
</div>
<div class="cronograma degrade">
<h3 class="titulo">Cronograma</h3>
<ol>
<li>1. Seleção bibliográfica - Maio</li>
<li>2. Estudos de plug-ins para o Protégé - Maio</li>
<li>3. Descrição e Aplicação desse material - Junho e julho</li>
<li>4. Implementação - Agosto e setembro</li>
<li>5. Análise e Discussão dos resultados - Outubro</li>
<li>6. Escrita da Monografia - Maio até novembro</li>
</ol>
</div>
</div>
</body>
</html>