Negation as failure

Negation-as-failure is a construct in Logic that allows us to make deductions based on information that is not explicitly given. Datalog rules can be extended with Negation-as-failure.

‍

Related Fundamentals

What is a rule?

What kind of rules can I write in RDFox?

What is a graph model?

What is materialisation?

Back to Glossary

From the blog

With no barrier to entry, remarkable knowledge, and apparent creativity, more and more people are relying on ChatGPT to answer their most pressing questions.
ChatGPT’s ‘Snow White’ Problem: The Danger of Common Knowledge
RDFox v6.0 is here and it’s a big one! This release is landmarked by ground-breaking features including the new high availability setup and a total reimagining of the handling of named graphs. These features alone offer the opportunity for truly cutting-edge solutions, but when combined with the myriad of other improvements and the blistering capabilities of RDFox already in place, they allow you to step ahead of the curve.
What’s New in RDFox v6.0? High Availability, Enhanced Named Graph Support, and so much more!
Accurately planning a build is one of the biggest challenges facing the construction industry, particularly considering the increasing complexity of buildings and the range of disciplines required in the process (structural, electrical, landscaping, etc.). Project data is often kept in different silos and it is difficult to create an integrated and interoperable information flow across all stages of the process.
NIRAS and RDFox, Constructing Solutions with Knowledge Graphs and Reasoning

High performance knowledge graph and semantic reasoning engine.

Free TrialDocumentationRequest Demo