Meta-level properties for reasoning on dynamic data

Yuting Zhao; Guido Vetere; Jeff Z. Pan; Alessandro Faraotti; Marco Monti; Honghan Wu

doi:10.1007/978-3-319-31676-5_19

Meta-level properties for reasoning on dynamic data

Yuting Zhao^*, Guido Vetere, Jeff Z. Pan, Alessandro Faraotti, Marco Monti, Honghan Wu

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

Dynamic features are important for data processing when dealing with real applications. In this paper we introduce a methodology for validating the construction of ontological knowledge base and optimising the query answering with such ontologies. In this paper, we firstly introduce some meta-properties of dynamic for ontologies. These metaproperties impose several constraints on the taxonomic structure of an ontology. We then investigate how to build up a meta-ontology with the constrains on these meta-properties. The goal of our methodology is not to help on providing strict logical conditions for judging inconsistency, but rather to help as heuristics for validating ontologies. Furthermore, some results on how to improve the reasoning on dynamic data by using these properties are also introduced.

Original language	English
Title of host publication	Semantic Technology
Subtitle of host publication	5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
Editors	Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu
Publisher	Springer-Verlag
Pages	271-279
Number of pages	9
ISBN (Print)	9783319316758
DOIs	https://doi.org/10.1007/978-3-319-31676-5_19
Publication status	Published - 2016
Event	5th Joint International Conference on Semantic Technology, JIST 2015 - Yichang, China Duration: 11 Nov 2015 → 13 Nov 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9544
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	5th Joint International Conference on Semantic Technology, JIST 2015
Country	China
City	Yichang
Period	11/11/15 → 13/11/15

Access to Document

10.1007/978-3-319-31676-5_19Licence: Unspecified

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Meta-level properties for reasoning on dynamic data'. Together they form a unique fingerprint.

Cite this

Zhao, Y., Vetere, G., Pan, J. Z., Faraotti, A., Monti, M., & Wu, H. (2016). Meta-level properties for reasoning on dynamic data. In G. Qi, K. Kozaki, J. Z. Pan, & S. Yu (Eds.), Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers (pp. 271-279). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9544). Springer-Verlag. https://doi.org/10.1007/978-3-319-31676-5_19

Meta-level properties for reasoning on dynamic data. / Zhao, Yuting; Vetere, Guido; Pan, Jeff Z.; Faraotti, Alessandro; Monti, Marco; Wu, Honghan.

Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers. ed. / Guilin Qi; Kouji Kozaki; Jeff Z. Pan; Siwei Yu. Springer-Verlag, 2016. p. 271-279 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9544).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Zhao, Y, Vetere, G, Pan, JZ, Faraotti, A, Monti, M & Wu, H 2016, Meta-level properties for reasoning on dynamic data. in G Qi, K Kozaki, JZ Pan & S Yu (eds), Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9544, Springer-Verlag, pp. 271-279, 5th Joint International Conference on Semantic Technology, JIST 2015, Yichang, China, 11/11/15. https://doi.org/10.1007/978-3-319-31676-5_19

Zhao Y, Vetere G, Pan JZ, Faraotti A, Monti M, Wu H. Meta-level properties for reasoning on dynamic data. In Qi G, Kozaki K, Pan JZ, Yu S, editors, Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers. Springer-Verlag. 2016. p. 271-279. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-31676-5_19

Zhao, Yuting ; Vetere, Guido ; Pan, Jeff Z. ; Faraotti, Alessandro ; Monti, Marco ; Wu, Honghan. / Meta-level properties for reasoning on dynamic data. Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers. editor / Guilin Qi ; Kouji Kozaki ; Jeff Z. Pan ; Siwei Yu. Springer-Verlag, 2016. pp. 271-279 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5201e5e66c8045b9b755306e62bc035a,

title = "Meta-level properties for reasoning on dynamic data",

abstract = "Dynamic features are important for data processing when dealing with real applications. In this paper we introduce a methodology for validating the construction of ontological knowledge base and optimising the query answering with such ontologies. In this paper, we firstly introduce some meta-properties of dynamic for ontologies. These metaproperties impose several constraints on the taxonomic structure of an ontology. We then investigate how to build up a meta-ontology with the constrains on these meta-properties. The goal of our methodology is not to help on providing strict logical conditions for judging inconsistency, but rather to help as heuristics for validating ontologies. Furthermore, some results on how to improve the reasoning on dynamic data by using these properties are also introduced.",

author = "Yuting Zhao and Guido Vetere and Pan, {Jeff Z.} and Alessandro Faraotti and Marco Monti and Honghan Wu",

note = "Acknowledgments This work is partially supported by the FP7 K-Drive project (No. 286348) and the EPSRC WhatIf project (No. EP/J014354/1).; 5th Joint International Conference on Semantic Technology, JIST 2015 ; Conference date: 11-11-2015 Through 13-11-2015",

year = "2016",

doi = "10.1007/978-3-319-31676-5_19",

language = "English",

isbn = "9783319316758",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "271--279",

editor = "Qi, {Guilin } and Kozaki, {Kouji } and Pan, {Jeff Z.} and Yu, {Siwei }",

booktitle = "Semantic Technology",

}

TY - GEN

T1 - Meta-level properties for reasoning on dynamic data

AU - Zhao, Yuting

AU - Vetere, Guido

AU - Pan, Jeff Z.

AU - Faraotti, Alessandro

AU - Monti, Marco

AU - Wu, Honghan

N1 - Acknowledgments This work is partially supported by the FP7 K-Drive project (No. 286348) and the EPSRC WhatIf project (No. EP/J014354/1).

PY - 2016

Y1 - 2016

N2 - Dynamic features are important for data processing when dealing with real applications. In this paper we introduce a methodology for validating the construction of ontological knowledge base and optimising the query answering with such ontologies. In this paper, we firstly introduce some meta-properties of dynamic for ontologies. These metaproperties impose several constraints on the taxonomic structure of an ontology. We then investigate how to build up a meta-ontology with the constrains on these meta-properties. The goal of our methodology is not to help on providing strict logical conditions for judging inconsistency, but rather to help as heuristics for validating ontologies. Furthermore, some results on how to improve the reasoning on dynamic data by using these properties are also introduced.

AB - Dynamic features are important for data processing when dealing with real applications. In this paper we introduce a methodology for validating the construction of ontological knowledge base and optimising the query answering with such ontologies. In this paper, we firstly introduce some meta-properties of dynamic for ontologies. These metaproperties impose several constraints on the taxonomic structure of an ontology. We then investigate how to build up a meta-ontology with the constrains on these meta-properties. The goal of our methodology is not to help on providing strict logical conditions for judging inconsistency, but rather to help as heuristics for validating ontologies. Furthermore, some results on how to improve the reasoning on dynamic data by using these properties are also introduced.

UR - http://www.scopus.com/inward/record.url?scp=84961613321&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-31676-5_19

DO - 10.1007/978-3-319-31676-5_19

M3 - Conference contribution

AN - SCOPUS:84961613321

SN - 9783319316758

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 271

EP - 279

BT - Semantic Technology

A2 - Qi, Guilin

A2 - Kozaki, Kouji

A2 - Pan, Jeff Z.

A2 - Yu, Siwei

PB - Springer-Verlag

T2 - 5th Joint International Conference on Semantic Technology, JIST 2015

Y2 - 11 November 2015 through 13 November 2015

ER -