An infrastructure for formally ensuring interoperability in a heterogeneous semantic web
type: Dataset
description: euzenat2001f
landing page: Proc. 1st semantic web working symposium (SWWS)
keyword: conference-papers
keyword: dlml
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: infoinfo-wbcomputer-science-csweb
keyword: mathml
keyword: omdoc
keyword: proof
keyword: transformations
keyword: transmorpher
keyword: xml
keyword: xslt
issued: 2026-05-11T03:22:03.083556
modified: 2026-05-11T03:22:03.083562
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

An infrastructure for formally ensuring interoperability in a heterogeneous semantic web
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00822913
issued: 2026-05-11T03:22:03.088614
modified: 2026-05-11T03:22:03.067987