RDFS and OWL reasoning
Technique
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.
Related work
- ask.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 (ask.chaipat.cc)
The reasoner in src/reason.js gives ask.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.
In the knowledge graph
RDFS and OWL reasoning and the 3 things it is linked to. Open any dot for its page, or explore it in the full graph.
As data
Everything on this page is read from triples in the knowledge graph. These are the 7 it states about RDFS and OWL reasoning, and 1 more its ontology implies; the console runs SPARQL over the whole graph, here in your browser.
@prefix id: <https://ask.chaipat.cc/id/> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix cj: <https://ask.chaipat.cc/ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix skos: <http://www.w3.org/2004/02/skos/core#> . @prefix schema: <https://schema.org/> . id:OntologyReasoning a cj:Technique ; rdfs:label "RDFS and OWL reasoning" ; skos:altLabel "RDFS and OWL reasoning" , "OWL reasoning" , "RDFS reasoning" , "reasoner" ; schema:sameAs <https://en.wikipedia.org/wiki/Semantic_reasoner> .