On Logical Foundation of the Semantic Web

We show that the logics used in the Semantic Web can be structured as institutions.

Sidebar