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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1955-2018
010020019552017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
To make mobile device applications more intelligent, one can combine the information obtained via device sensors with background… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
HermiT is a new OWL reasoner based on a novel “hypertableau” calculus. The new calculus addresses performance problems due to… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In this paper, we present Pellet: a complete and capable OWL-DL reasoner with acceptable to very good performance, extensive… (More)
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In order to gain experience with description logic reasoner, and to contrib ute to the OWL Candidate Recommendation process, a… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
INTRODUCTION The development of the Semantic Web (Berners-Lee, Hendler, & Lassila, 2001) proceeds in layers, each layer on top of… (More)
  • figure 1
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve… (More)
  • figure 1
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper describes a uniform formalization of much of the current work in artificial intelligence on inference systems. We show… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
What philosophers call defeosible reasoning is roughly the same OS nonmonotonic reasoning in Al. Some brief remarks ore mode… (More)
  • figure 4
  • figure 5
  • figure 6
  • figure 7
  • figure 9
Is this relevant?
Highly Cited
1986
Highly Cited
1986
This paper considers computational aspects of several temporal representation languages. It investigates an interval-based… (More)
  • figure 1
  • figure 2
  • figure 6
Is this relevant?