Sciweavers

7602 search results - page 18 / 1521
» A New Approach to Base Revision
Sort
View
DLOG
2011
14 years 5 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
DOOD
1991
Springer
107views Database» more  DOOD 1991»
15 years 5 months ago
Non-Determinism in Deductive Databases
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...
JGAA
2006
72views more  JGAA 2006»
15 years 1 months ago
A Multilevel Algorithm for the Minimum 2-sum Problem
In this paper we introduce a direct motivation for solving the minimum 2-sum problem, for which we present a linear-time algorithm inspired by the Algebraic Multigrid approach whi...
Ilya Safro, Dorit Ron, Achi Brandt
OTM
2007
Springer
15 years 8 months ago
OntoCase - A Pattern-Based Ontology Construction Approach
As the technologies facilitating the Semantic Web become more and more mature they are also adopted by the business world. When developing semantic applications, constructing the u...
Eva Blomqvist
ESWS
2010
Springer
15 years 6 months ago
Mobile Semantic-Based Matchmaking: A Fuzzy DL Approach
Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capa...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...