Modeling and querying semi-structured data

Cluet, Sophie

doi:10.1007/3-540-63438-x_10

Cited by 8 publications

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The literature [12] develops a middle formal language to describe semi-structured data for model checking purpose. [13] and [14] employ graph-based formalism to model semi-structured data and query on it based on the fixed point computation. [15] proposes a labeled graph schema to represent semistructured data, and [16] extended that with constraints.…”

Section: Imentioning

confidence: 99%

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling

Yang¹,

Wu²,

He³

et al. 2013

JCP

View full text Add to dashboard Cite

The extensible markup language (XML), a standard format of web information, has a clear syntax but unfortunately an ambiguous formal semantics, which results in being not used directly in semantic web applications. So it is tough job to reuse XML-based data intelligently in the semantic web. To address this problem, a new formal technique of obtaining ontology data automatically from XML documents is proposed. We provide the XML a semantical interpretation by developing a graph-based formal language, which then can be automatically mapped into web ontology language OWL with semantics preserved. The semantic validity and entailment problem are also concerned. The automatical mapping tool has also been developed.

show abstract

Section: Imentioning

confidence: 99%

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling

Yang¹,

Wu²,

He³

et al. 2013

JCP

View full text Add to dashboard Cite

show abstract

“…In this paper, we focus on the semantic consistency problem based on this method. The literature [14] develops a middle formal language to describe semistructured data for model-checking purpose and [15] employs graph-based formalism to model semistructured data and queries based on the fixed point computation. We are inspired by the model-checking technology [16], translate the mediate model into a Kripke structure, and encode all semantic query problems into CTL formulae and then we transform the semantic consistency checking problem into a global model-checking procedure.…”

Section: Introductionmentioning

confidence: 99%

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

Yang

Hui‐min

2014

Journal of Applied Mathematics

View full text Add to dashboard Cite

Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology. In this paper, a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology, which could extract a domain ontology from structured and semistructured data sources semiautomatically. The method translates the middle model into the Kripke structure, and consistency assertions into CTL formulae, so a consistency checking problem is promoted to a global model checking. Moreover, the feasibility and correctness of the transformation is proved, and case studies are provided.

show abstract

A Grammar Based Model for XML Schema Integration

Behrens

2000

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Modeling and querying semi-structured data

Cited by 8 publications

References 17 publications

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

A Grammar Based Model for XML Schema Integration

Contact Info

Product

Resources

About