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

Sandra Bergner

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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

Topics: Knowledge Engineering; Semantic Web

In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: IC3K, 453-461, 2015 , Lisbon, Portugal

Author: Sandra Bergner

Affiliation: Universität der Bundeswehr, Germany

Keyword(s): Knowledge Engineering, Semantic Web.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Collaboration and e-Services ; e-Business ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Semantic Web ; Soft Computing ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.191.195.110

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 (IC3K 2015) - KEOD; ISBN 978-989-758-158-8; ISSN 2184-3228, SciTePress, pages 453-461. DOI: 10.5220/0005647204530461

@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 (IC3K 2015) - KEOD},
year={2015},
pages={453-461},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005647204530461},
isbn={978-989-758-158-8},
issn={2184-3228},
}

TY - CONF

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