• Aucun résultat trouvé

Le corps des réels

Dans le document Cours Maths PT (Page 47-53)

Na Web Semˆantica, as ontologias definem os conceitos e rela¸c˜oes (tamb´em conhecidos por termos) usados para descrever e representar um dom´ınio de interesse. As ontolo- gias s˜ao utilizadas para classificar os termos que poder˜ao vir a ser usados (como dom´ınio da aplica¸c˜ao) numa aplica¸c˜ao espec´ıfica, caracteriza poss´ıveis rela¸c˜oes entre eles, e define poss´ıveis restri¸c˜oes sobre como utilizar esses termos. Na pr´atica podemos ter ontolo- gias bastante complexas (com v´arios milhares de termos) ou ontologias bastante simples, comportando apenas um ou dois termos. As ontologias s˜ao as componentes b´asicas de constru¸c˜ao para as t´ecnicas de inferˆencia na Web Semˆantica.

Na Web Semˆantica, a inferˆencia pode ser interpretada como a descoberta de novas rela¸c˜oes entre os conceitos. Os dados s˜ao modelados como um conjunto de nomes de rela¸c˜oes entre recursos. A inferˆencia significa que procedimentos autom´aticos podem gerar novas rela¸c˜oes baseadas nos dados e em informa¸c˜ao adicional na forma de um conjunto de regras. Se as novas rela¸c˜oes s˜ao adicionadas ao conjunto dos dados, ou s˜ao retornadas em tempo real num question´ario, ´e uma tarefa de implementa¸c˜ao. Na Web Semˆantica, a fonte de tal informa¸c˜ao extra pode ser definida atrav´es de vocabul´arios ou de conjuntos de regras. Ambas as aproxima¸c˜oes recorrem a t´ecnicas de representa¸c˜ao do conhecimento. Em ge- ral, as ontologias concentram-se em m´etodos de classifica¸c˜ao, pondo ˆenfase na defini¸c˜ao de “classes” e “subclasses”, em como os recursos individuais podem ser associados a es- sas classes, e caracterizando as rela¸c˜oes entre as classes e suas instˆancias. A inferˆencia na Web Semˆantica ´e uma das ferramentas de escolha para promover a qualidade da integra¸c˜ao dos dados na web, atrav´es da descoberta de novas rela¸c˜oes, analisando automaticamente os conte´udos dos dados, ou gerir o conhecimento na web em geral. As t´ecnicas basea- das em inferˆencia tamb´em s˜ao importantes na descoberta de poss´ıveis inconsistˆencias na integra¸c˜ao dos dados.

O papel principal das ontologias na Web Semˆantica ´e ajudar e facilitar a integra¸c˜ao dos dados quando, por exemplo, existem ambiguidades nos termos utilizados em conjuntos de dados diferentes, ou quando um pouco de conhecimento extra pode conduzir `a des- coberta de novas rela¸c˜oes. Considere-se, por exemplo, a aplica¸c˜ao de ontologias na ´area de cuidados de sa´ude. Os profissionais m´edicos utilizam as ontologias para representar o conhecimento sobre sintomas, doen¸cas e tratamentos. As companhias farmacˆeuticas utili- zam as ontologias para representar a informa¸c˜ao sobre medicamentos, dosagem e alergias. Combinar estes dois conhecimentos com os dados dos pacientes possibilita o desenvol- vimento de toda uma gama de aplica¸c˜oes inteligentes, tais como: ferramentas de apoio `

a decis˜ao que podem pesquisar sobre poss´ıveis tratamentos; sistema que monitorizam a efic´acia dos medicamentos e poss´ıveis efeitos secund´arios; e ferramentas que suportam a in- vestiga¸c˜ao epidemiol´ogica. Outro tipo de exemplo ´e utilizar as ontologias para organizar o conhecimento. Bibliotecas, museus, jornais, portais governamentais, empresas, aplica¸c˜oes de redes sociais, e outras comunidades que gerem grandes quantidades de cole¸c˜oes de li- vros, artefactos hist´oricos, not´ıcias, gloss´arios de neg´ocios, entradas de blogs, etc., podem agora utilizar os vocabul´arios, recorrendo a formalismos padr˜oes, para promover o poder

2.5. ONTOLOGY WEB LANGUAGE (OWL) 33 dos dados interligados. O tamanho e a complexidade das ontologias e suas inferˆencias dependem fortemente do prop´osito da sua cria¸c˜ao e as aplica¸c˜oes decidir˜ao se utilizam tudo ou apenas partes das representa¸c˜oes.

A adapta¸c˜ao das l´ogicas descritivas como linguagens de ontologias tem sido destacada pelo seu importante papel como base na constru¸c˜ao de v´arias linguagens web, incluindo a linguagem OWL, uma linguagem de ontologias normalizada para a Web Semˆantica desen- volvida pela W3C. A linguagem OWL tem uma sintaxe baseada em esquemas RDF, mas teve a sua origem na expressiva l´ogica descritiva SHIQ (l´ogica descritiva ALC estendida `

as restri¸c˜oes de cardinalidade, `as qualidades transitivas e inversas, onde S ´e a abreviatura para a l´ogica descritiva ALC adicionada de qualidades transitivas).

A linguagem OWL ´e utilizada para defini¸c˜ao e instancia¸c˜ao de ontologias web. Uma on- tologia OWL pode formalizar um dom´ınio, definindo classes e propriedades destas classes, definir indiv´ıduos e afirma¸c˜oes sobre eles e, usando-se a semˆantica formal OWL, especificar como derivar consequˆencias l´ogicas, i.e., factos que n˜ao est˜ao presentes na ontologia, mas s˜ao vinculados pela semˆantica.

Defini¸c˜ao 2.5.1 Uma Instˆancia ´e um objeto que corresponde `a descri¸c˜ao l´ogica de um indiv´ıduo.

Defini¸c˜ao 2.5.2 Uma Classe ´e uma cole¸c˜ao de objetos que corresponde `a descri¸c˜ao l´ogica de um conceito. Uma classe pode conter indiv´ıduos, instˆancias da classe. Uma classe pode conter qualquer n´umero de instˆancias. Uma instˆancia pode pertencer a nenhuma, uma ou mais classes. Uma classe pode ser subclasse de outra classe, herdando as caracter´ısticas da sua classe pai. Isto corresponde `a subsun¸c˜ao l´ogica e inclus˜ao de conceitos na l´ogica descritiva.

Defini¸c˜ao 2.5.3 Uma Propriedade ´e uma rela¸c˜ao bin´aria que especifica as caracter´ısticas de uma classe e que corresponde a uma regra da l´ogica descritiva. As propriedades s˜ao atributos das instˆancias e algumas vezes funcionam como valores de dados ou liga¸c˜oes para outras instˆancias. As propriedades podem possuir capacidades l´ogicas tais como tran- sitivas, sim´etricas, inversas e funcionais. As propriedades podem conter dom´ınios e con- tradom´ınios.

As propriedades dos tipos de dados s˜ao rela¸c˜oes que se estabelecem entre as instˆancias de classes e literais RDF ou tipos de dados XML.

As propriedades dos objetos s˜ao rela¸c˜oes que se estabelecem entre duas classes.

Defini¸c˜ao 2.5.4 A fam´ılia de linguagens OWL suporta v´arios operadores sobre classes, tais como uni˜ao, interse¸c˜ao e complemento. A´em disso, suporta tamb´em os operadores classes enumer´aveis, cardinalidade de classes e disjun¸c˜ao de classes.

A linguagem OWL possui trˆes sub-linguagens18 incrementais, projetadas para serem usa- das por diferentes comunidades de implementadores e utilizadores:

• OWL Lite - ´e uma sub-linguagem da OWL DL que utiliza apenas algumas carac- ter´ısticas da linguagem OWL e possui mais limita¸c˜oes do que OWL DL ou OWL Full;

• OWL DL - ´e uma linguagem com o m´aximo de expressividade: com completude (todas as conclus˜oes s˜ao garantidas serem processadas pelos computadores) e deci- dibilidade computacional (todas os processamentos terminar˜ao num tempo finito). Esta linguagem inclui todas as constru¸c˜oes da linguagem OWL, podendo ser usadas sob certas restri¸c˜oes. A sigla DL possui correspondˆencia com a l´ogica descritiva; • OWL Full - ´e uma linguagem com o m´aximo de expressividade e independente sintati-

camente da linguagem RDF. A OWL Full e a OWL DL suportam o mesmo conjunto de construtores da linguagem OWL, embora com restri¸c˜oes um pouco diferentes. Essas diferen¸cas recaem em restri¸c˜oes sobre o uso de alguns desses construtores e no uso de recursos RDF. Enquanto a OWL Full permite misturar livremente as re- gras OWL com esquemas RDF e n˜ao requer uma separa¸c˜ao estrita entre de classes, propriedades, indiv´ıduos e valores de dados, i.e., por exemplo, uma classe pode ser simultaneamente uma classe e um indiv´ıduo, a OWL DL coloca algumas condi¸c˜oes na utiliza¸c˜ao de regras OWL conjuntamente com esquemas RDF e requer a disjun¸c˜ao entre classes, propriedades, indiv´ıduos e valores de dados.

Cada uma destas sub-linguagens ´e uma extens˜ao de sua antecessora, ou seja, cada onto- logia v´alida em OWL Lite ´e uma ontologia v´alida em OWL DL, esta por sua vez ´e uma ontologia v´alida em OWL Full. Al´em disso, todo documento OWL (Lite, DL ou Full) ´e

um documento RDF e todo documento RDF ´e um documento OWL Full. No entanto,

apenas alguns documentos RDF s˜ao documentos OWL Lite ou OWL DL v´alidos.

Exemplo 2.5.1 Considere que relativamente ao conceito pizza19conseguimos estabelecer as seguintes afirma¸c˜oes:

Pizza has PizzaBase as its base. Pizza is disjoint with PizzaBase.

NonVegetarianPizza is exactly Pizza that is not VegetarianPizza. isIngredientOf is a transitive property.

isIngredientOf is inverse of hasIngredient.

A correspondente representa¸c˜ao na sintaxe da l´ogica descritiva ´e:

18

http://www.w3.org/TR/owl-features/

19

Exemplo adaptado e retirado de http://www.obitko.com/tutorials/ontologies-semantic-web/ owl-example-with-rdf-graph.html

2.5. ONTOLOGY WEB LANGUAGE (OWL) 35

Pizza v ∃ hasBase.PizzaBase Pizza u PizzaBase ≡ ⊥

NonVegetarianPizza ≡ Pizza u ¬ VegetarianPizza Tr(isIngredientOf)

isIngredientOf ≡ inverse hasIngredient

Cuja representa¸c˜ao na sintaxe OWL utiliza as identifica¸c˜oes URI para declarar todas as classes e propriedades: Namespace(p = <http://example.com/pizzas.owl#>) Ontology(<http://example.com/pizzas.owl#> Class(p:Pizza partial restriction(p:hasBase someValuesFrom(p:PizzaBase)) ) DisjointClasses(p:Pizza p:PizzaBase) Class(p:NonVegetarianPizza complete intersectionOf(p:Pizza complementOf(p:VegetarianPizza)) ) ObjectProperty(p:isIngredientOf Transitive inverseOf(p:hasIngredient)) )

Quando se converte o exemplo expresso em OWL para a representa¸c˜ao RDF, todas as declara¸c˜oes tˆem de ser transformadas para triplos:

@prefix : <http://example.com/pizzas.owl#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> . :Pizza rdfs:subClassOf [ a owl:Restriction ; owl:onProperty :hasBase ; owl:someValuesFrom :PizzaBase ] ; owl:disjointWith :PizzaBase . :NonVegetarianPizza owl:equivalentClass [ owl:intersectionOf ( [owl:complementOf :VegetarianPizza] :Pizza ) ] . :isIngredientOf

a owl:TransitiveProperty , owl:ObjectProperty ; owl:inverseOf :hasIngredient .

N

Dans le document Cours Maths PT (Page 47-53)

Documents relatifs