@inproceedings{650667,
 author = {Borgida, A and Weddell, Grant E},
 title = {Adding Uniqueness Constraints to Description Logics (Preliminary Report)},
 booktitle = {DOOD '97: Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases},
 year = {1997},
 isbn = {3-540-63792-3},
 pages = {85--102},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@Phdthesis{HalpThesis,
    Author = {Halpin, TA},
    Title = {A logical analysis of information systems: static aspects of the data-oriented perspective.},
    School = {University of Queensland, Australia},
    Address = {},
    Month = {},
    Year = {1989}
}

@TECHREPORT{ORM2notation,
  AUTHOR = {Halpin, TA},
  INSTITUTION = {Newmont University},
  TITLE = {{ORM} 2 Graphical Notation},
  YEAR = {September 2005}
  TYPE = {September 2005}
  NUMBER = {ORM2-01}
}

@INPROCEEDINGS{halpin-objectrole,
  AUTHOR = {Halpin, TA},
  BOOKTITLE = {Handbook on Architectures
    of Information Systems, 2nd edition},
  PAGES = {81--103},
  PUBLISHER = {Springer, Heidelberg},
  TITLE = {Object-Role Modeling ({ORM/NIAM})},
  YEAR = 2006
}

@MISC{businessRule,
 title = {Business Rules and Object Rolev Modeling},
 author = {Halpin, TA},
 note = {Available at: http://www.orm.net/pdf/dppd.pdf}. Access on Mar. 3rd 2007
 }

@INPROCEEDINGS{IanSHOQ,
  ANNOTE = {AKA: Horrocks01b},
  AUTHOR = {Horrocks, I and Sattler, U},
  BOOKTITLE = {Proc.\ of the 17th Int.\ Joint
                    Conf.\ on Artificial Intelligence (IJCAI~2001)},
  DATE-MODIFIED = {2006-05-23 16:46:39 +0100},
  PAGES = {199--204},
  PUBLISHER = {Morgan Kaufmann, Los Altos},
  TITLE = {Ontology Reasoning in the {$\mathcal{SHOQ}$(D)} Description Logic},
  URL = {download/2001/ijcai01.pdf},
  YEAR = 2001
}

@INPROCEEDINGS{IanSHOIQ,
  AUTHOR = {Horrocks, I and Sattler, U},
  BOOKTITLE = {Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2005)},
  PAGES = {448--453},
  TITLE = {A Tableaux Decision Procedure for $\mathcal{SHOIQ}$},
  URL = {download/2005/HoSa05a.pdf},
  YEAR = 2005
}

@article{citeulike:956280,
    author = {Horrocks, I and Schneider, Patel P and van Harmelen, F},
    citeulike-article-id = {956280},
    journal = {Journal of Web Semantics},
    keywords = {description_logic ontology owl rdf semanticweb},
    number = {1},
    pages = {7--26},
    priority = {3},
    title = {From {SHIQ} and {RDF} to {OWL}: The making of a web ontology language},
    url = {http://citeseer.ist.psu.edu/horrocks03from.html},
    volume = {1},
    year = {2003}
}

@ARTICLE{JarrFranORMDLR,
   AUTHOR ={Jarrar, M and Franconi, E},
   TITLE   = {Formalizing {ORM} using the {DLR} description logic},
   YEAR    = {2007},
   NOTE    = {Submitted},
}

@TECHREPORT{kalfoglou-2005,
  AUTHOR = {Kalfoglou, Y and Bo Hu and Reynolds, D and Shadbolt, N},
  INSTITUTION = {University of Southampton},
  TITLE = {Semantic Integration Technonolgies Survey},
  url = {http://www.citebase.org/abstract?id=oai:eprints.ecs.soton.ac.uk:10842},
  YEAR = {2005}
}

@InBook{Use_Onto_in_SW_Survey,
  author = "Li Ding and Kolari, P and Ding, Z and Avancha, S",
  title = "{Using Ontologies in the Semantic Web: A Survey}",
  month = "October",
  year = "2005",
  note = "UMBC CS Technical Report 05-07",
  booktitle = "Ontologies in the Context of Information Systems",
  publisher = "Springer ",
}

@article{Natalya1041421,
 author = {Natalya F Noy},
 title = {Semantic integration: a survey of ontology-based approaches},
 journal = {SIGMOD Rec.},
 volume = {33},
 number = {4},
 year = {2004},
 issn = {0163-5808},
 pages = {65--70},
 doi = {http://doi.acm.org/10.1145/1041410.1041421},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@TECHREPORT{rapportSHOINK,
  AUTHOR = {Nguyen, TD Thu and Le-Thanh, N},
  INSTITUTION = {Laboratoire I3S (CNRS - UNSA), France},
  NUMBER = {2006-34-FR},
  TITLE = {La contrainte d'identification dans la Logique de description $\mathcal{SHOIN}(\mathbf{D})$},
  TYPE = {ISRN I3S/RR-},
  YEAR = 2006
}

@INPROCEEDINGS{RcisSHOINKD,
  AUTHOR = {Nguyen, TD Thu and Le-Thanh, N},
  BOOKTITLE = {Proc.\ of the 1th Int.\ Conf.\ on Research Challeges in Information Science (RCIS~2007)},
  TITLE = {Identification constraints in $\mathcal{SHOIN}(\mathbf{D})$},
  Note = {Accepted to publish.},
  YEAR = 2007
}

@TECHREPORT{rapportOWLK,
  AUTHOR = {Nguyen, TD Thu and Le-Thanh, N},
  INSTITUTION = {Laboratoire I3S (CNRS - UNSA), France},
  NUMBER = {2007-03-FR},
  TITLE = {Extending {OWL}-{DL} with identification constraints},
  TYPE = {ISRN I3S/RR-},
  YEAR = 2007
}

@book{UMLbook,
  editor    = {Keng Siau and
               Halpin, TA},
  title     = {Unified Modeling Language: Systems Analysis, Design and Development Issues},
  publisher = {Idea Group},
  year      = {2001},
  isbn      = {1-930708-05-X},
}

@BOOK{FOL95,
   author = "Raymond M Smullyan",
   title = "First-Order Logic",
   publisher = "Dover Publications",
   year =  1995,
   key = "ISBN-10: 0486683702"
}

@inproceedings{DBLP:conf/ekaw/SpynsAWJL04,
  author    = {Spyns, P and
               Acker, SV and
               Wynants, M and
               Jarrar, M and
               Lisovoy, A},
  title     = {{Using a Novel ORM-Based Ontology Modelling Method to Build
               an Experimental Innovation Router.}},
  booktitle = {EKAW},
  year      = {2004},
  pages     = {82-98},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3257{\&}spage=82},
  crossref  = {DBLP:conf/ekaw/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 @book{ER555645,
 author = {Thalheim, B},
 title = {Entity-Relationship Modeling: Foundations of Database Technology},
 year = {2000},
 isbn = {3540654704},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
 }

@BOOK{Win90,
   author = "JJVR Wintraecken",
   title = "The NIAM Information Analysis Method: theory and practice",
   publisher = "Kluwer Academic Publishers",
   year =  1990,
   key = "ISB 0-7923-0263-X"
   }
