We develop inferencing methods for SROEL(⊓,×) – a DL that subsumes the main features of the W3C recommendation OWL EL –, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(⊓,×) feature combinations must lead to increased space upper bounds in any materialis...

Materialized knowledge bases perform inferencing when data is loaded into them, so that answering queries is reduced to simple lookup and thus are faster. A major bottleneck of such a system is the inferencing process, which is slow and memory intensive. In this work we examine the problem of speeding up as well as scaling the inferencing process for OWL Knowledge Bases, that employ rule based ...

The recent OWL 2 W3C recommendation includes the lightweight ontology language OWL EL which is semantically based on an extension of the EL description logic (DL). It is widely assumed that inferencing in OWL EL is possible in polynomial time, but it is not obvious how to extend existing reasoning procedures for EL accordingly. We set out to close this gap by developing inferencing methods for ...

Using a component processes task (CPT) that differentiates between higher-level cognitive processes of reading comprehension provides important advantages over commonly used general reading comprehension assessments. The present study contributes to further development of the CPT by evaluating the relative contributions of its components (text memory, text inferencing, and knowledge integration...

Circumscription appears to be the most powerful and well-studied technique used in formalizing common-sense reasoning. The general form of predicate circumscrip-tion allows for xed and varying ((oating) predicates. We show that the inference problem under this form of circumscription is eeciently reducible to inferencing under circumscription without varying predicates. In fact, we transform th...

This paper introduces a means to handle the critical problem of nonlocal role-bindings in localist spreading-activation networks. Every conceptual node in the network broadcasts a stable, uniquely-identifying activation pattern, called its signature. A dynamic role-binding is created when a role's binding node has an activation that matches the bound concept's signature. Most importantly, signa...

In the medical field, detection of breast cancer may be a mysterious task. Physicians must deduce conclusion from significantly vague knowledge base. A mammogram can offer early diagnosis at low cost if breasts' satisfactory images are analyzed. multi-decision Intuitionistic Fuzzy Evidential Reasoning (IFER) approach is introduced in this paper to deal with imprecise classification efficiently....