Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The current Semantic b ontology language has been designed to be both expressive for specifying complex concepts and decidable for automated reasoning. In recent years, the Semantic b Rules Language has been proposed to add more expressiveness to the family of ontology languages. Hover 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.  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 b reasoners.
['Yuzhang Feng', 'Yang Liu', 'Yuan-Fang Li', 'Daqing Zhang']
I am writing a research paper on a idea Discovering Anomalies in Semantic Web Rules
[{"from": "human", "value": "I am writing a research paper on a idea Discovering Anomalies in Semantic Web Rules"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The current Semantic b ontology language has been designed to be both expressive for specifying complex concepts and decidable for automated reasoning. In recent years, the Semantic b Rules Language has been proposed to add more expressiveness to the family of ontology languages. Hover 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.  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 b reasoners."}]