TITLE: Engineering of Logics for the Content-Based Representation of Information
PRESENTER: Franz Baader
AFFILIATION: Theoretical Computer Science Dresden University of Technology
DATE:Friday 30th January 2004
TIME: 12:00 noon - 1:00pm
PLACE: Seminar Room K17
Storage and transfer of information as well as interfaces for accessing this information have undergone a remarkable evolution. Nevertheless, information systems are still not "intelligent" in the sense that they "understand" the information they store, manipulate, and present to their users. A case in point is the World Wide Web and search engines allowing to access the vast amount of information available there. Web-pages are mostly written for human consumption and the mark-up provides only rendering information for textual and graphical information. Search engines are usually based on keyword search and often provide a huge number of answers, many of which are
completely irrelevant, whereas some of the more interesting answers are not found. In contrast, the vision of a "Semantic Web" aims for machine-understandable web resources, whose content can then be comprehended and processed both by automated tools, such as search engines, and by human users.
The content-based representation of information requires representation formalisms with a well-defined formal semantics since otherwise there cannot be a common understanding of the represented information. This semantics can elegantly be provided by a translation into an appropriate logic or the use of a logic-based formalism in the first place. This logical approach has the additional advantage that logical inferences can then be used to reason about the represented information, thus detecting inconsistencies and computing implicit information. However, in this setting there is a fundamental tradeoff between the expressivity of the representation formalism on the one hand, and the efficiency of reasoning with this formalism on the other hand.
This motivates the "engineering of logics", i.e., the design of logical formalisms that are tailored to specific representation tasks. This also encompasses the formal investigation of the relevant inference problems, the development of appropriate inferences procedures, and their implementation, optimization, and empirical evaluation. The talk will illustrate this approach with the example of so-called Description Logics and their application for conceptual modeling of databases and as ontology languages for the Semantic Web.
BIOGRAPHY OF SPEAKER:
School of Computer Science & Engineering, UNSW.