Paper published in a book (Scientific congresses and symposiums)
Towards Using OWL Integrity Constraints in Ontology Engineering
Tran, Trung-Kien; Debruyne, Christophe
2012 • In On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings
Towards Using OWL Integrity Constraints in Ontology Engineering
Publication date :
2012
Event name :
On the Move to Meaningful Internet Systems: OTM 2012 Workshops, Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012
Event date :
September 10-14, 2012
Main work title :
On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings
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)