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

Sandra Bergner

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.

References

  1. Angles, R. and Gutierrez, C., 2008. The expressive power of SPARQL. Available at:
  2. Bergner, S., 2015. Methodology for an Ontology-Driven Product Configuration Process. Technische Universität Clausthal.
  3. Bergner, S. et al., NETWORKED IT-SECURITY FOR CRITICAL INFRASTRUCTURES - THE RESEARCH AGENDA OF VESIKI Case Studies and IT-Security Matchplays. , pp.1-4.
  4. Calvanese, D., Giacomo, G. De and Lembo, D., 2007. EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI. Available at:
  5. Clark, K. and Sirin, E., 2013. On RDF validation, stardog ICV, and assorted remarks. RDF Validation Workshop. Practical Assurances for ….
  6. Damásio, C. et al., 2006. Supporting open and closed world reasoning on the web. Available at:
  7. Dix, J. et al., 2003. IMPACTing SHOP: Putting an AI planner into a multi-agent environment. Annals of Mathematics and ….
  8. Donini, F. et al., 1992. Adding Epistemic Operators to Concept Languages. KR.
  9. Donini, F., Nardi, D. and Rosati, R., 2002. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational ….
  10. DuCharme, B., 2013. Learning SPARQL 2nd ed., O'Reilly.
  11. Etzioni, O., Golden, K. and Weld, D., 1994. Tractable closed world reasoning with updates. Proceedings of the 4th ….
  12. Foundation, T.A.S., 2011. Jena API. Available at: https://jena.apache.org.
  13. Grimm, S. and Motik, B., 2005. Closed World Reasoning in the Semantic Web through Epistemic Operators. OWLED.
  14. Heflin, J. and Muñoz-Avila, H., 2002. Lcw-based agent planning for the semantic web. Ontologies and the Semantic Web.
  15. Hitzler, P. et al., 2007. Semantic Web: Grundlagen.
  16. Hustadt, U., 1994. Do we need the closed world assumption in knowledge representation? KRDB.
  17. Katz, Y. and Parsia, B., 2005. Towards a Nonmonotonic Extension to OWL. OWLED.
  18. Knublauch, H. and Fergerson, R., 2004. The Protégé OWL plugin: An open development environment for semantic web applications. The Semantic WebISWC ….
  19. Krishnadhi, A., Sengupta, K. and Hitzler, P., 2011. Local closed world semantics: Keep it simple, stupid!
  20. Lifschitz, V., 1994. Minimal belief and negation as failure. Artificial Intelligence.
  21. Lifschitz, V., 1991. Nonmonotonic Databases and Epistemic Queries. Proceedings of the 12th International Conference on Artificial IntelligenceVolume 1, pp.381-386.
  22. Lloyd, J. and Topor, R., 1984. Making Prolog more expressive. The Journal of Logic Programming.
  23. Lukasiewicz, T., 2004. Combining Answer Set Programming with Description Logics for the Semantic Web.
  24. Lutz, C., Seylan, I. and Wolter, F., 2013. Ontology-based data access with closed predicates is inherently intractable (sometimes). Proceedings of the TwentyThird international ….
  25. Mäs, S., Wang, F. and Reinhardt, W., 2005. Using ontologies for integrity constraint definition. Proceedings of the 4th international ….
  26. Motik, B. et al., 2006. Can OWL and logic programming live together happily ever after? The Semantic WebIswc 2006.
  27. Motik, B., Horrocks, I. and Sattler, U., 2007. Adding Integrity Constraints to OWL. OWLED.
  28. Motik, B., Horrocks, I. and Sattler, U., 2009. Bridging the gap between OWL and relational databases. … Semantics: Science, Services and Agents on ….
  29. Motik, B. and Rosati, R., 2006. Closing semantic web ontologies.
  30. Pan, J. and Ren, Y., 2012. Local closed world reasoning: a personal view on current status and trends. Journal of Zhejiang University-Science C.
  31. Patel-Schneider, P. and Franconi, E., 2012. Ontology constraints in incomplete and complete data. The Semantic Web-ISWC 2012.
  32. Polleres, A., Feier, C. and Harth, A., 2006. Rules with contextually scoped negation.
  33. Reiter, R., 1992. What should a database know? The Journal of Logic Programming.
  34. Ren, Y., Pan, J. and Zhao, Y., 2010. Closed world reasoning for OWL2 with NBox. Tsinghua Science and Technology.
  35. Schmidt, M. and Lausen, G., 2013. Pleasantly consuming linked data with rdf data descriptions. arXiv preprint arXiv:1307.3419.
  36. Seylan, I., Franconi, E. and Bruijn, J. De, 2009. Effective query rewriting with ontologies over DBoxes. IJCAI.
  37. Sirin, E., Parsia, B. and Grau, B., 2007. Pellet: A practical owl-dl reasoner. Web Semantics: science, ….
  38. Sirin, E., Smith, M. and Wallace, E., 2008. Opening , Closing Worlds - On Integrity Constraints. Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 432.
  39. Tao, J., 2010. Adding integrity constraints to the semantic web for instance data evaluation. The Semantic WebISWC 2010.
  40. Tao, J. et al., 2010. Integrity Constraints in OWL. AAAI.
  41. Waldenmaier, C., 2011. TopBraid Composer - Getting Started Guide.
Download


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