Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes

Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach uses an expressive ontology specification language, namely description logics in combination with logic programming rules, and formalizes the multimedia interpretation process using a combined abduction and deduction operation. We describe how the observables as well as the space of abducibles can be formally defined. The approach is evaluated using examples from text processing, but can also be applied to interpret content in other modalities.

• Type: Journal
• Year: 2009
• Where: DLOG
• Authors: Irma Sofia Espinosa Peraldi, Atila Kaya, Ralf Möller
• Keywords: Automated Reasoning, Deduction Operation, DLOG 2009, Expressive Ontology Specification, Logic Programming Rules