Informatisches Kolloquium Sommersemester 2006
Montag, 10. Juli 2006
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B
Dr. Luciano SerafiniDepartment of Information and Communication Technology
University of Trento
Distributed reasoning in heterogeneous ontology spaces
In this presentation we first introduce a formalism for representing multiple local ontologies, connected by directional semantic mappings. We present (1) a relatively small change of semantics which localizes inconsistency (thereby making unnecessary global satisfiability checks), and preserves directionality of ``knowledge import''; (2) a characterization of inferences using a fixed-point operator, which can form the basis of a cache-based implementation for local reasoners; (3) a truly distributed tableaux algorithm for cases when the local reasoners use subsets of \shiq{}. Throughout, we indicate the applicability of the results to several recent proposals for knowledge representation and reasoning that support modularity, scalability and distributed reasoning.
Kontakt
Prof. Dr. Walther von HahnTelefon +49 40 42883 2434
