Thesis/Internship proposal
Formalizing ontological commitments using Modal Logic.

Contact: Dr. Mustafa Jarrar

Description: Applications commit to an ontology through ontological commitments (also called application axiomatizations). As many different applications may commit to the same ontology, one may ask what is the semantic relationship (similarity/difference) between these applications. You will formalize this relationship using Modal Logic, which allows logical reasoning cross situations. The notions of ontology and ontological commitment are described and formalized (in first-order-logic) in chapter 3. Please have a look and don't hesitate to contact me if you have any question.

Research issues (not required for internships): Modal logic, formalization of concept/ ontological commitments, etc.
Skills: logic.
See: Related proposals.