On Logical Foundation of the Semantic Web Dorel Lucanu We show that the logics used in the Semantic Web can be structured as institutions. PDF AR BIB
