Sciweavers

113 search results - page 14 / 23
» Revision of DL-Lite Knowledge Bases
Sort
View
DLOG
2011
12 years 12 months ago
Practical Epistemic Entailment Checking in SROIQ
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
Anees Mehdi, Sebastian Rudolph
ACE
2004
183views Education» more  ACE 2004»
13 years 9 months ago
The Influence of Web-supported Independent Activities and Small Group Work on Students' Epistemological Beliefs
Epistemological beliefs are those concerning the nature of knowledge and learning: beliefs about how individuals come to know, and how knowledge is constructed. There is growing e...
Denise Tolhurst
IJMMS
2007
163views more  IJMMS 2007»
13 years 8 months ago
Beyond ontologies: Toward situated representations of scientific knowledge
: In information systems that support knowledge-discovery applications such as scientific exploration, reliance on highly structured ontologies as data-organization aids can be lim...
William Pike, Mark Gahegan
ECSQARU
2005
Springer
14 years 1 months ago
Multiple Semi-revision in Possibilistic Logic
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
Guilin Qi, Weiru Liu, David A. Bell
FLAIRS
2007
13 years 10 months ago
Compositional Belief Update
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
James P. Delgrande, Francis Jeffry Pelletier, Matt...