Escolar Documentos
Profissional Documentos
Cultura Documentos
Fernando Ostuni Gauthier gauthier@inf.ufsc.br Departamento de Informtica e Estatstica Universidade Federal de Santa Catarina
http://www.inf.ufsc.br/~gauthier
RDF permite que sujeito e objeto troquem de posio: criador(http://www.inf.ufsc.br/~gauthier, Fernando Gauthier) cargo(Fernando Gauthier, Professor Adjunto) Para representar as triplas formalmente, em linguagem compreensvel pela mquina, RDF utiliza o XML.
1.2.4 Literais
O literais so utilizados em RDF para identificar valores como nmeros e datas por meio de uma representao lxica. Os literais podem ser o objeto de uma declarao RDF, mas no o sujeito ou o predicado. Os literais podem ser plain ou tipados. Os literais plain so strings combinadas com tag opcionais da linguagem, j os tipados so strings cominadas com uma URI de tipo de dados.Exemplo de literal tipado: <xsd:boolean, "true">
podem ser equivalentes a um predicado com dois argumentos da lgica de predicados. Criador Sujeito http://www.inf.ufsc.br/~gauthier Objeto Fernando Gauthier
Tanto banco de dados relacionais, como a lgica de primeira ordem permitem relaes ou predicados com mais de duas entidades. Este tipo de relao ou predicado tem que ser decomposto para representa-lo como uma tripla RDF. Uma forma simples de fazer esta decomposio introduzir um n em branco no grafo correspondente a linha (base de dados relacional) e uma nova tripla para cada clula da linha. O sujeito da tripa o n em branco, o predicado e dado pelo nome da coluna e o objeto corresponde ao valor da clula. O mesmo se aplica para predicados da lgica de primeira ordem com mais de um argumento.
1.2.7 Entailment
Uma expresso RDF A e dita que entail outra expresso RDF b se todos os possveis estados das coisas no mundo que fazem A verdadeira tambm fazer B verdadeira. O seja se A provada como verdadeira ento B pode ser inferida como verdadeira.
<rdf:Description about=" http://www.inf.ufsc.br/~gauthier"> <Criador> <rdf:Description rdf:about="mailto:gauthier@inf.ufsc.br"> <TrabalhaCom rdf:resource="mailto:nassar@inf.ufsc.br"/> </rdf:Description> </Criador> </rdf:Description>
Bag responde por um grupo de recursos ou literais onde a ordem no interessa assim como podem existir repeties Seq responde por seqncias que representam listas ordenadas. Como no anterior permite repeties Alt responde por alternativas que so listas de recursos ou literais das quais a propriedade pode usar somente um valor.
1.5 RDFSchema
RDFSchema introduz primitivas bsicas que permitem falar de classes, subclasses, domnio e restries de valores das propriedades no contexto da web. Permitem aos desenvolvedores definir um vocabulrio bsico para dados RDF e especificar o tipo de objetos aos quais se aplicam esses atributos. O RDFS proporciona um mecanismo de tipagem bsica para modelos RDF, utilizando termos definidos como: Class, subPropertyof e subclassof. Os objetos RDF podem ser definidos como instncias de uma ou mais classes usando a propriedade type. rdfs:Resource Todas as coisas descritas por RDF so recursos (resources) e so instncias da classe rdfs:resource. Esta a classe raiz de todas as outras que so subclasses desta (http://www.w3.org/TR/rdf-schema/#ch_resource) . rdfs:Class Esta e a classe dos recursos que so Classes RDF (http://www.w3.org/TR/rdf-schema/#ch_class) rdfs:Literal Esta a classe dos valores literais,valores de propriedades como strings e inteiros so exemplos de rdfs:literals e podem se tipados ou no. Os valorres tipados so instancias da lcasse datatype. rdfs:Literal uma instancia de rdfs:Classe uma sublcasse de rdfs:Resource. rdf:Property a classe das propriedades herdada de RDF e uma instncia de rdfs:class. rdfs:subClassOf A propriedade rdfs:subClassOf uma instncia de rdf:Property usada para declarar que todas as instncias de uma classe so instncias de oura. Mais definies e especificaes podem ser encontradas em
http://www.w3.org/TR/rdf-schema/.
RDFS podem ser vistos como uma linguagem para descrever conhecimento bem simples, mas existem muitos tipos de conhecimentos que no podem ser expressos nesta linguagem. Por exemplo: afirmar que cada livro tem um nico ttulo e pelo menos um autor, afirmar que um livro tem que ter capa dura ou capa normal. Assim, para expressar o conhecimento necessrio ao desenvolvimento de uma web semntica se faz necessrio desenvolver uma linguagem mais poderosa, o que feito na prxima camada: Vocabulrio para Ontologia.