@inproceedings{e1c2bf6612754288888599f59955afa0,
title = "Discovering anomalies in semantic web rules",
abstract = "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 Semantic Web 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 Semantic Web reasoners.",
keywords = "Logic programming, Semantic web",
author = "Yuzhang Feng and Yang Liu and Li, \{Yuan Fang\} and Daqing Zhang",
year = "2010",
month = jul,
day = "27",
doi = "10.1109/SSIRI.2010.26",
language = "English",
isbn = "9780769540863",
series = "SSIRI 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement",
pages = "33--42",
booktitle = "SSIRI 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement",
note = "4th IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010 ; Conference date: 09-06-2010 Through 11-06-2010",
}