Abstract
In the GOPSL ontology engineering methodology, integrity constraints are used to guide communities in constraining their domain knowledge. This paper presents our investigation on OWL integrity constraints and its usage in ontology engineering.
This work was partially funded by the Brussels Institute for Research and Innovation through the Open Semantic Cloud for Brussels Project.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Debruyne, C., Meersman, R.: Semantic Interoperation of Information Systems by Evolving Ontologies through Formalized Social Processes. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 444–459. Springer, Heidelberg (2011)
Halpin, T.: Information Modeling and Relational Databases. Morgan Kaufmann, San Francisco (2008)
Kowalski, R.A.: Logic for data description. In: Logic and Data Bases, pp. 77–103 (1977)
Lausen, G., Meier, M., Schmidt, M.: Sparqling constraints for rdf. In: EDBT, pp. 499–509 (2008)
Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between owl and relational databases. J. Web Sem. 7(2), 74–89 (2009)
Nonnengart, A., Weidenbach, C.: Computing small clause normal forms. In: Handbook of Automated Reasoning, pp. 335–367 (2001)
Reiter, R.: Towards a logical reconstruction of relational database theory. In: On Conceptual Modelling (Intervale), pp. 191–233 (1982)
Reiter, R.: On integrity constraints. In: TARK, pp. 97–111. Morgan Kaufmann (1988)
Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in owl. In: AAAI. AAAI Press (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tran, TK., Debruyne, C. (2012). Towards Using OWL Integrity Constraints in Ontology Engineering. In: Herrero, P., Panetto, H., Meersman, R., Dillon, T. (eds) On the Move to Meaningful Internet Systems: OTM 2012 Workshops. OTM 2012. Lecture Notes in Computer Science, vol 7567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33618-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-33618-8_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33617-1
Online ISBN: 978-3-642-33618-8
eBook Packages: Computer ScienceComputer Science (R0)