Discovering anomalies in semantic web rules

  • Feng Y
  • Liu Y
  • Li Y
 et al. 
  • 8


    Mendeley users who have this article in their library.
  • 2


    Citations of this article.


The current Semantic Web ontology language has been designed to be both expressive for specifying complex concepts and decidable for automated reasoning. In recent years, the SemanticWeb Rules Language has been proposed to add more expressiveness to the family of ontology languages. However the inclusion of rules has created new challenges of not only verifying the consistency of an ontology, but also checking for anomalies of a set of rules by itself. Currently automated tool support for reasoning about ontologies with rules is relatively limited compared to those for standard ontology reasoning. This paper addresses these challenges by defining notions of rule anomalies and proposing a method of discovering such anomalies by using the constraint logic programming technique and the state-of-the-art SemanticWeb reasoners.

Author-supplied keywords

  • Logic programming
  • Semantic web

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Yuzhang Feng

  • Yang Liu

  • Yuan Fang Li

  • Daqing Zhang

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free