Unsatisfiability reasoning in ORM conceptual schemes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4254 LNCS, Issue , 2006, Pages 517-534

  Jarrar, Mustafa ^a   Heymans, Stijn ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONSTRAINT THEORY; SEMANTICS;

OBJECT-ROLE MODELING (ORM);

FORMAL LOGIC;

EID: 33845237821     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11896548_39     Document Type: Conference Paper

References (19)

1. [BCMNP03] F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
2. [BGH99] Bird, L., Goodchild, A., Halpin, T.A.: Object Role Modelling and XML-Schema. In: Laender, A., Liddle, S., Storey, V. (eds.): Proc. of the 19th International Conference on Conceptual Modeling (ER'00). LNCS, Springer, 1999.
3. [BHW91] P. van Bommel, A.H.M. ter Hofstede, and Th.P. van der Weide. Semantics and verification of object role models. Information Systems, 16(5), pp. 471-495, 1991.
4. [BvHHHMP04] S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL Web Ontology Language Reference. http://www.w3.org/TR/owl-ref/, 2004.
5. [CDLNR98] D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, R. Rosati. Information integration : Conceptual Modeling and reasoning support. In Proceedings of the 6th International Conference on Cooperative Information Systems (CoopIS'98), pp. 280-291, 1998.
6. [DJM02a]: Demey, J., Jarrar, M., Meersman, R.: A Conceptual Markup Language that supports interoperability between Business Rule modeling systems. Proc. of the Tenth International Conference on Cooperative Information Systems (CoopIS 02). Springer LNCS 2519, pp. 19-35, 2002.
7. [DMV] O. De Troyer, R. Meersman, and P. Verlinden. RIDL* on the CRIS case: A Workbench for NIAM. Technical report. INFOLAB, Tilburg University, The Netherlands.
8. [H] T. Halpin. Object-Role Modeling: an overview. White paper, http://www.orm.net.
9. rd edn. Morgan-Kaufmann, 2001.
10. [H89] T. Halpin. A logical analysis of information systems: static aspects of the data-oriented perspective. PhD thesis, University of Queensland, Brisbane, Australia, 1989.
11. [H97] Halpin, T.: An Interview- Modeling for Data and Business Rules. In: Ross, R. (eds.): Database Newsletter, vol. 25, no. 5. (Sep/Oct 1997). -This newsletter has since been renamed Business Rules Journal and is published by Business Rules Solutions, Inc.
12. [J06]: Jarrar, M.: Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering. Proceeding of the 15th International World Wide Web Conference, WWW2006. Edinburgh, Scotland. May 2006. ACM, 2006.
13. [J05] M. Jarrar. Towards Methodological Principles for Ontology Engineering. PhD thesis, Vrije Universiteit Brussel, 2005.
14. [JF05] Jarrar, M., Franconi, E.: Mapping ORM into the DLR description logic. Technical Report, August 2005.
15. [JVM03] Jarrar, M., Verlinden, R., Meersman, R.: Ontology-based Customer Complaint Management. In: Jarrar M., Salaun A., (eds.): Proceedings of the workshop on regulatory ontologies and the modeling of complaint regulations, Catania, Sicily, Italy. Springer Verlag LNCS. Vol. 2889. November (2003) pp. 594-606
16. [N99] North, K.: Modeling, Data Semantics, and Natural Language. In: New Architect magazine, 1999.
17. [T96] O. De Troyer. A formalization of the binary Object-role Model based on Logic. Data & Knowledge Engineering 19, North-Holland, Elsevier, pp. 1-37, 1996.
18. th International Conference Object-Orientation and Entity-Relationship Modelling (OO-ER'95), LNCS 1021, pp. 238-249, Springer, 1995.
19. [VB82] G. Verheijen and P. van Bekkum. NIAM, aN Information Analysis Method. In Proc. Of the IFIP Conference on Comparative Review of Information Systems Methodologies, North-Holland, 537-590, 1982