In the broad spectrum of Semantic reasoner, we find endless perspectives, approaches and interpretations that invite us to immerse ourselves in its richness and complexity. Throughout history, Semantic reasoner has played a fundamental role in people's lives, influencing the way we relate, think and create. From its origins to its impact on today's society, Semantic reasoner has been the object of study, admiration and debate, generating endless reflections and arguments that seek to understand and value its importance. In this article, we will explore different facets of Semantic reasoner, exploring its meaning, evolution and relevance in our world today.
Piece of software able to infer logical consequences from a set of asserted facts or axioms
Cwm, a forward-chaining reasoner used for querying, checking, transforming and filtering information. Its core language is RDF, extended to include rules, and it uses RDF/XML or N3 serializations as required.
Drools, a forward-chaining inference-based rules engine which uses an enhanced implementation of the Rete algorithm.
Evrete, a forward-chaining Java rule engine that uses the Rete algorithm and is compliant with the Java Rule Engine API (JSR 94).
Flora-2, an object-oriented, rule-based knowledge-representation and reasoning system.
Jena, an open-source semantic-web framework for Java which includes a number of different semantic-reasoning modules.
OWLSharp, a lightweight and friendly .NET library for realizing intelligent Semantic Web applications.
NRules a forward-chaining inference-based rules engine implemented in C# which uses an enhanced implementation of the Rete algorithm
Prova, a semantic-web rule engine which supports data integration via SPARQL queries and type systems (RDFS, OWL ontologies as type system).
DIP, Defeasible-Inference Platform (DIP) is an Web Ontology Language reasoner and Protégé desktop plugin for representing and reasoning with defeasible subsumption. It implements a Preferential entailment style of reasoning that reduces to "classical entailment" i.e., without the need to modify the underlying decision procedure.
S-LOR (Sensor-based Linked Open Rules) is a rule-based reasoning engine and an approach for sharing and reusing interoperable rules to deduce meaningful knowledge from sensor measurements.
^Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari (2008). Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference. Springer Science & Business Media. p. 42. ISBN9780387768724.
^Britz, K. and Varzinczak, I., (2018). Rationality and context in defeasible subsumption. In International Symposium on Foundations of Information and Knowledge Systems (pp. 114-132). Springer, Cham.