\begin{thebibliography}{10}

\bibitem{650667}
A~Borgida and Grant~E Weddell.
\newblock Adding uniqueness constraints to description logics (preliminary
  report).
\newblock In {\em DOOD '97: Proceedings of the 5th International Conference on
  Deductive and Object-Oriented Databases}, pages 85--102, London, UK, 1997.
  Springer-Verlag.

\bibitem{Use_Onto_in_SW_Survey}
Li~Ding, P~Kolari, Z~Ding, and S~Avancha.
\newblock {\em {Using Ontologies in the Semantic Web: A Survey}}.
\newblock Springer, October 2005.
\newblock UMBC CS Technical Report 05-07.

\bibitem{businessRule}
TA~Halpin.
\newblock Business rules and object rolev modeling.
\newblock Available at: http://www.orm.net/pdf/dppd.pdf.

\bibitem{HalpThesis}
TA~Halpin.
\newblock {\em A logical analysis of information systems: static aspects of the
  data-oriented perspective.}
\newblock PhD thesis, University of Queensland, Australia, 1989.

\bibitem{halpin-objectrole}
TA~Halpin.
\newblock Object-role modeling ({ORM/NIAM}).
\newblock In {\em Handbook on Architectures of Information Systems, 2nd
  edition}, pages 81--103. Springer, Heidelberg, 2006.

\bibitem{ORM2notation}
TA~Halpin.
\newblock {ORM} 2 graphical notation.
\newblock Technical report, Newmont University, September 2005.

\bibitem{IanSHOQ}
I~Horrocks and U~Sattler.
\newblock Ontology reasoning in the {$\mathcal{SHOQ}$(D)} description logic.
\newblock In {\em Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial
  Intelligence (IJCAI~2001)}, pages 199--204. Morgan Kaufmann, Los Altos, 2001.

\bibitem{IanSHOIQ}
I~Horrocks and U~Sattler.
\newblock A tableaux decision procedure for $\mathcal{SHOIQ}$.
\newblock In {\em Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial
  Intelligence (IJCAI~2005)}, pages 448--453, 2005.

\bibitem{citeulike:956280}
I~Horrocks, Patel~P Schneider, and F~van Harmelen.
\newblock From {SHIQ} and {RDF} to {OWL}: The making of a web ontology
  language.
\newblock {\em Journal of Web Semantics}, 1(1):7--26, 2003.

\bibitem{JarrFranORMDLR}
M~Jarrar and E~Franconi.
\newblock Formalizing {ORM} using the {DLR} description logic.
\newblock 2007.
\newblock Submitted.

\bibitem{kalfoglou-2005}
Y~Kalfoglou, Bo~Hu, D~Reynolds, and N~Shadbolt.
\newblock Semantic integration technonolgies survey.
\newblock Technical report, University of Southampton, 2005.

\bibitem{rapportSHOINK}
TD~Thu Nguyen and N~Le-Thanh.
\newblock La contrainte d'identification dans la logique de description
  $\mathcal{SHOIN}(\mathbf{D})$.
\newblock ISRN I3S/RR- 2006-34-FR, Laboratoire I3S (CNRS - UNSA), France, 2006.

\bibitem{rapportOWLK}
TD~Thu Nguyen and N~Le-Thanh.
\newblock Extending {OWL}-{DL} with identification constraints.
\newblock ISRN I3S/RR- 2007-03-FR, Laboratoire I3S (CNRS - UNSA), France, 2007.

\bibitem{RcisSHOINKD}
TD~Thu Nguyen and N~Le-Thanh.
\newblock Identification constraints in $\mathcal{SHOIN}(\mathbf{D})$.
\newblock In {\em Proc.\ of the 1th Int.\ Conf.\ on Research Challeges in
  Information Science (RCIS~2007)}, 2007.
\newblock Accepted to publish.

\bibitem{Natalya1041421}
Natalya~F Noy.
\newblock Semantic integration: a survey of ontology-based approaches.
\newblock {\em SIGMOD Rec.}, 33(4):65--70, 2004.

\bibitem{UMLbook}
Keng Siau and TA~Halpin, editors.
\newblock {\em Unified Modeling Language: Systems Analysis, Design and
  Development Issues}.
\newblock Idea Group, 2001.

\bibitem{FOL95}
Raymond~M Smullyan.
\newblock {\em First-Order Logic}.
\newblock Dover Publications, 1995.

\bibitem{DBLP:conf/ekaw/SpynsAWJL04}
P~Spyns, SV~Acker, M~Wynants, M~Jarrar, and A~Lisovoy.
\newblock {Using a Novel ORM-Based Ontology Modelling Method to Build an
  Experimental Innovation Router.}
\newblock In {\em EKAW}, pages 82--98, 2004.

\bibitem{ER555645}
B~Thalheim.
\newblock {\em Entity-Relationship Modeling: Foundations of Database
  Technology}.
\newblock Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2000.

\bibitem{Win90}
JJVR Wintraecken.
\newblock {\em The NIAM Information Analysis Method: theory and practice}.
\newblock Kluwer Academic Publishers, 1990.

\end{thebibliography}
