A palestra do prof. Ivan Varzinczak será: "Reasoning about concept and role typicality in ontologies" Abstract: Description Logics (DLs) are a family of logic-based knowledge representation formalisms with useful computational properties and a variety of applications in artificial intelligence and in databases. In particular, DLs are well-suited for representing and reasoning about terminological knowledge and constitute the formal foundations of semantic-web ontologies. Technically, DLs correspond to decidable fragments of first-order logic and are closely related to modal logics. Notwithstanding their good trade-off between expressive power and computational complexity, DLs remain fundamentally classical formalisms and therefore are not suitable for modelling and reasoning about aspects that are ubiquitous in human quotidian reasoning. Examples of these are exceptions to general rules, incomplete knowledge, and many others, characterising the type of reasoning usually...
