Sciweavers

431 search results - page 33 / 87
» R-calculus: A Logical Approach for Knowledge Base Maintenanc...
Sort
View
DSS
2008
130views more  DSS 2008»
13 years 8 months ago
Knowledge representation concepts for automated SLA management
Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-qualit...
Adrian Paschke, Martin Bichler
CAISE
2007
Springer
14 years 21 days ago
Specification and Verification of Authorization Policies for Web Services Composition
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
Mohsen Rouached, Claude Godart
AAAI
2006
13 years 10 months ago
Forgetting and Conflict Resolving in Disjunctive Logic Programming
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
Thomas Eiter, Kewen Wang
DLOG
2011
13 years 6 days 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
KI
2007
Springer
14 years 2 months ago
Relational Exploration - Reconciling Plato and Aristotle
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
Sebastian Rudolph