Sciweavers

58 search results - page 8 / 12
» kr 2010
Sort
View
KR
2010
Springer
15 years 1 months ago
Improving Query Answering over DL-Lite Ontologies
The DL-Lite family of Description Logics has been designed with the specific goal of allowing for answering complex queries (in particular, conjunctive queries) over ontologies w...
Riccardo Rosati, Alessandro Almatelli
KR
2010
Springer
15 years 2 months ago
Preferential Semantics for Plausible Subsumption in Possibility Theory
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
Guilin Qi, Zhizheng Zhang
KR
2010
Springer
14 years 7 months ago
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semant...
Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
KR
2010
Springer
15 years 2 months ago
The Temporal Logic of Token Causes
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...
Samantha Kleinberg, Bud Mishra
KR
2010
Springer
15 years 2 months ago
Status QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
Birte Glimm, Sebastian Rudolph