BLOGIC. (ISWC 2009 Invited Talk)
•Download as PPT, PDF•
22 likes•5,176 views
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)
Recommended
More Related Content
What's hot
What's hot (20)
Viewers also liked
Similar to BLOGIC. (ISWC 2009 Invited Talk)
Similar to BLOGIC. (ISWC 2009 Invited Talk) (20)
Recently uploaded
Recently uploaded (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.