Sciweavers

Share
DLOG
2011
7 years 7 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
DLOG
2011
7 years 7 months ago
On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution
Evolution of Knowledge Bases expressed in Description Logics (DLs) proved its importance. Most studies on evolution in DLs have focused on modelbased approaches to evolution semant...
Evgeny Kharlamov, Dmitriy Zheleznyakov
DLOG
2011
7 years 7 months ago
Relaxed Abduction: Robust Information Interpretation for Incomplete Models
This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning over description logic knowledge bases has been ap...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
WEBI
2010
Springer
8 years 1 months ago
A Scalable Indexing Mechanism for Ontology-Based Information Integration
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
Yingjie Li, Abir Qasem, Jeff Heflin
SEMWEB
2010
Springer
8 years 1 months ago
I18n of Semantic Web Applications
Recently, the use of semantic technologies has gained quite some traction. With increased use of these technologies, their maturation not only in terms of performance, robustness b...
Sören Auer, Matthias Weidl, Jens Lehmann, Amr...
SEMWEB
2010
Springer
8 years 1 months ago
EvoPat - Pattern-Based Evolution and Refactoring of RDF Knowledge Bases
Facilitating the seamless evolution of RDF knowledge bases on the Semantic Web presents still a major challenge. In this work we devise EvoPat
Christoph Rieß, Norman Heino, Sebastian Tram...
IJSI
2010
84views more  IJSI 2010»
8 years 1 months ago
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zu...
AIEDAM
1999
79views more  AIEDAM 1999»
8 years 3 months ago
An algorithmic approach to knowledge evolution
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
Alessio Lomuscio, Mark Ryan
CORR
2007
Springer
98views Education» more  CORR 2007»
8 years 3 months ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
FUIN
2006
113views more  FUIN 2006»
8 years 3 months ago
Adaptive Merging of Prioritized Knowledge Bases
Abstract. In this paper, we propose an adaptive algorithm for merging n (n2) prioritized knowledge bases which takes into account the degrees of conflict and agreement among these ...
Weiru Liu, Guilin Qi, David A. Bell
books