%0 Journal Article %1 Li2006 %A Li, Huiying %A Wang, Yanbing %A Qu, Yuzhong %A Pan, Jeff Z. %D 2006 %J ASWC 2006, LNCS %K kiwi %P 7 %T A Reasoning Algorithm for pD* %V 4185 %X pD* semantics extends the ‘if-semantics’ of RDFS to a subset of the OWL vocabulary. It leads to simple entailment rules and relatively low computational complexity for reasoning. In this paper, we propose a forward-chaining reasoning algorithm to support RDFS entailments under the pD* semantics. This algorithm extends the Sesame algorithm to cope with the pD* entailments. In particular, an optimization to the dependent table between entailment rules is presented to eliminate much redundant inferring steps. Finally, some test results are given to illustrate the correctness and performance of this algorithm.

@article{Li2006, abstract = {pD* semantics extends the ‘if-semantics’ of RDFS to a subset of the OWL vocabulary. It leads to simple entailment rules and relatively low computational complexity for reasoning. In this paper, we propose a forward-chaining reasoning algorithm to support RDFS entailments under the pD* semantics. This algorithm extends the Sesame algorithm to cope with the pD* entailments. In particular, an optimization to the dependent table between entailment rules is presented to eliminate much redundant inferring steps. Finally, some test results are given to illustrate the correctness and performance of this algorithm.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {Li, Huiying and Wang, Yanbing and Qu, Yuzhong and Pan, Jeff Z.}, biburl = {https://www.bibsonomy.org/bibtex/21c08731224d0e677ac9b9a100302206f/fraktalek}, citeulike-article-id = {3508849}, interhash = {f5b27da12ea3d479910ee8a17f4d85a5}, intrahash = {1c08731224d0e677ac9b9a100302206f}, journal = {ASWC 2006, LNCS}, keywords = {kiwi}, pages = 7, posted-at = {2008-11-13 14:13:58}, priority = {2}, timestamp = {2008-11-14T13:33:39.000+0100}, title = {A Reasoning Algorithm for pD*}, volume = 4185, year = 2006 }