Development and Verification of Rule Based Systems — A Survey of Developers

Zacharias, Valentin

doi:10.1007/978-3-540-88808-6_4

Cited by 28 publications

(13 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…2 The intersection between the domains/families existent in the target sequence (15) and those found for the query sequence (14), i.e., QSDF ∩ TSDF. This intersection takes into account: strand (4), frame (5), and query and target coordinates (6)(7)(8)(9) YES NO 17 Specificity A RPS-BLAST correspondence (i.e., hit) between a query sequence and a conserved domain has a level of confidence. A hit must meet or exceed the Threshold Bit Score (TBS) to be considered specific [39].…”

Section: Massamentioning

confidence: 99%

A rule-based expert system for inferring functional annotation

Xavier

Crespo

Fuentes-Fernández

2015

Applied Soft Computing

View full text Add to dashboard Cite

Section: Massamentioning

confidence: 99%

A rule-based expert system for inferring functional annotation

Xavier

Crespo

Fuentes-Fernández

2015

Applied Soft Computing

View full text Add to dashboard Cite

“…In addition, for the development of practical semantic applications, ontologies may use rules to facilitate the definition of logical deductions [1]. The Semantic Web has renewed and increased the interest in rule-based systems and their development [14].…”

Section: Introductionmentioning

confidence: 99%

User Extensible System to Identify Problems in OWL Ontologies and SWRL Rules

Orlando

Musen

Moreira

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The Semantic Web uses ontologies to associate meaning to Web content so machines can process it. One inherent problem to this approach is that, as its popularity increases, there is an ever growing number of ontologies available to be used, leading to difficulties in choosing appropriate ones. With that in mind, we created a system that allows users to evaluate ontologies/rules. It is composed by the Metadata description For Ontologies/Rules (MetaFOR), an ontology in OWL, and a tool to convert any OWL ontology to MetaFOR. With the MetaFOR version of an ontology, it is possible to use SWRL rules to identify anomalies in it. These can be problems already documented in the literature or user defined ones. SWRL is familiar to users, so it is easier to define new project specific anomalies. We present a case study where the system detects 9 problems, from the literature, and two user defined ones.

show abstract

“…We see that the empirical testing technique denotes a very important and frequently applied validation method. A survey on the practical use of evaluation methods in knowledge engineering is reported in [52]. In software engineering research, empirical testing is often called regression testing.…”

Section: Introductionmentioning

confidence: 99%

Advanced empirical testing

Baumeister

2011

Knowledge-Based Systems

View full text Add to dashboard Cite

In today's industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the knowledge bases before the deployment. Empirical testing, also known as regression testing, denotes the most popular validation technique, where predefined test cases are used to simulate and review the correct behavior of the system. In this paper, we motivate that the classic notions of a test case and the corresponding measures are not sufficient in many application scenarios. We present enhanced notions generalizing the standard test case, and we show appropriate extensions of the measures precision and recall, that work on these test case notions. Furthermore, the effective inspection of test runs is important whenever test cases fail. We introduce a novel visualization technique that allows for the effective and intuitive analysis of test cases and test run outcomes. The new visualization is useful for debugging a knowledge base and test case, respectively, but it also provides an intuitive overview of the status of the entire test suite. A case study reports on the (repeated) validation of a medical decision-support system and demonstrates the practical relevance of the presented work.

show abstract

Development and Verification of Rule Based Systems — A Survey of Developers

Cited by 28 publications

References 10 publications

A rule-based expert system for inferring functional annotation

A rule-based expert system for inferring functional annotation

User Extensible System to Identify Problems in OWL Ontologies and SWRL Rules

Advanced empirical testing

Contact Info

Product

Resources

About