Integrating Context of Statements within Description Logics

Antoine Zimmermann, José M. Giménez-García

We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In…