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.
Year
DOI
Venue
2006
10.1007/11836025_29
ASWC
Keywords
Field
DocType
test result,owl vocabulary,forward-chaining reasoning algorithm,sesame algorithm,low computational complexity,dependent table,redundant inferring step,rdfs entailment,entailment rule,simple entailment rule,computational complexity
Forward chaining,Data mining,Logical consequence,Computer science,Correctness,Description logic,Theoretical computer science,Artificial intelligence,RDF Schema,Vocabulary,Semantics,Computational complexity theory
Conference
Volume
ISSN
ISBN
4185
0302-9743
3-540-38329-8
Citations 
PageRank 
References 
2
0.40
8
Authors
4
Name
Order
Citations
PageRank
Huiying Li1305.32
Yanbing Wang254.33
Yuzhong Qu392778.03
Jeff Z. Pan42218158.01