This introductory guide explores the foundations of knowledge-based AI and semantic reasoning, examining two primary methods for performing reasoning in RDFox. It explains OWL 2 RL for ontological reasoning and the more expressive Datalog language that supports advanced functions like filters, aggregates, negation, and binds for solving real-world problems.
Year published: 2025