Wiki › Technique
RDFS and OWL reasoning
Article
ReadAll pages
From Chaipat's knowledge graph
No article has been written for this page yet; it is generated from the knowledge graph.
About Semantic reasoner · from Wikipedia
A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description logic language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including non-axiomatic reasoning systems, and probabilistic logic networks.
Summary from Wikipedia ↗, CC BY-SA 4.0.
Related work
- chaipat.cc, the ask-me-anything site Key work Nov 2026
Before any question is asked, the graph is loaded and the reasoner adds what the ontology implies (see Reasoning), so every step below works on the stated facts and the inferred ones together.
- Ontology-augmented health recommendation Key work Mar 2026
It models healthcare in Thailand (diseases, symptoms, treatments, specialties, facilities and insurance) as an OWL 2 DL ontology, so a reasoner can recommend where a patient should go and what their insurance covers.
- Reasoner (chaipat.cc)
The reasoner in src/reason.js gives chaipat.cc RDFS and OWL reasoning, property chains included: when the graph loads, it applies the site's OWL ontology to the facts and adds what they imply.