A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento. É mais expressiva do que a lógica proposicional , mas tem problemas de decisão mais eficientes do que a lógica de predicados de primeira ordem.

LD é usada em inteligência artificial para o raciocínio formal sobre os conceitos de um domínio de aplicação (conhecido como conhecimento terminológico). É de especial importância no provimento de um formalismo lógico para ontologias e Web Semântica. A aplicação mais notável fora da ciência da informação está em informática biomédica onde LD auxilia na codificação do conhecimento médico.

Introdução A Lógica de descrição (LD) são modelos de conceitos, papéis e indivíduos, e seus relacionamentos. O conceito de modelagem fundamental de um LD é o axioma - uma lógica descritiva relacionando papéis e/ou conceitos. Esta é uma diferença fundamental do paradigma de frames onde uma especificação de frame declara e define completamente uma classe.

Nomenclatura

Diferenças de Lógica de Primeira Ordem

A comunidade da lógica de descrição usa uma terminologia diferente do que o predicado comunidade lógica de primeira ordem para noções operacionalmente equivalentes; alguns exemplos são a seguir:

+ Sinônimos LPO LD classe conceito propriedade ou predicado papel objeto indivíduo

A terminologia de Lógica de primeira ordem [LPO] na descrição da modelagem conceitual do ambiente (diagrama de representação), apesar usar a lógica de descrição na implementação.

Convenção de nomenclatura

Existem muitas variedades da Lógica de descrição e há uma convenção de nomenclatura informal, descrevendo grosseiramente os operadores autorizados. A expressividade está codificada na etiqueta para uma lógica de partida com um dos seguintes lógicas básicas: Linguagem atributiva. Esta é a linguagem base que permite: Negação Atômica (negação do conceito nomes que não aparecem no lado esquerdo de axiomas) Interseção conceitual Restrições universais Quantificação existencial limitada Quadro de linguagem de descrição de base, permite: Interseção conceitual Restrições universais Quantificação existencial limitada Restrição de papel Permite: Interseção conceitual Restrições existenciais (de quantificação existencial completa) Seguido por qualquer uma das seguintes extensões: Propriedades funcionais, um caso especial de quantificação de unicidade. Qualificação existencial completa (restrições existenciais que têm outras cargas que . União conceitual. Negação conceitual complexa. Hierarquia de funções (subpropriedades - rdfs:subPropriedadeDe). Papel complexo limitado de inclusão de axiomas; reflexividade e não reflexibilidade; papel de disjunção. Nominais. (Classes enumeradas de restrições de valor do objeto - owl:oneOf, owl:hasValue). Propriedades inversas. Restrições de cardinalidade (owl:cardinalidade, owl:maxCardinalidade), um caso especial de quantificação de contagem. Restrições qualificadas de cardinalidade (disponíveis em OWL 2, restrições de cardinalidade que têm outros preenchedores que ). Uso de propriedades de tipo de dados, os valores de dados ou tipos de dados.

Exceções

Alguns LDs canônicos que não se encaixam exatamente esta convenção são: Uma abreviação para com papéis transitivos. A sub-linguagem de , que é obtido por não permitir restrição papel. Isso é equivalente a sem negação atômica. A sub-linguagem de , que é obtido, não permitindo quantificação existencial limitada. Torna-se .

Exemplos

Como um exemplo, é uma lógica centralizada importante descrição da qual a comparação com outras variedades pode ser feita. é simplesmente com complemento de qualquer conceito permitido, e não apenas conceitos atômicos.

Um outro exemplo, a descrição lógica é a lógica além de restrições de cardinalidade estendidos e transitiva e papéis inversos. As convenções de nomenclatura não são puramente sistemática de modo que a lógica pode ser referido como e abreviaturas são feitas sempre que possível, é usado em vez do equivalente .

O editor ontológico protégé suporta . Três principais bases biomédicas de terminologia da informática, SNOMED CT, Galeno e GO, é exprimível em (com propriedades de função adicionais).

OWL 2 fornece a expressividade de , OWL-LD é baseado em , e para OWL-Lite é .

História

Lógica de descrição (LD) foi dado o seu nome atual em 1980. Antes disso ele foi chamado (por ordem cronológica): sistemas de terminologia e linguagens conceituais.

Representação do conhecimento

Quadros e redes semânticas falta semânticas (com base em lógica )formais.Franz Baader, Ian Horrocks, and Ulrike Sattler Chapter 3 Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007. LD foi introduzido pela primeira vez em Representação do Conhecimento de sistemas ( Knowledge Representation - KR) para superar essa deficiência.

O primeiro sistema de base KR-LD foi KL-ONE (por Ronald J. Brachman e Schmolze, 1985). Durante os anos 80 outros sistemas baseados em LD usando algoritmos subsunção estrutural foram desenvolvidos, incluindo KRYPTON (1983), Tear (1987), Back (1988), K-REP (1991) e clássicos (1991). Esta abordagem destaque LD com expressividade limitada, mas tem , relativamente, eficiente (tempo polinomial) raciocínio.

No início dos anos 90, introduziu um novo quadro baseado em um paradigma algorítmico que permitiu raciocínio eficiente em LD mais expressivo. Sistemas baseados em LD usando esses algoritmos -, Como KRIS (1991) - mostram desempenho aceitável de raciocínio sobre os problemas típicos de inferência mesmo embora o pior caso de complexidade já não é polinomial.

Desde meados dos anos 90, pensadores criaram com bom desempenho prático sobre LD muito expressivo, com alta complexidade no pior caso. Exemplos deste período incluem FaCt, RACER (2001), CEL (2005), e KAON 2 (2005).

Raciocinadores LD, como a FaCt, FaCt ++, RACER, DLP e Pellet, implementam o Método dos Tableaux analítico. KAON2 é implementado por meio de algoritmos que reduzem a base de SHIQ (D) o conhecimento de um programa de registro de dados disjuntivo.

Web Semântica

A DARPA Agent Markup Language (DAML) e Camada de Inferência Ontológica (Ontology Inference Layer - OIL) são linguagens ontológicas para a web semântica que podem ser vistas como variantes sintáticas de LD. Em particular, os semântica formal e raciocínio em OIL usam o LD. O DAML + OIL LD foi desenvolvida como uma submissão aIan Horrocks and Peter F. Patel-Schneider The Generation of DAML+OIL. In Proceedings of the 2001 Description Logic Workshop (LD 2001), volume 49 of CEUR <http://ceur-ws.org/>, pages 30–35, 2001. - e constituiu o ponto de partida - Consórcio World Wide Web (W3C) Grupo de Trabalho Ontologia Web.Web Ontology Working Group Charter, 2003 Em 2004, o Grupo Ontológico de Trabalho Web terminou o seu trabalho, emitindo a recomendação OWL.W3C Press Release, 2004 O projeto da OWL é baseado na família de DL com OWL LD e OWL-Lite baseadas em and respectivamente.

O Grupo de Trabalho OWL W3C começou a trabalhar em 2007 em um refinamento - e extensão - OWL.OWL Working Group Charter, 2007 Em 2009, este foi concluído mediante a emissão da recomendação owl2. Owl2 é baseado na descrição lógica . A experiência prática demonstrou que faltava na OWL LD várias características necessárias para modelar domínios complexos.

Modelagem

Em LD, é feita uma distinção entre a chamada TBox (caixa terminológica) e a ABox (caixa assercional). Em geral, o TBox contém frases que descrevem conceito e hierarquias (ou seja, as relações entre conceitos), enquanto a ABox contém sentenças básicas indicando onde na hierarquia os indivíduos pertencem (ou seja, as relações entre os indivíduos e conceitos). Por exemplo, a declaração:

(1) Cada funcionário é uma pessoa

pertence à TBox, enquanto a declaração:

(2) Bob é um empregado

pertence à ABox.

Note-se que a distinção TBox / ABox não é significativa, no mesmo sentido que os dois "tipos" de sentenças não são tratados de forma diferente em lógica de primeira ordem (que agrupa a maioria LD). Quando traduzido em lógica de primeira ordem, um axioma subsunção como (1) é simplesmente uma restrição condicional para predicados unários (conceitos) com apenas as variáveis ​​que aparecem nele. Claramente, a frase desta forma não é privilegiado ou especial sobre frases em que apenas constantes ("Grounded" valores) aparecem como (2).

Então, por que a distinção introduzida? A principal razão é que a separação pode ser útil ao descrever e formular-procedimentos de decisão para vários LD. Por exemplo, um pensador pode processar o TBox e ABox separadamente, em parte por causa de certos problemas fundamentais de inferência estão vinculados a um, mas não o outro ("classificação" está relacionada com a TBox, instância de controle à ABox). Outro exemplo é que a complexidade da TBox pode afetar grandemente o desempenho de um determinado procedimento de decisão para um certo LD, independentemente do ABox. Assim, é útil ter uma maneira de falar sobre essa parte específica da base de conhecimento.

O motivo secundário é que a distinção pode fazer sentido do ponto de vista da base da perspectiva do modulador. É plausível para distinguir entre a nossa concepção de termos / conceitos do mundo (axiomas classe na TBox) e manifestações particulares desses termos / conceitos (afirmações exemplo, no ABox). No exemplo acima: quando a hierarquia dentro de uma empresa é a mesma em todos os ramos, mas a atribuição aos funcionários é diferente em cada departamento (porque há outras pessoas que trabalham lá), faz sentido reutilizar o TBox para diferentes ramos que não fazer usar o mesmo ABox.

Há duas características de Descrição Logic que não são compartilhadas pela maioria dos outros formalismos de descrição de dados: não-LD não faz o Pressuposto de Nome original ( Unique Name Assumption - UNA) ou o Pressuposto de Mundo Fechado (Closed World Assumption - CWA). Não ter UNA significa que dois conceitos com nomes diferentes podem ser autorizados por uma inferência a ser mostrado para ser equivalentes. Não ter CWA, ou melhor, ter o Pressuposto de mundo aberto (Open World Assumption - OWA) significa que a falta de conhecimento de um fato não implica imediatamente no conhecimento da negação de um fato.

Descrição formal

Como a lógica de primeira ordem (LPO), uma sintaxe que define uma coleção de símbolos são expressões legais em uma Lógica de descrição (LD), e a semântica determinam o significado. Ao contrário do LPO, um LD pode ter diversas variantes sintáticas bem conhecidos.

Sintaxe

A sintaxe de um membro da família descrição lógica é caracterizado pela sua definição recursiva , em que os construtores que podem ser utilizados para formar termos de conceito são demonstrados. Alguns construtores estão relacionadas com construtores lógicos na lógica de primeira ordem (LPO), com a intersecção, união ou disjunção de conceitos, negação ou complemento de conceitos, a restrição universal e restrição existencial. Outros construtores não têm correspondentes obras em LPO , incluindo restrições sobre os papéis, por exemplo, inversa, transitividade e funcionalidade.

Notação Seja C e D conceitos, a e b indivíduos, e R uma função.

+ Notação convencional Símbolo Descrição Exemplo leitura ⊤ é um conceito especial com cada indivíduo como uma instância top conceito vazio bottom Intersecção ou conjunção de conceitos C e D União ou disjunção de conceitos C ou D negação ou complemento de conceitos não C Restrição universal todo R-sucessor é um C Restrição existencial Existe um R-sucessor em C Conceitos inclusos C está contido em D Conceitos equivalentes C é equivalente a D Conceitos definidos C é definido como sendo equivalente a D Conceitos afirmados a é um C Papel afirmados a está R-relacionado com b

A descrição lógica LCA