Towards Automated Integrity Constraints Modelling and Validation - A Survey and Approach

Sandra Bergner

2015

Abstract

Semantic web techniques based on ontologies are a possible means for modelling and validating complex, safety-critical products like airplanes or automobiles. For validation purposes, checks based on the Open World Assumption (OWA) as well as checks based on the Closed World Assumption (CWA) are both valuable. Based on a survey of existing semantic-based approaches, we present a novel approach that provides hybrid OWA/CWA checks and thereby reduces the maintenance burden for managing two different kinds of checks.

Paper Citation

in Harvard Style

Bergner S. (2015). Towards Automated Integrity Constraints Modelling and Validation - A Survey and Approach . In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2015) ISBN 978-989-758-158-8, pages 453-461. DOI: 10.5220/0005647204530461

in Bibtex Style

@conference{keod15,
author={Sandra Bergner},
title={Towards Automated Integrity Constraints Modelling and Validation - A Survey and Approach},
booktitle={Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2015)},
year={2015},
pages={453-461},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005647204530461},
isbn={978-989-758-158-8},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2015)
TI - Towards Automated Integrity Constraints Modelling and Validation - A Survey and Approach
SN - 978-989-758-158-8
AU - Bergner S.
PY - 2015
SP - 453
EP - 461
DO - 10.5220/0005647204530461