SDRule-L graphical presentation

Problem title: SDRule-L graphical presentation

Contact: Yan Tang

Problem Description: Applications (e.g. decision support systems, especially SDT) commit to an ontology through ontological commitments (also called application axiomatizations). Ontology based decision making systems mainly contain semantically grounded decision rules, which can be modeled using SDRule-L, an extension of ORM. There are currently 7 extra operators and connectors in SDRule-L. Its markup language is a hybrid language of ORM-ML and FOL RuleML.

You will build an extension to the existing tool to visualize and model these rules using SDRule-L. The logical operators and connectors allow logical reasoning cross situations. You can find more details on the rule writing of ontological commitment here.

Please have a look and don't hesitate to contact me if you have any question.

Research Category:

Research issues : logic, proof theory, etc.

skills: logic, DOGMA, ontologies, Eclipse and Eclipse plugin development, JGF, Java.

further readings:

1. M. Fitting, Basic Modal Logic, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1, Logical Foundations, 1993.
2. T. R. Gruber. A translation approach to portable ontologies. Knowledge Acqui-sition, 5(2):199-220, 1993. 2.
3. T. R. Gruber. Toward principles for the design of ontologies used for knowledge sharing. Workshop on Formal Ontology, Padova, Italy, 1992.
4. T. A. Halpin, Information modeling and relational databases: from conceptual analysis to logical design, San Francisco, California, Morgan Kaufman Publishers, 2001.
5. Yan Tang, Peter Spyns, Robert Meersman, Towards Semantically Grounded Decision Rules Using ORM+, Proc. of International RuleML Symposium on Rule Interchange and Applications (RuleML'07), in, Adrian Paschke and Yevgen Biletskiy (eds.), Springer Verlag, LNCS 4824.
6. Damien Trog; Jan Vereecken; Stijn Christiaens; Pieter De Leenheer; Robert Meersman , T-Lex: A Role-based Ontology Engineering Tool , ORM 2006, 02/11/2006, Volume 4278, Montpellier, France, (2006)

Student: Yan Gu (till 1st Feb., 2008), Christophe Debruyne (current)