A reasoning algorithm for pD

Huiying Li, Yanbing Wang, Yuzhong Qu, Jeff Z Pan

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationThe Semantic Web
Subtitle of host publicationASWC 2006
EditorsRiichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia
Place of PublicationBerlin
PublisherSpringer Science+Business Media
Pages293-300
Number of pages7
ISBN (Print)3540383298 , 978-3540383291
DOIs
Publication statusPublished - 2006
EventFirst Asian Semantic Web Conference - Beijing, China
Duration: 3 Sep 20067 Sep 2006

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume4185
ISSN (Print)0302-9743

Conference

ConferenceFirst Asian Semantic Web Conference
CountryChina
CityBeijing
Period3/09/067/09/06

Cite this

Li, H., Wang, Y., Qu, Y., & Pan, J. Z. (2006). A reasoning algorithm for pD. In R. Mizoguchi, Z. Shi, & F. Giunchiglia (Eds.), The Semantic Web : ASWC 2006 (pp. 293-300). (Lecture Notes in Computer Science; Vol. 4185). Berlin: Springer Science+Business Media. https://doi.org/10.1007/11836025

A reasoning algorithm for pD. / Li, Huiying; Wang, Yanbing; Qu, Yuzhong; Pan, Jeff Z.

The Semantic Web : ASWC 2006. ed. / Riichiro Mizoguchi; Zhongzhi Shi; Fausto Giunchiglia. Berlin : Springer Science+Business Media, 2006. p. 293-300 (Lecture Notes in Computer Science; Vol. 4185).

Research output: Chapter in Book/Report/Conference proceedingChapter

Li, H, Wang, Y, Qu, Y & Pan, JZ 2006, A reasoning algorithm for pD. in R Mizoguchi, Z Shi & F Giunchiglia (eds), The Semantic Web : ASWC 2006. Lecture Notes in Computer Science, vol. 4185, Springer Science+Business Media, Berlin, pp. 293-300, First Asian Semantic Web Conference, Beijing, China, 3/09/06. https://doi.org/10.1007/11836025
Li H, Wang Y, Qu Y, Pan JZ. A reasoning algorithm for pD. In Mizoguchi R, Shi Z, Giunchiglia F, editors, The Semantic Web : ASWC 2006. Berlin: Springer Science+Business Media. 2006. p. 293-300. (Lecture Notes in Computer Science). https://doi.org/10.1007/11836025
Li, Huiying ; Wang, Yanbing ; Qu, Yuzhong ; Pan, Jeff Z. / A reasoning algorithm for pD. The Semantic Web : ASWC 2006. editor / Riichiro Mizoguchi ; Zhongzhi Shi ; Fausto Giunchiglia. Berlin : Springer Science+Business Media, 2006. pp. 293-300 (Lecture Notes in Computer Science).
@inbook{7b704dca290d450fa49bb957fb3b1fbb,
title = "A reasoning algorithm for pD",
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.",
author = "Huiying Li and Yanbing Wang and Yuzhong Qu and Pan, {Jeff Z}",
note = "First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings",
year = "2006",
doi = "10.1007/11836025",
language = "English",
isbn = "3540383298",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science+Business Media",
pages = "293--300",
editor = "Riichiro Mizoguchi and Zhongzhi Shi and Fausto Giunchiglia",
booktitle = "The Semantic Web",

}

TY - CHAP

T1 - A reasoning algorithm for pD

AU - Li, Huiying

AU - Wang, Yanbing

AU - Qu, Yuzhong

AU - Pan, Jeff Z

N1 - First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/11836025

DO - 10.1007/11836025

M3 - Chapter

SN - 3540383298

SN - 978-3540383291

T3 - Lecture Notes in Computer Science

SP - 293

EP - 300

BT - The Semantic Web

A2 - Mizoguchi, Riichiro

A2 - Shi, Zhongzhi

A2 - Giunchiglia, Fausto

PB - Springer Science+Business Media

CY - Berlin

ER -