Download Representação do conhecimento e modelagem conceitual de

Transcript
68
Os axiomas na ontologia especificam a definição dos termos da
ontologia e restringem a sua interpretação; são definidos em
sentenças
de
primeira-ordem
utilizando
predicados
[...]
Simplesmente propor um conjunto de objetos sozinhos, ou
propor um conjunto de termos em lógica de primeira-ordem, não
constitui uma ontologia. Axiomas devem existir para definir a
semântica, ou significado, destes termos (GRUNINGER e FOX,
1995)
Instâncias – são a materialização de uma classe. Enquanto classes definem coisas
genéricas, instâncias de uma determinada classe representam indivíduos específicos daquela
classe. Um exemplo de instância da classe InstituiçãoPolítica poderia ser Câmara dos
Deputados:
através da classe a ontologia sabe que ela é uma instituição política e através da
instância sabe qual instituição especificamente se trata, diferenciando-a das outras
instituições.
2.3.3 Linguagens e esquemas
Revendo o conjunto de especificações para a web semântica (seção 5.1.4), tem-se que
da sua arquitetura fazem parte as seguintes tecnologias para a representação dos recursos
(BERNERS-LEE, 2001): camada de sintaxe (XML/XMLSchema), camada de dados
(RDF/RDF Schema), camada de ontologias (OWL), camada de lógica e camada de inferência.
Vimos que por si só os metadados são insuficientes para a construção da web semântica.
Para que sejam codificados e manipulados por agentes, é necessário ir além da análise
sintática dos dados e criar uma estrutura semântica que descreva formalmente os significados
subjacentes aos conteúdos que representam. As linguagens de representação do conhecimento
tomam para si esta tarefa.
Formalização dos significados em RDF
Significados podem ser expressos através de RDF – Resource Description Framework.
A ideia do RDF é descrever dados por meio de um esquema de “triplas” de recursopropriedade-valor – ou sujeito-predicado-objeto –, expressas em sentenças escritas em XML
(SOUZA e ALVARENGA, 2004). Em RDF, um documento pode fazer asserções do tipo:
alguma coisa (pessoa, objeto, acontecimento) tem propriedade (participou de, tem relação)
com certo valor (outra pessoa, outro objeto).