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:
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 . %]]
34.
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.