@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",
}