Reasoning for Ontology Engineering and Usage
author: Anni-Yasmin Turhan, Dresden University of Technology
author: Matthew Horridge, School of Medicine, Stanford University
author: Ulrike Sattler, School of Mathematics, The University of Manchester
author: Diego Calvanese, Free University of Bozen-Bolzano
author: Giuseppe De Giacomo, Sapienza University of Rome
published: Nov. 24, 2008, recorded: October 2008, views: 2127
Report a problem or upload filesIf you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Watch videos: (click on thumbnail to launch)
We will provide a brief introduction to OWL, in fact OWL2, and the underlying Description Logic, clarifying the semantics and providing examples to help the understanding of this admittedly complex formalism. In particular, we will discuss common misunderstandings around OWL and OWL2, explain the open world assumption, inferences, and the functionality of reasoners. We will use the RacerPro reasoner to demonstrate the benefit of using reasoning for query answering over ontologies. Scalability issues with respect to expressive ontologies as well as huge assertional knowledge bases are discussed.
Download slides: iswc08_calvanese_dito_01.pdf (1.2 MB)
Download slides: iswc08_horridge_sattler_uari_01.pdf (21.5 MB)
Download slides: iswc08_moller_itsr_01.pdf (1.4 MB)
Link this pageWould you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !