Enviar pesquisa
Carregar
Protégé: Lógica de descrições na pratica!
•
Transferir como KEY, PDF
•
0 gostou
•
1,121 visualizações
Adriano Melo
Seguir
Aula para mostrar alguns constructos de lógica de descrições usando o Protégé.
Leia menos
Leia mais
Tecnologia
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 22
Baixar agora
Recomendados
The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog).
Aula sobre SWRL
Aula sobre SWRL
Adriano Melo
A apresentação lista alguns teoremas usados na formulação do axioma da escolha definido por Zermelo em 1908.
O axioma da escolha (the axiom of choice) - incomplete
O axioma da escolha (the axiom of choice) - incomplete
Adriano Melo
Semantic Web technologies are a set of languages standardized by the World Wide Web Consortium (W3C) and designed to create a web of data that can be processed by machines. One of the core languages of the Semantic Web is Web Ontology Language (OWL), a family of knowledge representation languages for authoring ontologies or knowledge bases. The newest OWL is based on Description Logics (DL), a family of logics that are decidable fragments of first-order logic. leanCoR is a new description logic reasoner designed for experimenting with the new connection method algorithms and optimization techniques for DL. leanCoR is an extension of leanCoP, a compact automated theorem prover for classical first-order logic.
leanCoR: lean Connection-based DL Reasoner
leanCoR: lean Connection-based DL Reasoner
Adriano Melo
Aula básica de SWRL (aula prática)
Aula SWRL
Aula SWRL
Adriano Melo
Paulo Augusto Loncarovich Gomes – Bolsista CAPES Mestrado em Ciência da Informação e Tecnologia Fabrício Silva Assumpção – Bolsista PIBIC / CNPq Graduação em Biblioteconomia Jaider Andrade Ferreira – Bolsista GPNTI Graduação em Biblioteconomia Grupo de Pesquisa Novas Tecnologias em Informação (GP-NTI) Unesp – Faculdade de Filosofia e Ciências, Campus de Marília Apresentado em 14 de maio de 2009. Disponível em: http://www.gpnti.net.br/docs/logica_descritiva.pdf
Lógica Descritiva
Lógica Descritiva
Jaider Andrade Ferreira
Construção de ontologia com protégé owl
Construção de ontologia com protégé owl
Andréa Bordin
Mini-curso de Linux na CPRecife2
Mini-curso de Linux na CPRecife2
Adriano Melo
FISL14 - Desmontando uma engine de física
FISL14 - Desmontando uma engine de física
Adriano Melo
Recomendados
The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog).
Aula sobre SWRL
Aula sobre SWRL
Adriano Melo
A apresentação lista alguns teoremas usados na formulação do axioma da escolha definido por Zermelo em 1908.
O axioma da escolha (the axiom of choice) - incomplete
O axioma da escolha (the axiom of choice) - incomplete
Adriano Melo
Semantic Web technologies are a set of languages standardized by the World Wide Web Consortium (W3C) and designed to create a web of data that can be processed by machines. One of the core languages of the Semantic Web is Web Ontology Language (OWL), a family of knowledge representation languages for authoring ontologies or knowledge bases. The newest OWL is based on Description Logics (DL), a family of logics that are decidable fragments of first-order logic. leanCoR is a new description logic reasoner designed for experimenting with the new connection method algorithms and optimization techniques for DL. leanCoR is an extension of leanCoP, a compact automated theorem prover for classical first-order logic.
leanCoR: lean Connection-based DL Reasoner
leanCoR: lean Connection-based DL Reasoner
Adriano Melo
Aula básica de SWRL (aula prática)
Aula SWRL
Aula SWRL
Adriano Melo
Paulo Augusto Loncarovich Gomes – Bolsista CAPES Mestrado em Ciência da Informação e Tecnologia Fabrício Silva Assumpção – Bolsista PIBIC / CNPq Graduação em Biblioteconomia Jaider Andrade Ferreira – Bolsista GPNTI Graduação em Biblioteconomia Grupo de Pesquisa Novas Tecnologias em Informação (GP-NTI) Unesp – Faculdade de Filosofia e Ciências, Campus de Marília Apresentado em 14 de maio de 2009. Disponível em: http://www.gpnti.net.br/docs/logica_descritiva.pdf
Lógica Descritiva
Lógica Descritiva
Jaider Andrade Ferreira
Construção de ontologia com protégé owl
Construção de ontologia com protégé owl
Andréa Bordin
Mini-curso de Linux na CPRecife2
Mini-curso de Linux na CPRecife2
Adriano Melo
FISL14 - Desmontando uma engine de física
FISL14 - Desmontando uma engine de física
Adriano Melo
Apresentação FLOSS
Apresentação FLOSS
Adriano Melo
Slides feitos para a oficina de linux básico da Campus Party Recife (27/07/2012)
Linux Desktop (Campus Party Recife)
Linux Desktop (Campus Party Recife)
Adriano Melo
A Web Semântica promete revolucionar o jeito de como as pessoas interagem na Web. Os conceitos de agentes inteligentes, serviços baseados em semântica de documentos e empresas se comunicando com empresas através de agentes baseados em regras deverão ser abundantes nesse novo cenário. Várias tecnologias estão sendo estudadas e construídas para formar uma nova infra-estrutura para a Web. Entre elas estão os elementos que formarão a camada de lógica e prova, contexto que está inserido este trabalho. Este trabalho propôe implementar parte do algoritmo do método das conexões para lógica de descrição, usado para fazer atividades de raciocínio em uma base de conhecimento. O módulo a ser implementado é a conversão dos axiomas da base de conhecimento para a forma normal positiva.
Trabalho de Graduação: Normalização de ontologias em lógica de descrições par...
Trabalho de Graduação: Normalização de ontologias em lógica de descrições par...
Adriano Melo
Mini-curso de linux básico
Mini-curso de linux básico
Adriano Melo
Palestra apresentada no I Workshop de Software LIvre do Centro de Informática http://cinlug-br.org
git 101
git 101
Adriano Melo
Trabalho de Graduação - Normalização de ontologias em lógica de descrições AL...
Trabalho de Graduação - Normalização de ontologias em lógica de descrições AL...
Adriano Melo
palestra ministrada por mim (Adriano Melo) no V encontro de software livre da paraíba (V ENSOL) - http://www.ensol.org.br
git: o primeiro passo do seu projeto de código aberto
git: o primeiro passo do seu projeto de código aberto
Adriano Melo
Mais conteúdo relacionado
Mais de Adriano Melo
Apresentação FLOSS
Apresentação FLOSS
Adriano Melo
Slides feitos para a oficina de linux básico da Campus Party Recife (27/07/2012)
Linux Desktop (Campus Party Recife)
Linux Desktop (Campus Party Recife)
Adriano Melo
A Web Semântica promete revolucionar o jeito de como as pessoas interagem na Web. Os conceitos de agentes inteligentes, serviços baseados em semântica de documentos e empresas se comunicando com empresas através de agentes baseados em regras deverão ser abundantes nesse novo cenário. Várias tecnologias estão sendo estudadas e construídas para formar uma nova infra-estrutura para a Web. Entre elas estão os elementos que formarão a camada de lógica e prova, contexto que está inserido este trabalho. Este trabalho propôe implementar parte do algoritmo do método das conexões para lógica de descrição, usado para fazer atividades de raciocínio em uma base de conhecimento. O módulo a ser implementado é a conversão dos axiomas da base de conhecimento para a forma normal positiva.
Trabalho de Graduação: Normalização de ontologias em lógica de descrições par...
Trabalho de Graduação: Normalização de ontologias em lógica de descrições par...
Adriano Melo
Mini-curso de linux básico
Mini-curso de linux básico
Adriano Melo
Palestra apresentada no I Workshop de Software LIvre do Centro de Informática http://cinlug-br.org
git 101
git 101
Adriano Melo
Trabalho de Graduação - Normalização de ontologias em lógica de descrições AL...
Trabalho de Graduação - Normalização de ontologias em lógica de descrições AL...
Adriano Melo
palestra ministrada por mim (Adriano Melo) no V encontro de software livre da paraíba (V ENSOL) - http://www.ensol.org.br
git: o primeiro passo do seu projeto de código aberto
git: o primeiro passo do seu projeto de código aberto
Adriano Melo
Mais de Adriano Melo
(7)
Apresentação FLOSS
Apresentação FLOSS
Linux Desktop (Campus Party Recife)
Linux Desktop (Campus Party Recife)
Trabalho de Graduação: Normalização de ontologias em lógica de descrições par...
Trabalho de Graduação: Normalização de ontologias em lógica de descrições par...
Mini-curso de linux básico
Mini-curso de linux básico
git 101
git 101
Trabalho de Graduação - Normalização de ontologias em lógica de descrições AL...
Trabalho de Graduação - Normalização de ontologias em lógica de descrições AL...
git: o primeiro passo do seu projeto de código aberto
git: o primeiro passo do seu projeto de código aberto
Protégé: Lógica de descrições na pratica!
1.
Protégé lógica de descrição
na prática...
2.
Editor de ontologias
Protégé 4 Raciocinador FaCT++
3.
ontologias
4.
classes indivíduos propriedades
5.
• classes •
definem os conceitos da ontologia • podem ser vistos como conjuntos • indivíduos • são as instâncias (objetos) da ontologia • propriedades • relações entre indivíduos • atributos dos indivíduos
6.
7.
restrições
8.
quantificadores cardinalidade
de valor
9.
quantificadores • existencial: o
indivíduo se relaciona pelo menos uma vez com a propriedade • universal (para todo): restringe o objeto da relação.
10.
11.
cardinalidade • quantidade máxima,
mínima e o valor exato de relações com determinada propriedade
12.
valor • cria uma
restrição com um indivíduo específico
13.
propriedades
14.
funcional funcional inversa
transitiva simétrica anti-simétrica reflexiva anti-reflexiva
15.
funcional • um dado
indivíduo só pode se relacionar a apenas um outro indivíduo por esta propriedade
16.
funcional inversa • só
pode ser relacionado apenas com um outro através da propriedade
17.
transitiva • se A
se relaciona com B e B se relaciona com C, então A se relaciona com C.
18.
simétrica • se A
se relaciona com B, então B se relaciona com A
19.
anti-simétrica • se A
se relaciona com B, então B não se relaciona com A
20.
reflexiva • uma propriedade
é dita reflexiva quando um individuo se relaciona com ele mesmo através dela
21.
anti-reflexiva • uma propriedade
é dita anti-reflexiva quando um individuo não pode se relacionar com ele mesmo através dela
22.
referências • Protégé OWL
Tutorial (Matthew Horridge) • Lógica de Descrição (Fred Freitas)
Notas do Editor
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
Baixar agora