Verification and Refactoring of Ontologies with Rules | Zendy

Joachim Baumeister | Zendy; Dietmar Seipel | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Verification and Refactoring of Ontologies with Rules

Author(s) -

Joachim Baumeister,

Dietmar Seipel

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-46363-1

DOI - 10.1007/11891451_11

Subject(s) - code refactoring , computer science , programming language , software engineering , theoretical computer science , software

Currently, the introduction of an appropriate rule representation layer for the semantic web stack is discussed. However, with the inclusion of rule-based knowledge new verification issues for rule-augmented ontologies arise. In this paper we investigate the detection of anomalies as an important subtask of verification. We extend and revise existing approaches for the syntactic verification of ontologies with respect to the existence of rules, and we introduce new anomalies considering the understandability and maintainability of such ontologies.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research