We study the problem of distributed RDFS reasoning and query answering on top of distributed hash tables. Scalable, distributed RDFS reasoning is an essential functionality for providing the scalability and performance that large-scale Semantic Web applications require. Our goal in this paper is to compare and evaluate two well-known approaches to RDFS reasoning, namely backward and forward cha...

A new predicate calculus deduction system based on production rules is pro. Logical deduction is a basic activity in many artificial intelligence Al systems.ideas that support many of the useful applications of artificial intelligence. Many Rule-Based Systems Are Deduction Systems. One of the most important aspects of rule-based systems is the. For instance, in deduction systems, forward.They a...

Quantitative QFD (Q2FD) is an extension of conventional Quality Function Deployment (QFD). Q2FD incorporates quantitative requirements decomposition models into the QFD framework. It also rearranges conventional QFD matrices to facilitate quantitative capture and both forward and backward chaining of performance values. The rearranged matrices also allows full representation of QFD matrices wit...

Both materialization and backward-chaining as different modes of performing inference have complementary advantages and disadvantages. Materialization enables very efficient responses at query time, but at the cost of an expensive up front closure computation, which needs to be redone every time the knowledge base changes. Backward-chaining does not need such an expensive and change-sensitive p...

Both materialization and backward-chaining as different modes of performing inference have complementary advantages and disadvantages. Materialization enables very efficient responses at query time, but at the cost of an expensive up front closure computation, which needs to be redone every time the knowledge base changes. Backward-chaining does not need such an expensive and change-sensitive p...

Abstract Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this article, we will survey the use of structural proof theory an alternative foundation. Researchers have been using foundation past 35 years to elevate programming from its roots in first-order classical into higher-order versions intuitionistic linear logic. These m...

Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of a mechanical engineering application a...

4 Forward chaining expert system in CHR 7 4.1 Propagation rules are forward chaining . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4.2 Conflict resolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4.2.1 Preference to some facts over others . . . . . . . . . . . . . . . . . . . . . . . 9 4.2.2 Ad-hoc weights in CHR knowledge bases . . . . . . . . . . . ....