Titlebook: Web Reasoning and Rule Systems; Second International Diego Calvanese,Georg Lausen Conference proceedings 2008 Springer-Verlag Berlin Heidel

易于

路標(biāo)

Lexicographical Inference over Inconsistent DL-Based Ontologiesologies without repairing them first. We address the problem of checking consequences in a . ontology that are classically inferred from every consistent (or coherent) subontology having the highest .. We propose a method for compiling a . ontology to a propositional program so that the problem can

Kidnap

勤勞

A Survey of Revision Approaches in Description Logicsologies. Many approaches in the theory of belief revision have been applied to deal with this problem and most of them focus on the postulates or the logical properties of a revision operator in Description Logics (DLs). However, there is no coherent view on how to characterize a revision operator i

Rct393

Towards Rule-Based Minimization of RDF Graphs under Constraintslarge and contain redundant information. So far, techniques for eliminating redundancy rely on the generic notion of lean graphs. We propose a user-specific minimization technique based on Datalog rules, enabling a user to specify the structures in an RDF graph that are not relevant for an applicati

寒冷

Camouflage

Ontology Design and Reuse with Conceptual Rolesple, in software development. As the use of ontologies becomes commonplace, they will be constructed more frequently and also become more complex. To cope with this issue, modularization paradigms and reuse techniques must be defined for ontologies and supported by ontology languages. In this paper,

jaunty

reaching

Enhancing a DLP System for Advanced Database Applications language of DLP is very expressive, and allows to model also advanced knowledge-based tasks arising in modern application-areas like, e.g., information integration and knowledge management. The recent development of efficient systems supporting disjunctive logic programming, has encouraged the usag

indemnify