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 proceedingConference contribution

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 languageEnglish
Title of host publicationSemantic Technology
Subtitle of host publication5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
EditorsGuilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu
PublisherSpringer-Verlag
Pages271-279
Number of pages9
ISBN (Print)9783319316758
DOIs
Publication statusPublished - 2016
Event5th Joint International Conference on Semantic Technology, JIST 2015 - Yichang, China
Duration: 11 Nov 201513 Nov 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9544
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference5th Joint International Conference on Semantic Technology, JIST 2015
CountryChina
CityYichang
Period11/11/1513/11/15

Fingerprint

Ontology
Reasoning
Methodology
Inconsistency
Knowledge Base
Heuristics
Query

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

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 proceedingConference 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).",
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

ER -