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.
See: Related proposals.