V rámci tejto knihy je čitateľ oboznámený s originálnymi výsledkami autorov na poli formálnej logiky a sémantického webu. Začína s pojmom sémantického webu, reprezentáciou znalostí formálnou logikou a postupne sa dostáva k špecifickejším témam. Autori knihy definujú základný formálny jazyk ako rozšírenú verziu jazyka zodpovedajúceho RDF modelu o kvantifikácii premenných pomocou prevodu do klauzulárnej logiky (vo forme CFL). Na báze rozšíreného RDF modelu potom zavádzajú nové deduktívne formálne systémy, a to formálny systém GRDF s pravidlom Modus Ponens a formálny systém RDF CFL disponujúci rovnako ako klauzulárna logika CFL rezolučným odvodzovacím pravidlom. Záver knihy je venovaný dotazovacímu jazyku SPARQL.