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 proceedingPublished conference contribution

2 Citations (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 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
Country/TerritoryChina
CityYichang
Period11/11/1513/11/15

Bibliographical note

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

Fingerprint

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

Cite this