Results 251 to 260 of about 23,003,325 (298)

Scaling Parallel Rule-Based Reasoning

2014
Using semantic technologies the materialization of implicit given facts that can be derived from a dataset is an important task performed by a reasoner. With respect to the answering time for queries and the growing amount of available data, scaleable solutions that are able to process large datasets are needed.
Martin Peters, Christopher Brink, Sabine Sachweh, Albert Zündorf   +3 more
openaire   +1 more source

A Rule-Based Object-Oriented OWL Reasoner

IEEE Transactions on Knowledge and Data Engineering, 2008
In this paper, we describe O-DEVICE, a memory-based knowledge-based system for reasoning and querying OWL ontologies by implementing RDF/OWL entailments in the form of production rules in order to apply the formal semantics of the language. Our approach is based on a transformation procedure of OWL ontologies into an object-oriented schema and the ...
Georgios Meditskos, Nick Bassiliades
openaire   +2 more sources

A Rule-Based Implementation of Fuzzy Tableau Reasoning

2010
The integration of distinct reasoning styles such as the ones exploited by description logics and rule-based systems is still an open challenge because of the differences among them. Such integration may be achieved by following two complementary approaches: loose integration vs. tight integration.
BRAGAGLIA, STEFANO, CHESANI, FEDERICO, MELLO, PAOLA, SOTTARA, DAVIDE   +3 more
openaire   +3 more sources

Bridge Rule Based D3 L Reasoning

2013 Ninth International Conference on Semantics, Knowledge and Grids, 2013
The semantic mapping in Distributed Dynamic Description Logic (D3L) is an extension of Dynamic Description Logic (DDL), which makes it easy to deal with distributed and heterogeneous situation. Existing work on knowledge propagation in D3L is just studied for simple cases, in which only two DDL systems are considered.
Jianhua Zhang, Wenjie Wang, Zhongzhi Shi, Jinpeng Yue, Baoyuan Qi, Dongping Tian   +5 more
openaire   +2 more sources

Rule-Based Reasoning with Belief Structures

2017
This paper introduces \(\text {4QL}^{\!\text {Bel}}\), a four-valued rule language designed for reasoning with paraconsistent and paracomplete belief bases as well as belief structures. Belief bases consist of finite sets of ground literals providing (partial and possibly inconsistent) complementary or alternative views of the world.
Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas   +2 more
openaire   +3 more sources

Symbolic-neural rule based reasoning and explanation

Expert Systems with Applications, 2015
Neurules, a type of neuro-symbolic rules, retain naturalness and modularity.Reasoning and explanation mechanisms for neurules are presented.Two types of inference processes: a connectionism-oriented and symbolism-oriented.Symbolism-oriented inference more efficient than connectionism-oriented.More efficient and natural explanation compared to ...
Ioannis Hatzilygeroudis, Jim Prentzas
openaire   +1 more source

Rule-Based Contextual Reasoning in Ambient Intelligence

2010
Context, Context Representation and Contextual Reasoning constitute central notions in the Ambient Intelligence vision to transform our living and working environments into 'intelligent spaces'. Ontology-based models have been argued to satisfy all demands concerning context representation.
Antonis Bikakis, Grigoris Antoniou
openaire   +2 more sources

Expressive rule-based stream reasoning

2018
Modern stream processing tools offer various solutions for evaluating continuously streaming data. They typically come with query languages or programming interfaces that extend those for static data. However, model-based semantics are rarely given, which complicates the comparison and formal analysis of different approaches.
openaire   +2 more sources

Probabilistic Reasoning in Fuzzy Rule-Based Systems

2002
We concentrate on Takagi—Sugeno (TS) probabilistic fuzzy systems where interpretability of fuzzy systems is combined with the statistical properties of probabilistic systems. After having sketched the general architecture of TS probabilistic fuzzy systems, we present an appropriate mathematical framework and introduce two probabilistic fuzzy reasoning ...
van den Berg, J (Jan), Kaymak, U, van den Bergh, WM (Willem-Max)   +2 more
openaire   +3 more sources

Rule-Based Reasoners in Epistemic Logic

2019
In this paper, we offer a balanced response to the problem of logical omniscience, whereby agents are modeled as non-omniscient yet still logically competent reasoners. To achieve this, we account for the deductive steps that form the epistemic state of an agent.
openaire   +2 more sources