Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,922,259 papers from all fields of science
Search
Sign In
Create Free Account
Semantic reasoner
Known as:
Reasoning engine
, Rule engines
, Reasoner (disambiguation)
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
Apache Jena Semantic Web Framework
Apache Marmotta
Automated reasoning
Backward chaining
Expand
Broader (3)
Knowledge engineering
Ontology (information science)
Semantic Web
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
A deployment of an ontology-based reconfiguration agent for intelligent mechatronic systems
Y. Al-Safi
,
V. Vyatkin
IEEE International Symposium on Industrial…
2007
Corpus ID: 31064057
This paper discusses the extension of an ontology-based reconfiguration agent that uses ontological knowledge of the…
Expand
2007
2007
CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies
Daniel Elenius
,
G. Denker
,
Mark-Oliver Stehr
,
Rukman Senanayake
,
C. Talcott
,
David E. Wilkins
IEEE International Symposium on Policies for…
2007
Corpus ID: 7886203
We present the cognitive radio (policy) language (CoRaL), a new language for expressing policies that govern the behavior of…
Expand
Highly Cited
2006
Highly Cited
2006
Automated Benchmarking of Description Logic Reasoners
Tom Gardiner
,
Ian Horrocks
,
Dmitry Tsarkov
Description Logics
2006
Corpus ID: 6437542
Reasoning for expressive DLs implemented in state-of-the-art systems has high worst case complexity. The hope/claim is, however…
Expand
Highly Cited
2002
Highly Cited
2002
The DIG Description Logic Interface : DIG / 1 . 0
S. Bechhofer
2002
Corpus ID: 16058478
This document describes a simple API for a general description logic system. This forms the first of a number of such…
Expand
Highly Cited
2001
Highly Cited
2001
Safe Site and Seed Limitation in Cytisus Scoparius (Scotch Broom): Invasibility, Disturbance, and the Role of Cryptogams in a Glacial Outwash Prairie
I. Parker
Biological Invasions
2001
Corpus ID: 24943600
In all plant populations, establishment is controlled by two factors: the supply of propagules and their access to ‘safe sites…
Expand
Highly Cited
2001
Highly Cited
2001
A declarative evolution framework for object-oriented design patterns
T. Mens
,
T. Tourwé
Proceedings IEEE International Conference on…
2001
Corpus ID: 1523161
Object-oriented design patterns and high-level refactorings are popular means of implementing and evolving large object-oriented…
Expand
Highly Cited
1998
Highly Cited
1998
An Adaptation Heuristic for Case-Based Estimation
D. McSherry
EWCBR
1998
Corpus ID: 37541949
Paradoxically, the knowledge acquisition effort associated with rule-based approaches to case adaptation is precisely the…
Expand
Highly Cited
1996
Highly Cited
1996
Modeling pH neutralization processes using fuzzy-neural approaches
J. Nie
,
A. Loh
,
C. Hang
Fuzzy Sets Syst.
1996
Corpus ID: 8834549
Highly Cited
1993
Highly Cited
1993
PHI - A Logic-Based Tool for Intelligent Help Systems
M. Bauer
,
Susanne Biundo-Stephan
,
D. Dengler
,
Jana Koehler
,
G. Paul
International Joint Conference on Artificial…
1993
Corpus ID: 6939927
We introduce a logic-based system which improves the performance of intelligent help systems by supplying them with plan…
Expand
Highly Cited
1990
Highly Cited
1990
Ideal reformulation of belief networks
J. Breese
,
E. Horvitz
Conference on Uncertainty in Artificial…
1990
Corpus ID: 17354783
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE