Schema Validation Approach for Constraint-enhanced RDFS Ontology

The constraint-enhanced RDFS(RDFS（c）) ontology overcomes the deficiency of RDFS's ability to describe constraints.However, the introduction of constraints brings challenges to ontology validation.This paper proposes a decidable schema validation approach for RDFS（c） ontology.This approach is ba...

Full description

Saved in:
Bibliographic Details
Published inJi suan ji ke xue Vol. 51; no. 7; p. 362
Main Authors Zhao, Xiaofei, Chai, Zhengyi, Yuan, Chao, Zhang, Zhen
Format Journal Article
LanguageChinese
Published Chongqing Guojia Kexue Jishu Bu 01.01.2024
Subjects
Constraint modelling
Ontology
Predicate logic
Reasoning
Online AccessGet full text

Cover

More Information
Summary:The constraint-enhanced RDFS(RDFS（c）) ontology overcomes the deficiency of RDFS's ability to describe constraints.However, the introduction of constraints brings challenges to ontology validation.This paper proposes a decidable schema validation approach for RDFS（c） ontology.This approach is based on analyzing the dependency between constraints.First, the RDFS（c） schema is transformed into the first-order predicate logic expressions, and the checking tasks of the characteristics are transformed into the satisfiability checking of the first-order expressions.On this basis, a constraint dependence graph reflecting the mend-violation relationships between constraints is established and made necessary reductions, we then derive the decidability of the schema validation tasks by identifying the finite loops in the graph, and finally validate the schema by reasoning on the constraint dependency.The contribution of this paper is twofold.On the one hand, through the transformation to the first-order expressions and t
ISSN:1002-137X