O'Reilly logo

A Librarian's Guide to Graphs, Data and the Semantic Web by James Powell

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

7

Inferencing, reasoning, and rules

By virtue of the fact that a graph defines things and their relationships to one another, it is possible to follow paths in a graph or compare entities and their connections, to deduce, or infer, knowledge that isn’t explicitly represented. Humans do this all the time but are barely aware of it most of the time. The Semantic Web embraces and facilitates computational reasoning over triples because ontologies are defined based on the formal branch of mathematics called first order logic. Every graph segment represents a statement of fact, which is called an axiom. Logic provides a formalized language for specifying the implications of statements and for evaluating a series of statements to determine new knowledge ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required