Welcome to the L3 Group website

Metaontology in OWL

This page presents then final results of our project on the metaontological schema for applied ontologies. The project was supported by the grant N N101 150037 from the Ministry of Science and Higher Education.


 

The L3 Group

The L3 Group was established in 2008 by four logicians, Paweł Garbacz, Marek Lechniak, Piotr Kulicki and Robert Trypuz, from the Faculty of Philosophy at the John Paul Catholic University of Lublin. The group focuses on the use of formal and philosophical methods in Artificial Intelligence and Computer Science. In particular, our research concerns the development and application of the so-called engineering ontologies and the modal logics.  The name of the group originates from the surnames of three founding fathers of the use of formal methods in philosophy and elsewhere: R. Lullus, G. W. Leibniz, and S. Leśniewski. As nanos gigantum humeris insidentes, we believe that this old paradigm will turn out to be fruitful also in the domain of information science.