BLOGIC. (ISWC 2009 Invited Talk)
•Transferir como PPT, PDF•
22 gostaram•5,176 visualizações
Video of the talk will be available soon.
![BLOGIC ,[object Object],ISWC 2009](https://image.slidesharecdn.com/iswc2009pathayes-091028162812-phpapp01/85/BLOGIC-ISWC-2009-Invited-Talk-1-320.jpg)
![Web Logic = Blogic ,[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recomendados
Mais conteúdo relacionado
Mais procurados
Mais procurados (20)
Destaque
Semelhante a BLOGIC. (ISWC 2009 Invited Talk)
Semelhante a BLOGIC. (ISWC 2009 Invited Talk) (20)
Último
Último (20)
BLOGIC. (ISWC 2009 Invited Talk)
- 7. Web portability Some Logic Stuff Some other Logic Stuff Entails The same Logic Stuff but somewhere else Entails HTTP HTTP The same other Logic Stuff but somewhere else This diagram should always commute:
- 8. Web portability :Married rdf:type :ConjugalRelation :Jill :Married :Jack :Married rdf:type :ConjugalRelation :Jill :Married :Jack HTTP _:x rdf:type :ConjugalRelation :Jill _:x :Jack Entails
- 33. Abbreviations may not be very easy to read, but they work. aaa rdfs:range bbb . ==>> %not[ _:x _:y _:x aaa _:y . %not[ _:y rdf:type bbb . %]] aaa is bbb owl:allValuesFrom ccc . ==>> %not[ _:x _:y _:x rdf:type aaa . _:x bbb _:y . %not[ _:y rdf:type ccc . %]] %not[ _:x %not[ _:y _:x bbb _:y . %not[ _:y rdf:type ccc . %]] %not[ _:x rdf:type aaa . %]]
- 35. A bigger base for the layer cake. Some of RIF is outside normal logic. SPARQL is a law unto itself. The rest is (revized) RDF with syntactic sugar and restrictions.