Skip to search formSkip to main contentSkip to account menu

Semantic reasoner

Known as: Reasoning engine, Rule engines, Reasoner (disambiguation) 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
Apache Jena Semantic Web FrameworkApache MarmottaAutomated reasoningBackward chaining

Broader (3)

Knowledge engineeringOntology (information science)Semantic Web

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Fall-risk assessment by combined movement related potentials and co-contraction index monitoring
In this paper we propose a novel approach for online fall-risk assessment based on concurrent EEG and EMG monitoring. The fall… 
2012
2012
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference
Abduction is inference to the best explanation. Abduction has long been studied intensively in a wide range of contexts, from… 
2010
2010
Optimization Techniques for Fuzzy Description Logics
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different… 
2008
2008
Discrete Event Calculus Reasoner Documentation
c © 2005, 2007, 2008 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made… 
2008
2008
Implementing a low-cost, personalized and location based service for delivering advertisements to mobile users
Context aware, personalized services can give users equipped with mobile devices targeted and timely information in a seamless… 
2007
2007
A Multi-agent Context-aware Service Platform in a Smart Space
Ubiquitous computing technology plays a key role for providing context information and makes context-aware services can be… 
Review
2005
Review
2005
Description Logic Inference Technology: Lessions Learned in the Trenches
Optimized description logic systems are now available for quite a long time. Whereas initially, to a large extent only T-box… 
2000
2000
-Ants { An open approach at combining Interactive and Automated Theorem Proving
We present the -Ants theorem prover that is built on top of an agent-based command suggestion mechanism. The theorem prover… 
1999
1999
Large-Scale Repositories of Highly Expressive Reusable Knowledge
We describe an ongoing project to develop technology that will support collaborative construction and effective use of… 
1998
1998
Defeasible logics
In this chapter, we will concentrate on the defeasible approach to nonmonotonic reasoning , as opposed to the minimalist approach…