BLOGIC. (ISWC 2009 Invited Talk)
•Descargar como PPT, PDF•
22 recomendaciones•5,165 vistas
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
Más contenido relacionado
La actualidad más candente
La actualidad más candente (20)
Destacado
Similar a BLOGIC. (ISWC 2009 Invited Talk)
Similar 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.