Formal Methods in Software Engineering

On Logical Foundation of the Semantic Web

Year2005
TypeTalk
StatusPublished
AuthorsDorel Lucanu

Links

    Abstract

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

    BibTeX

    @Misc{acadrom2005, author = {D. Lucanu}, title = {On Logical Foundation of the Semantic Web}, institution = {Department of Information Science of Romanian Academy}, year = {2005}, url = {[AR]} }