55" IsMandatory="true" IsUnique="true" PredicatePosition="1" RoleReading="is identified by RolePlayerObjectID="1949" IsMandatory="false" IsUnique="false" PredicatePosition="2" RoleReading="attends" RolePlayerObjectID="18" /> <Role RoleID="48" IsMandatory="false" IsUnique="false" PredicatePosition="1" RoleReading="contains" RolePlayerObjectID="51" /> <Role RoleID="79" IsMandatory="false" IsUnique="false" PredicatePosition="2" RolePlayerObjectID="81" /> <Role RoleID="78" IsMandatory="false" IsUnique="true" PredicatePosition="1" RoleReading="hasTopic" RolePlayerObjectID="51" /> <Role RoleID="72" IsMandatory="false" IsUnique="true" PredicatePosition="2" RolePlayerObjectID="70" /> <Role RoleID="71" IsMandatory="true" IsUnique="true" PredicatePosition="1" RoleReading="is identified by" RolePlayerObjectID="25" /> <Role RoleID="64" IsMandatory="false" IsUnique="true" PredicatePosition="2" RolePlayerObjectID="62, Roles> <Objects> <Object ObjectID="31" ObjectName="CountryName" ObjectKind="Value Type PhysicalDatatype="CHAR(10)"> <PlayedRoles> <PlayedRole PlayedRoleID="29" /> </PlayedRoles> </Object> <Object ObjectID="25" ObjectName="Subject" ReferenceMode="id" ObjectKind="Entity Type" IsIndependent="false" IsExternal="false" ConceptualDatatype="C-Fixed Length ,
> <PlayedRoles> <PlayedRole PlayedRoleID=3519" ObjectName="Country" ReferenceMode="id" ObjectKind="Entity Type" IsIndependent="false" IsExternal=, C-Fixed Length, vol.23, issue.1010 ,
16Entity Type" IsIndependent="false" IsExternal="false"> <PlayedRoles> <PlayedRole PlayedRoleID=494222" /> <PlayedRole PlayedRoleID="1545" ObjectName="Name" ObjectKind="Value Type" IsIndependent="false" IsExternal="false" ConceptualDatatype="C-Fixed Length(10) PhysicalDatatype="CHAR(10)"> <PlayedRoles> <PlayedRole PlayedRoleID="43" /> </PlayedRoles> </Object> <Object ObjectID="38" ObjectName="SubjectName" ObjectKind="Value Type" IsIndependent="false" IsExternal="false" ConceptualDatatype="C-Fixed Length(10) PhysicalDatatype="CHAR(10)"> <PlayedRoles> <PlayedRole PlayedRoleID=, PlayedRoles> </Object> <Object ObjectID="62" ObjectName="Groupid" ObjectKind="Value Type" IsIndependent="false" IsExternal="false" ObjectNamespace="Group" ConceptualDatatype="C-Fixed Length ,
CHAR(1054" ObjectName="Countryid" ObjectKind="Value Type" IsIndependent="false" IsExternal="false" ObjectNamespace="Country" ConceptualDatatype="C-Fixed Length ,
CHAR(10) /> <Object ObjectID="51" ObjectName="Group" ReferenceMode="id" ObjectKind="Entity Type" IsIndependent="true" IsExternal= ,
> <PlayedRoles> <PlayedRole PlayedRoleID=784870" ObjectName="Subjectid" ObjectKind="Value Type" IsIndependent="false" IsExternal=, C-Fixed Length, issue.1010 ,
CHAR(10) /> <Object ObjectID="81" ObjectName="Topic" ObjectKind="Value Type" IsIndependent="false" IsExternal="false" DatatypeProperty ,
Available at http://sourceforge ,
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles, 1990. ,
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles, Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, pp.446-451, 1991. ,
The description logic handbook: theory, implementation , and applications, 2003. ,
DOI : 10.1017/CBO9780511711787
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or Making KRIS get a move on, Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference, pp.270-281, 1992. ,
Basic description logics In The description logic handbook: theory, implementation, and applications, pp.43-95, 2003. ,
Fully Communication Oriented NIAM, Proceedings of NIAM-ISDM 2, pp.1-35, 1994. ,
Implementing federated database systems by compiling SchemaSQL, Proceedings International Database Engineering and Applications Symposium, pp.192-201, 2002. ,
DOI : 10.1109/IDEAS.2002.1029672
Normalization and ORM. The Journal of Conceptual Modeling, 1998. ,
Data Schema Normalization, Journal of Conceptual Modeling, issue.9, 1999. ,
Perspective and Abstraction, Journal of Conceptual Modeling, vol.17, 2000. ,
Reasoning on UML class diagrams, Artificial Intelligence, vol.168, issue.1-2, pp.70-118, 2005. ,
DOI : 10.1016/j.artint.2005.05.003
Relational Databases on the Semantic Web, 1998. ,
Semantic Web -XML2000 Available at http://www.w3.org, pp.1206-1208, 2000. ,
The Semantic Web, Scientific American, vol.284, issue.5, 2001. ,
DOI : 10.1038/scientificamerican0501-34
Database to RDF Mapping Language] Christian Bizer and Andy Seaborne. D2RQ -Treating Non-RDF Databases as Virtual RDF Graphs, 12th International World Wide Web Conference ISWC2004 (posters), 2003. ,
ConQuer: A Conceptual Query Language, ER '96: Proceedings of the 15th International Conference on Conceptual Modeling, pp.121-133, 1996. ,
A Formal ORM-to-UML Mapping Algorithm Research Memoranda 015, Maastricht : METEOR, Maastricht Research School of Economics of Technology and Organization, 2002. ,
Adding Uniqueness Constraints to Description Logics (Preliminary Report), DOOD '97: Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases, pp.85-102, 1997. ,
The Tractability of Subsumption in Frame-Based Description Languages, Proceedings of the 4th National Conference on Artificial Intelligence (AAAI'84), pp.34-37, 1984. ,
Resource Description Framework (RDF) Schema Specification 1.0, 2000. ,
From relational Databases to OWL ontologies, Sixth National Russian Research Conference, 2004. ,
Conjunctive query containment in description logics with n-ary relations, International Workshop on Description Logics, 1997. ,
Structured objects: Modeling and reasoning, Proceedings of the 4th International Conference on Deductive and Object-Oriented Databases (DOOD'95), number 1013 in Lecture Notes in Computer Science, pp.229-246, 1995. ,
DOI : 10.1007/3-540-60608-4_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4686
Identification Constraints and Functional Dependencies in Description Logics, Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp.155-160, 2001. ,
Data integration: a logic-based perspective, AI Magazine, vol.26, issue.1, pp.59-70, 2005. ,
On the decidability of query containment under constraints, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '98, pp.149-158, 1998. ,
DOI : 10.1145/275487.275504
A Framework for Ontology Integration In The Emerging Semantic Web, Selected papers from the first Semantic web working symposium, 2001. ,
Information integration: conceptual modeling and reasoning support, Proceedings 3rd IFCIS International Conference on Cooperative Information Systems (Cat No 98EX122) COOPIS-98, pp.280-291, 1998. ,
DOI : 10.1109/COOPIS.1998.706234
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.177.1882
Jena, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters , WWW Alt. '04 ,
DOI : 10.1145/1013367.1013381
REPRESENTING AND USING INTERSCHEMA KNOWLEDGE IN COOPERATIVE INFORMATION SYSTEMS, Journal for Intelligent and Cooperative Information Systems, pp.375-399, 1993. ,
DOI : 10.1142/S0218215793000174
Towards a Semantic Web of Relational Databases: A Practical Semantic Toolkit and an In-Use Case from Traditional Chinese Medicine, 4th International Semantic Web Conference (ISWC'06), pp.750-763, 2006. ,
DOI : 10.1007/11926078_54
The Entity-Relationship Model: Toward a Unified View of Data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976. ,
Pellet: The Open Source OWL DL Reasoner ,
Available at http://www.intellidimension.com. [40] Microsoft Corporation Microsoft Visio for Enterprise Architects (VEA), 2000. ,
What's in an aggregate: Foundations for description logics with tuples and sets, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp.801-807, 1995. ,
OWL: a data and schema representation format based on OWL, APCCM '05: Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling, pp.89-96, 2005. ,
A Markup Language for ORM Business Rules, Rule Markup Languages for Business Rules on the Semantic Web, in conjunction with the First International Semantic Web Conference, 2002. ,
Semantic Integration Research in the Database Community: A Brief Survey, pp.83-94, 2005. ,
Complexity of reasoning In The description logic handbook: theory, implementation, and applications, pp.96-136, 2003. ,
Integrating Databases into the Semantic Web through an Ontology-Based Framework, ICDEW '06: Proceedings of the 22nd International Conference on Data Engineering Workshops, p.54, 2006. ,
Fundamentals of Database Systems, 1999. ,
Object-oriented systems analysis: a model-driven approach, 1992. ,
Reasoning with UML class diagrams, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998. ,
DOI : 10.1109/WIFT.1998.766304
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.8187
Concepts for Modelling Information, IFIP Working Conference on Modelling in Data Base Management Systems, pp.95-109, 1976. ,
OIL: an ontology infrastructure for the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, 2001. ,
DOI : 10.1109/5254.920598
First-order logic and automated theorem proving, 1990. ,
DOI : 10.1007/978-1-4684-0357-2
The UML as a formal modeling notation, Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, pp.75-81, 1997. ,
DOI : 10.1016/S0920-5489(98)00020-8
Logic and Databases, 1978. ,
The TSIMMIS approach to mediation: Data models and languages, Journal of Intelligent Information Systems, vol.8, issue.2, pp.117-132, 1997. ,
DOI : 10.1023/A:1008683107812
What can databases do for peer-to-peer? WebDB Workshop on Databases and the Web, 2001. ,
A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, pp.199-220, 1993. ,
Horn Logic Denotations and Their Applications, Proceedings of Workshop on Current trends and Future Directions in Logic Programming Research, 1998. ,
DOI : 10.1007/978-3-642-60085-2_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.732
Description of the RACER System and its Applications, Proceedings International Workshop on Description Logics (DL-2001), pp.1-3, 2001. ,
Racer: A Core Inference Engine for the Semantic Web, Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2nd International Semantic Web Conference ISWC 200361] H. Habrias. Normalized Object Oriented Method. In Encyclopedia of Microcomputers, pp.27-36, 1993. ,
The Piazza Peer Data Management System, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.7, pp.787-798, 2004. ,
Schema mediation for large-scale semantic data sharing, The VLDB Journal, vol.24, issue.1, pp.68-83, 2005. ,
DOI : 10.1007/s00778-003-0116-y
Object Role Modeling, The official site for Conceptual Data Modeling ,
A logical analysis of information systems: static aspects of the data-oriented perspective, 1989. ,
Augmenting UML with fact-orientation, Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001. ,
DOI : 10.1109/HICSS.2001.926348
Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design, 2001. ,
Object-role modeling (ORM/NIAM) In Handbook on Architectures of Information Systems, pp.81-103, 2006. ,
ORM 2 graphical notation, 2005. ,
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff, 2000. ,
Available at http://www.w3.org/TR/rdf-mt ,
An empirical analysis of terminological representation systems, Artificial Intelligence, vol.68, issue.2, pp.367-397, 1994. ,
DOI : 10.1016/0004-3702(94)90071-X
Qualifying Number Restrictions in Concept Languages, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, pp.335-346, 1991. ,
A Practical Guide To Building OWL Ontologies Using The Protégé-OWL Plugin and COODE Tools Edition 1, 2004. ,
The FaCT System Available at http://www.cs.man.ac.uk/ hor- rocks/FaCT ,
Optimising Tableaux Decision Procedures for Description Logics, 1997. ,
DAML+OIL: A Reasonable Web Ontology Language, Advances in Database Technology -EDBT 2002 8th International Conference on Extending Database Technology Proceedings, volume 2287 of Lecture Notes in Computer Science, pp.2-13 ,
Implementation and optimization techniques In The description logic handbook: theory, implementation, and applications, pp.306-346 ,
From SHIQ and RDF to OWL: the making of a Web Ontology Language, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.1, pp.7-26, 2003. ,
DOI : 10.1016/j.websem.2003.07.001
The Generation of DAML+OIL, the 2001 International Description Logics Workshop (DL-2001) CEUR Workshop Proceedings. CEUR-WS.org, 2001. ,
OWL Web Ontology Language, Semantics and Abstract Syntax Available at http://www.w3.org/TR, 2004. ,
Reducing OWL entailment to description logic satisfiability, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.4, pp.345-357, 2004. ,
DOI : 10.1016/j.websem.2004.06.003
Ontology reasoning in the SHOQ(D) description logic, Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp.199-204, 2001. ,
A Tableaux Decision Procedure for SHOIQ [85] I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to Decide Query Containment Under Constraints Using a Description Logic, Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJ- CAI 2005) 7th International Workshop on Knowledge Representation meets Databases (KRDB2000), pp.448-453, 2000. ,
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions, 1999. ,
Practical Reasoning for Expressive Description Logics, LPAR '99: Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, pp.161-180, 1999. ,
DOI : 10.1007/3-540-48242-3_11
URL : http://arxiv.org/abs/cs/0005014
Semantic database modeling: survey, applications, and research issues, ACM Computing Surveys, vol.19, issue.3, pp.201-260, 1987. ,
DOI : 10.1145/45072.45073
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.6697
A framework for supporting data integration using the materialized and virtual approaches, SIGMOD '96: Proceedings of the 1996 ACM SIGMOD international conference on Management of data, pp.481-492, 1996. ,
Towards Automated Reasoning on ORM Schemes. -Mapping ORM into the DLR idf description logic, Proceedings of the 26th International Conference on Conceptual Modeling, 2007. ,
DOI : 10.1007/978-3-540-75563-0_14
Entities and relationships in Information, IFIP Working Conference on Modelling in Data Base Management Systems, 1977. ,
On decidability and complexity of description logics with uniqueness constraints, Description Logics, pp.193-202, 2000. ,
Logical foundations of object-oriented and frame-based languages, Journal of the ACM, vol.42, issue.4, pp.741-843, 1995. ,
DOI : 10.1145/210332.210335
Backus normal form vs. Backus Naur form, Commun. ACM, vol.7, issue.12, pp.735-736, 1964. ,
Data integration, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, pp.233-246, 2002. ,
DOI : 10.1145/543613.543644
Complexity of Terminological Reasoning Revisited, LPAR '99: Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, pp.181-200, 1999. ,
DOI : 10.1007/3-540-48242-3_12
Keys, Nominals, and Concrete Domains, Journal of Artificial Intelligence Research, vol.23, pp.667-7263, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000341
MAFRA ??? A MApping FRAmework for Distributed Ontologies, EKAW '02: Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, pp.235-250, 2002. ,
DOI : 10.1007/3-540-45810-7_23
The Planning Domain Definition Language Manual, 1998. ,
Representing Disjunction and Quantifiers in RDF, ISWC '02: Proceedings of the First International Semantic Web Conference on The Semantic Web, pp.250-263, 2002. ,
The RIDL conceptual language Research report, Int. Centre for Information Analysis Services, Control Data, 1982. ,
Database Design for Smarties: Using UML for Data Modeling, 1999. ,
Reasoning and revision in hybrid representation systems, 1990. ,
Identification constraints in SHOIN (D), Proceedings of the 1th International Conference on Research Challeges in Information Science, 2007. ,
Integrating Identification Constraints in Web Ontology, Proceedings of the 9th International Conference on Enterprise Information Systems, 2007. ,
Modeling ORM Schemas in Description Logics, Proceedings of the 14th ISPE International Conference on Concurrent Engineering (CE2007), 2007. ,
On the gross architecture for the next generation Database Management Systems, IFIP Working Conference on Modelling in Data Base Management Systems, pp.1-24, 1976. ,
DOI : 10.1007/978-3-662-41567-2_2
Current issues in conceptual schema concepts, IFIP Working Conference on Modelling in Data Base Management Systems, 1977. ,
Runtime and memory usage performance of description logics, Knowledge Retrieval, Use and Storage for Efficiency: Proceedings of the First International KRUSE Symposium, pp.13-27, 1995. ,
Description Logics: Reasoning Support for the Semantic Web, 2004. ,
The Unified Modeling Language reference manual, 1999. ,
A correspondence theory for terminological logics: preliminary report, Proceedings of IJCAI-91, 12th International Joint Conference on Artificial Intelligence, pp.466-471, 1991. ,
Attributive concept descriptions with complements, Artificial Intelligence, vol.48, issue.1, pp.1-26, 1991. ,
DOI : 10.1016/0004-3702(91)90078-X
Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases, ACM Computing Survey, vol.22, issue.3, pp.183-236, 1990. ,
Database reverse engineering: From the relational to the binary relationship model, Data & Knowledge Engineering, vol.10, issue.3, pp.293-315, 1993. ,
DOI : 10.1016/0169-023X(93)90033-L
Semantic Web complex ontology mapping, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003), 2003. ,
DOI : 10.1109/WI.2003.1241177
Tool-Supported Method for the Extraction of OCL from ORM Models, Business Information Systems, pp.449-463, 2007. ,
DOI : 10.1007/978-3-540-72035-5_35
Using a Novel ORM-Based Ontology Modelling Method to Build an Experimental Innovation Router, EKAW, pp.82-98, 2004. ,
DOI : 10.1145/508791.509008
Migrating dataintensive web sites into the semantic web, SAC '02: Proceedings of the 2002 ACM symposium on Applied computing, pp.1100-1107, 2002. ,
OWL 1.1 Web Ontology Language Overview, w3.org/Submission, p.11 ,
RDF Representation of Metadata for Semantic Integration of Corporate Information Resource, Proceedings of Real World RDF and Semantic Web Applications Workshop held in conjunction with WWW-2002, 2002. ,
Extensible markup language (xml) 1, 2000. ,
Comparative Study of Four Data Modeling Approaches, Proceedings 2nd international EMMSAD workshop, 1993. ,
Formal definition of a conceptual language for the description and manipulation of information models, Information Systems, vol.18, issue.7, pp.489-523, 1993. ,
Complexity Results and Practical Algorithms for Logics in Knowledge Representation, 2001. ,
A formalization of the binary object-role model based on logic, Data Knowledge Engineering, vol.19, issue.1, pp.1-37, 1996. ,
A Logic Framework for a Semantics of Object-Oriented Data Modeling, OOER '95: Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling, pp.238-249, 1995. ,
Optimizing Terminological Reasoning for Expressive Description Logics, Journal of Automated Reasoning, vol.6, issue.2, pp.277-316, 2007. ,
DOI : 10.1007/s10817-007-9077-y
Database Systems: The Complete Book, 2002. ,
Semantics and verification of object-role models, Information Systems, vol.16, issue.5, pp.471-495, 1991. ,
DOI : 10.1016/0306-4379(91)90037-A
Extensible Markup Language (XML) Schema Part 2: Datatypes Second Edition ,
OntoLift prototype, 2002. ,
The NIAM Information Analysis Method: theory and practice, 1990. ,