Campus Event Calendar

Event Entry

New for: D1, D3, D4, D5

What and Who

Logics and Ontology Engineering

Uli Sattler
University of Manchester

Uli Sattler is a professor in the Information Management Group of the University of Manchester. She received her PhD in 1998 from RWTH Aachen, and her Habilitation in 2003 from TU Dresden, and then moved to the University of Manchester. Her research interests are in logics for knowledge representation and automated reasoning, in particular in Description, Modal, and Dynamic Logics, the corresponding inference problems, their complexity, and their usage to support domain experts, e.g., in ontology engineering. She developed, together with Ian Horrocks and others, the Description Logics underlying OWL and OWL 2, and was member of the second OWL working group.
AG 1, AG 3, AG 4, AG 5, SWS, RG1, MMCI  
AG Audience

Date, Time and Location

Wednesday, 24 November 2010
90 Minutes
E1 4


"Ontologies" are being developed as logical theories capturing domain knowledge, and used in a variety of applications, most prominently in clinical and life sciences. They are used to design and maintain terminologies, to base information systems on, and to provide flexible access to data. Description Logics are used as the basis for ontology languages such as OWL, and the standardisation of these ontology languages has led to an increasing number of applications and tool developments, and to an increased interest in automated reasoning services. I will briefly introduce OWL and describe its relationship with other logics, and then describe some of the recent developments in automated reasoning for ontology engineering. On the one hand, progress was made regarding standard reasoning tasks:
e.g., we have seen the development of new reasoning techniques to cope with extremely large, modestly complex theories and to answer queries against databases w.r.t. ontologies. On the other hand, the "serious" usage of ontologies requires ever more and powerful non-standard reasoning services such as the extraction of modules or the explanation of entailments from an ontology. I will assume a basic knowledge of first order or modal logic, and hope to provide an interesting overview of this lively area of logic-based knowledge representation.


--email hidden
passcode not visible
logged in users only

Uwe Brahm, 02/14/2011 13:34
gk-sek, 11/18/2010 08:55
gk-sek, 11/17/2010 11:17 -- Created document.