Towards pattern-based reasoning for friendly ontology debugging

International Journal on Artificial Intelligence Tools

Volumn 17, Issue 4, 2008, Pages 607-634

  Jarrar, Mustafa ^a   Heymans, Stijn ^b  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

Debugging; Model verification; Object role modeling; Ontology engineering; Ontology tools; ORM; Reasoning; Satisfiability

Indexed keywords

DEBUGGING; MODEL VERIFICATION; OBJECT ROLE MODELING; ONTOLOGY ENGINEERING; ONTOLOGY TOOLS; ORM; REASONING; SATISFIABILITY;

ONTOLOGY;

EID: 51449096449     PISSN: 02182130     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218213008004072     Document Type: Article

References (47)

1. CaseTalk http://www.casetalk.com/php/ (Visited Oct 2006).
2. Infagon http://www.mattic.com/Infagon.html (Visited Oct 2006).
3. NORMA http://sourceforge.net/projects/orm, (Visited Oct 2006).
4. VisioModeler http://www.microsoft.com/downloads/results.aspx?displaylang= en&freeText=VisioModeler (Visited Oct 2006).
5. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
6. A. Berztiss and J. Bubenko. A software process model for business reengineering. In Proce. of the IFIP 8.1 conf on Info Sys Development, pages 184-200, Norway, 1995.
7. L. Bird, A. Goodchild, and T.A. Halpin. Object role modelling and xml-schema. In Proc. of the 19th Int. Conf. on Conceptual Modeling, LLNCS. Springer, 1999.
8. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. Explaining alc subsumption. In Description Logics, 1999.
9. Casteleyn S. Plessers P. De Troyer, O. Using orm to model web systems. In Proc. of OTM Workshops (ORM'05), Cyprus, 2005. Springer.
10. Olga de Troyer. A formalization of the binary object-role model based on logic. Data and Knowledge Engineering, 19:1-37, 1996.
11. Olga de Troyer and Robert Meersman. A logic framework for a semantics of object-oriented data modelling. In Proc. of 14th Int. Con. Object-Orientation and Entity-Relationship Modelling. LNCS 1021, Springer., 238-249 1995.
12. Jan Demey, Mustafa Jarrar, and Robert Meersman. A conceptual markup language that supports interoperability between business rule modeling systems. In Proc. of the 10th Int Conf on Cooperative Information Systems (CoopIS 02), number 2519 in LNCS, pages 19-35. Springer, 2002.
13. Marlon Dumas, Lachlan Aldred, Mitra Heravizadeh, and Arthur H.M. ter Hofstede. Ontology markup for web forms generation. In WWW'02 Workshop on Real-World Applications of RDF and the Semantic Web, 2002.
14. A. Rector N. Drummond H. Wang, M. Horridge and J. Seidenberg. Debugging owl-dl ontologies: A heuristic approach. In Proc of the Int Semantic Web Conf, 2005.
15. T. Halpin, K. Evans, P. Hallock, and W. MacLean. Database Modeling with Microsoft Visio for Enterprise Architects. Microsoft Visio, San Francisco., 2003,.
16. Terry Halpin. A logical analysis of information systems: static aspects of the data-oriented perspective. University of Queensland, PhD Thesis, 1989.
17. Terry Halpin. Information Modeling and Relational Databases, 3rd edn. Morgan-Kaufmann, 2001.
18. Terry Halpin. Join constraints. In Proc. of the 7th International IFIP WG8.1 Workshop (EMMSAD'02), June 2002.
19. Terry Halpin. Business rule verbalization. In Proc. of Info Sys Technology and its Applications (ISTA'2004), pages 39-52, 2004.
20. Terry Halpin. Objectification. In John Krogstie Terry Halpin, Keng Siau, editor, Proceddings of the 10th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD05) at CAiSE 2005, 2005.
21. Terry Halpin and Matt Curland. Automated verbalization for orm 2. In Proc of the OTM 2006 Workshops(ORM'06). Springer Verlag, 2006.
22. Terry Halpin and Erik Proper. Subtyping and polymorphism in object-role modelling. Data and Knowledge Engineering, 15(3):251-281, 1995.
23. A. Bleeker H. Proper and S. Hoppenbrouwers. Object-role modelling as a domain. In Proc. of the Workshop on Evaluating Modeling Methods for Systems Analysis and Design, volume 3, page 317328, 2004.
24. Mustafa Jarrar. Towards Effectiveness and Transparency in e-Business Transactions, An Ontology for Customer Complaint Management. Chapter x, in Garcia R.(eds): Web Methodologies for E-Business Applications: Ontologies, Processes and Management Practices. Idea Group Inc. (2008).
25. Mustafa Jarrar. Modularization and automatic composition of object-role modeling (orm) schemes. In OTM 2005 Workshops, Proc of (ORM'05)., volume LNCS 3762, page 613. SPRINGER, 2005.
26. Mustafa Jarrar. Towards Methodological Principles for Ontology Engineering. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium, May 2005.
27. Mustafa Jarrar. Orm markup language, version 3. Technical report, Vrije Universiteit Brussel, Brussels, Belgium, August 2006.
28. Mustafa Jarrar. Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering. In Proc of the 15th int conf on World Wide Web (WWW2006), pages 497-503, Scotland., May 2006. ACM Press, New York.
29. Mustafa Jarrar. Mapping orm into the shoin/owl description logic- towards a methodological and expressive graphical notation for ontology engineering. In OTM Workshops 2007, Proc of the (ORM 07), volume 4805 of LNCS, pages 729-741, Portogal, November 2007. Springer.
30. idf description logic. In Proc of the 26th Int Conf on Conceptual Modeling (ER 2007), volume 4801, pages 181-197, New Zealand, November 2007. Springer.
31. Mustafa Jarrar, Jan Demey, and Robert Meersman. On using conceptual data modeling for ontology engineering. Journal on Data Semantics (Special issue on Best papers from the ER/ODBASE/COOPIS 2002 Conferences.), 2800:185-207, October 1.
32. Mustafa Jarrar and Mohammed Eldammagh. Reasoning on orm using racer. Technical report, Vrije Universiteit Brussel, Brussels, Belgium, August 2006.
33. Mustafa Jarrar and Stijn Heymans. Unsatisfiability reasoning in orm conceptual schemes. In Proceeeding of International Conference on Semantics of a Networked World., volume LNCS. Springer, March 20006.
34. Mustafa Jarrar, Maria Keet, and Paolo Dongilli. Multilingual verbalization of orm conceptual models and axiomatized ontologies. Technical report, Vrije Universiteit Brussel, Brussels, Belgium, February 2006.
35. Mustafa Jarrar and Robert Meersman. The DOGMA Approach for Ontology Engineering, volume 1 of Advances in Web Semantic, A state-of-the Art Semantic Web Advances in Web Semantics IFIP2.12., chapter 3. Springer, 2007.
36. Mustafa Jarrar, Ruben Verlinden, and Robert Meersman. Ontology-based customer complaint management. In OTM 2003 Workshops, volume LNCS 2889, pages 594-606, Italy, 2003. Springer.
37. P De Leenheer, A De Moor, and R Meersman. Context dependency management in ontology engineering: a formal approach. J. on Data Semantics, 4380:26-56, 2007.
38. Thorsten Liebig, Friedrich von Henke, and Olaf Noppens. Explanation support for owl authoring. In Explanation-Aware Computing: Papers from the 2005 Fall Symposium FS-05-04, CA, USA, 2005.
39. K. North. Modeling, data semantics, and natural language. New Architect magazine, 1999.
40. Bijan Parsia, Evren Sirin, and Aditya Kalyanpur. Debugging owl ontologies. In WWW '05: Proceedings of the 14th international conference on World Wide Web, pages 633-640, New York, NY, USA, 2005. ACM Press.
41. Baba Piprani. Using orm-based models as a foundation for a data quality firewall in an advanced generation data warehouse. In Proc. of OTM workshops (ORM'06), volume LNCS. Springer, 2006.
42. Peter Plessers and Olga De Troyer. Resolving inconsistencies in evolving ontologies. In ESWC, pages 200-214, 2006.
43. A Rector, N Drummond, M Horridge, J Rogers, H Knublauch, R Stevens, H Wang, and Ch Wroe. Owl pizzas: Practical experience of teaching owl-dl: Common errors & common patterns. In EKAW, pages 63-81, 2004.
44. Proper H. van der Weide T ter Hofstede, A. Formal definition of a conceptual language for the description and manipulation of information models. InfoSys, 18(7):471-495, 1993.
45. O. De Troyer, R. Meersman, and P. Verlinden. RIDL* on the CRIS case: A workbench for NIAM. Technical report, INFOLAB, Tilburg University, The Netherlands.
46. Patrick van Bommel, Arthur H. M. ter Hofstede, and Theo P. van der Weide. Semantics and verification of object-role models. InfoSys, 16(5):471-495, 1991.
47. G. Verheijen and P. van Bekkum. NIAM, aN Information Analysis Method. In Proc. of IFIP Conference on Comparative Review of Information Systems Methodologies, pages 537-590. North-Holland, 1982.