Formal Semantics: Identity assertions about ‘Barack Obama’

Source: LOD Laundromat

Empirical Semantics: Identity assertions about ‘Barack Obama’



  • person
  • senator
  • president
  • government

Names are not arbitrary constants

Graph G₁

id:store def:sells id:tent.
id:tent  def:costs "¥150,000".
id:tent  rdf:type  id:Product.

Graph G₂

fy:aHup   pe:ko9sap_ fy:jufn12.
fy:jufn12 pe:oao9_   "Ufou".
fy:jufn12 rdf:type   fyufnt:tmffqt.

Empirically evaluating ABox repair



$$\models_{IAR} \quad \subseteq \quad \models_{AR} \quad \subseteq \quad \models_{Brave}$$
Three formal approaches with different properties.


Byy Jacco van Splunteren.

Thank you for your attention!

Formal meaning

Empirical meaning