Extending Consequence-Based Reasoning to SRIQ
Consequence-based calculi are a family of reasoning algorithms for description logics (DLs), and they combine hypertableau and resolution in a way that often achieves excellent performance in practice. Up to now, however, they were proposed for either Horn DLs (which do not support disjunction), or for DLs without counting quantifiers. In this paper we present a novel consequence-based calculus for SRIQ---a rich DL that supports both features. This extension is non-trivial since the intermediate consequences that need to be derived during reasoning cannot be captured using DLs themselves. The results of our preliminary performance evaluation suggest the feasibility of our approach in practice.
Code (1)
Similar Papers 제목 키워드 기반
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
Conjunctive query answering over expressive Horn Description Logic ontologies is a relevant and challenging problem which, in some cases, can be addressed by application of the chase algorithm. In this paper, we define a…
Toward Generalized Image Quality Assessment: Relaxing the Perfect Reference Quality Assumption
Full-reference image quality assessment (FR-IQA) generally assumes that reference images are of perfect quality. However, this assumption is flawed due to the sensor and optical limitations of modern imaging systems. Mor…
Full reference image quality assessmentFull-Reference Image Quality AssessmentImage Quality AssessmentSuper-ResolutionPropositional Abduction via Only-Knowing: A Non-Monotonic Approach
The paper introduces a basic logic of knowledge and abduction by extending Levesque logic of only-knowing with an abduction modal operator defined via the combination of basic epistemic concepts. The upshot is an alterna…
Level-$k$ Reasoning, Cognitive Hierarchy, and Rationalizability
We employ a unified framework to provide an epistemic-theoretical foundation for Camerer, Ho, and Chong's (2003) cognitive hierarchy (CH) solution and its dynamic extension, using the directed rationalizability concept i…
Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy
The recent success of Bayesian methods in neuroscience and artificial intelligence gives rise to the hypothesis that the brain is a Bayesian machine. Since logic and learning are both practices of the human brain, it lea…
Logical ReasoningRelationSentence