Verification and refactoring of ontologies with rules

Authors:
Joachim Baumeister;Dietmar Seipel
Affiliations:
Institute for Computer Science, University of Würzburg, Germany;Institute for Computer Science, University of Würzburg, Germany
Venue:
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Year:
2006

Citing 6
Cited 3

Logic programming and databases

Logic programming and databases
Refactoring object-oriented frameworks

Refactoring object-oriented frameworks
Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
Evaluating ontological decisions with OntoClean

Communications of the ACM - Ontology: different ways of representing the same concept
OWL rules: A proposal and prototype implementation

Web Semantics: Science, Services and Agents on the World Wide Web
Semantic web architecture: stack or two towers?

PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning

Anomalies in ontologies with rules

Web Semantics: Science, Services and Agents on the World Wide Web
Advanced empirical testing

Knowledge-Based Systems
Supporting ontology design through large-scale FCA-based ontology restructuring

ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.