<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:wx="http://ilps.science.uva.nl/WikiXML/wx" xml:lang="pt" lang="pt">
<head>
<title>Lógicas de Descrição</title>
<meta name="wx_namespace" content="0"/>
<meta name="wx_pagename" content="Lógicas_de_Descrição"/>
<meta name="wx_page_id" content="600103"/>
</head>
<body>
<div id="wx_article">
<wx:section level="1" title="Lógicas de Descrição" id="wxsec1"><h1 class="pagetitle" id="wx1">Lógicas de Descrição</h1>

<p id="wx2"><b id="wx3">Lógicas de Descrição</b> (DL) é uma família de formalismos para <a href="/wpt/Representa%C3%A7%C3%A3o_de_conhecimento" title="Representação de conhecimento" wx:linktype="known" wx:pagename="Representação_de_conhecimento" wx:page_id="600108" id="wx4">representar conhecimento</a> que pode ser usada para representar <a href="/wpt/Taxonomia" title="Taxonomia" wx:linktype="known" wx:pagename="Taxonomia" wx:page_id="1820" id="wx5">taxonomias</a> de um domínio formalmente. Lógicas de descrição, por um lado possuem uma <a href="/wpt/Sintaxe" title="Sintaxe" wx:linktype="known" wx:pagename="Sintaxe" wx:page_id="58684" id="wx6">sintaxe</a> boa para descrever conceitos, por outro lado possuem uma <a href="/wpt/Sem%C3%A2ntica" title="Semântica" wx:linktype="known" wx:pagename="Semântica" wx:page_id="1768" id="wx7">semântica</a> bem definida por uma tradução para <a href="/wpt/L%C3%B3gica_de_primeira_ordem" title="Lógica de primeira ordem" wx:linktype="known" wx:pagename="Lógica_de_primeira_ordem" wx:page_id="660396" id="wx8">lógica de primeira ordem</a>. Lógicas foram desenvolvidas como uma extensão dos <a href="/wpt/Frames" title="Frames" wx:linktype="known" wx:pagename="Frames" wx:page_id="651934" id="wx9">frames</a> e das <a href="/wpt/Redes_Sem%C3%A2nticas" title="Redes Semânticas" wx:linktype="known" wx:pagename="Redes_Semânticas" wx:page_id="62125" id="wx10">redes semânticas</a> que não possuem semântica bem-definida.</p>

<wx:template id="wx_t1" pagename="Predefinição:Esboço-informática" page_id="60400"/>
<table align="center" cellpadding="0" cellspacing="0" style="background-color: white; border: 1px solid #ccc; padding: 5px; font-size:85%;" class="noprint" id="wx11">
<tr id="wx12">
<td id="wx13"><a href="/wpt/Imagem:Crystal_Clear_app_ktalkd.png" title="" wx:linktype="image" wx:pagename="Imagem:Crystal_Clear_app_ktalkd.png" id="wx14"><img src="/wpt/Imagem:Crystal_Clear_app_ktalkd.png" alt="" width="25" id="wx15"/></a> </td>
<td id="wx16">
<p id="wx17">  <i id="wx18">Este artigo é um <a href="/wpt/Wikipedia:Esbo%C3%A7o" title="Wikipedia:Esboço" wx:linktype="known" wx:pagename="Wikipedia:Esboço" id="wx19">esboço</a> sobre <b id="wx20"><a href="/wpt/Inform%C3%A1tica" title="Informática" wx:linktype="known" wx:pagename="Informática" wx:page_id="1027" id="wx21">Informática</a></b>. Pode ajudar a Wikipédia <span class="plainlinks" id="wx22"><a href="http://wpt/wpt/index.php?title=L%C3%B3gicas_de_Descri%C3%A7%C3%A3o&amp;action=edit" class="external text" wx:linktype="external" rel="nofollow" id="wx23">expandindo-o</a></span>.</i></p>
</td>
</tr>
</table>

<wx:templateend start="wx_t1"/>
</wx:section></div>
<div id="wx_categorylinks">
<a href="/wpt/index.php?title=Especial:Categories&amp;article=L%C3%B3gicas_de_Descri%C3%A7%C3%A3o" title="Especial:Categories" wx:linktype="known" wx:pagename="Especial:Categories" id="wx24">Categorias de páginas</a>: <span dir="ltr" id="wx25"><a href="/wpt/Categoria:%21Esbo%C3%A7os_sobre_inform%C3%A1tica" title="Categoria:!Esboços sobre informática" wx:linktype="known" wx:pagename="Categoria:!Esboços_sobre_informática" wx:page_id="96230" id="wx26">!Esboços sobre informática</a></span> | <span dir="ltr" id="wx27"><a href="/wpt/Categoria:Inform%C3%A1tica" title="Categoria:Informática" wx:linktype="known" wx:pagename="Categoria:Informática" wx:page_id="15029" id="wx28">Informática</a></span> | <span dir="ltr" id="wx29"><a href="/wpt/Categoria:L%C3%B3gica" title="Categoria:Lógica" wx:linktype="known" wx:pagename="Categoria:Lógica" wx:page_id="22410" id="wx30">Lógica</a></span></div>
<div id="wx_languagelinks">
</div>
</body>
<wx:templatearguments for="wx_t1"><wx:argument name=""/></wx:templatearguments>
</html>
