Description Logics 2007: Brixen-Bressanone, Italy

Refine list

showing all ?? records

Invited Talk

Session: DL-Lite

Session: DLs and other Formalisms

Session: (Conjunctive) Queries

Session: Multiple Ontologies, ABox reasoning & DL Applications

Invited Talk

Session: EL and DL Extensions

Session: Handling Inconsistency

Session: Reasoning techniques

Session: (Dis)Similarity

Invited Talk

Session: Actions and Enhancing reasoning

a service of  Schloss Dagstuhl - Leibniz Center for Informatics