en.unionpedia.org

Semantic reasoner, the Glossary

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.^[1]

35 relations: Apache Jena, Apache Marmotta, Axiom, Backward chaining, Business rules engine, C Sharp (programming language), Cwm (software), Cyc, D3web, Description logic, Doxastic logic, Drools, Expert system, F-logic, First-order logic, Flora-2, Forward chaining, Inference, Inference engine, KAON, Knowledge-based systems, Logic programming, Logical consequence, Method of analytic tableaux, Ontology language, Preferential entailment, Probabilistic logic network, Protégé (software), Prova, Rete algorithm, Rule of inference, Semantic Web Rule Language, Solver, Triplestore, Web Ontology Language.
Automated reasoning
Knowledge engineering
Rule engines

Apache Jena

Apache Jena is an open source Semantic Web framework for Java. Semantic reasoner and Apache Jena are semantic Web.

See Semantic reasoner and Apache Jena

Apache Marmotta

Apache Marmotta is a linked data platform that comprises several components. Semantic reasoner and Apache Marmotta are semantic Web.

See Semantic reasoner and Apache Marmotta

Axiom

An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.

See Semantic reasoner and Axiom

Backward chaining

Backward chaining (or backward reasoning) is an inference method described colloquially as working backward from the goal. Semantic reasoner and backward chaining are Automated reasoning.

See Semantic reasoner and Backward chaining

Business rules engine

A business rules engine is a software system that executes one or more business rules in a runtime production environment. Semantic reasoner and business rules engine are rule engines.

See Semantic reasoner and Business rules engine

C Sharp (programming language)

C# is a general-purpose high-level programming language supporting multiple paradigms.

See Semantic reasoner and C Sharp (programming language)

Cwm (software)

Cwm (pronounced koom) is a general-purpose data processing software for the Semantic Web, similar to sed or awk for text files or XSLT for XML. Semantic reasoner and Cwm (software) are semantic Web.

See Semantic reasoner and Cwm (software)

Cyc (pronounced) is a long-term artificial intelligence project that aims to assemble a comprehensive ontology and knowledge base that spans the basic concepts and rules about how the world works. Semantic reasoner and Cyc are ontology (information science).

See Semantic reasoner and Cyc

D3web

d3web is a free, open-source platform for knowledge-based systems (expert systems). Semantic reasoner and D3web are knowledge engineering and rule engines.

See Semantic reasoner and D3web

Description logic

Description logics (DL) are a family of formal knowledge representation languages.

See Semantic reasoner and Description logic

Doxastic logic

Doxastic logic is a type of logic concerned with reasoning about beliefs.

See Semantic reasoner and Doxastic logic

Drools

Drools is a business rule management system (BRMS) with a forward and backward chaining inference-based rules engine, more correctly known as a production rule system, using an enhanced implementation of the Rete algorithm. Semantic reasoner and Drools are rule engines.

See Semantic reasoner and Drools

Expert system

In artificial intelligence (AI), an expert system is a computer system emulating the decision-making ability of a human expert.

See Semantic reasoner and Expert system

F-logic

F-logic (Frame logic) is a knowledge representation and ontology language. Semantic reasoner and f-logic are knowledge representation and semantic Web.

See Semantic reasoner and F-logic

First-order logic

First-order logic—also called predicate logic, predicate calculus, quantificational logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

See Semantic reasoner and First-order logic

Flora-2

Flora-2 is an open source semantic rule-based system for knowledge representation and reasoning.

See Semantic reasoner and Flora-2

Forward chaining

Forward chaining (or forward reasoning) is one of the two main methods of reasoning when using an inference engine and can be described logically as repeated application of modus ponens.

See Semantic reasoner and Forward chaining

Inference

Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward".

See Semantic reasoner and Inference

Inference engine

In the field of artificial intelligence, an inference engine is a software component of an intelligent system that applies logical rules to the knowledge base to deduce new information.

See Semantic reasoner and Inference engine

KAON

KAON (Karlsruhe ontology) is an ontology infrastructure developed by the University of Karlsruhe and the Research Center for Information Technologies in Karlsruhe. Semantic reasoner and KAON are ontology (information science).

See Semantic reasoner and KAON

Knowledge-based systems

A knowledge-based system (KBS) is a computer program that reasons and uses a knowledge base to solve complex problems.

See Semantic reasoner and Knowledge-based systems

Logic programming

Logic programming is a programming, database and knowledge representation paradigm based on formal logic.

See Semantic reasoner and Logic programming

Logical consequence

Logical consequence (also entailment) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements.

See Semantic reasoner and Logical consequence

Method of analytic tableaux

In proof theory, the semantic tableau (plural: tableaux), also called an analytic tableau, truth tree, or simply tree, is a decision procedure for sentential and related logics, and a proof procedure for formulae of first-order logic.

See Semantic reasoner and Method of analytic tableaux

Ontology language

In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies.

See Semantic reasoner and Ontology language

Preferential entailment

Preferential entailment is a non-monotonic logic based on selecting only models that are considered the most plausible. Semantic reasoner and Preferential entailment are knowledge representation.

See Semantic reasoner and Preferential entailment

Probabilistic logic network

A probabilistic logic network (PLN) is a conceptual, mathematical and computational approach to uncertain inference.

See Semantic reasoner and Probabilistic logic network

Protégé (software)

Protégé is a free, open source ontology editor and a knowledge management system. Semantic reasoner and Protégé (software) are knowledge representation and ontology (information science).

See Semantic reasoner and Protégé (software)

Prova

Prova is an open source programming language that combines Prolog with Java.

See Semantic reasoner and Prova

Rete algorithm

The Rete algorithm (rarely) is a pattern matching algorithm for implementing rule-based systems.

See Semantic reasoner and Rete algorithm

Rule of inference

In philosophy of logic and logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions).

See Semantic reasoner and Rule of inference

Semantic Web Rule Language

The Semantic Web Rule Language (SWRL) is a proposed language for the Semantic Web that can be used to express rules as well as logic, combining OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog). Semantic reasoner and Semantic Web Rule Language are semantic Web.

See Semantic reasoner and Semantic Web Rule Language

References

[1] https://en.wikipedia.org/wiki/Semantic_reasoner

Also known as List of semantic reasoners, Reasoner, Reasoning engine, Rule engines, Semantic reasoners.

Semantic reasoner, the Glossary

Table of Contents

See also

Automated reasoning

Knowledge engineering

Rule engines

References