7th International Semantic Web Conference

Reasoning for Ontology Engineering and Usage

author: Ralf Möller, University of Hamburg
author: Anni-Yasmin Turhan, Dresden University of Technology
author: Matthew Horridge, School of Computer Science, The University of Manchester
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

Description

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.

Categories

Top: Computer Science: Semantic Web: Ontologies
Top: Computer Science: Semantic Web: OWL - Web Ontology Language

You might be experiencing some problems with Your Video player.

*Slides*
0:00	Reasoning for Ontology Engineering and Usage
1:14	Reasoning for Ontology Engineering and Usage Part 1: Introduction
1:59	Terminological knowledge
5:26	Ontologies
9:37	Editing ontologies
12:02	Various approaches for design
13:24	Software infrastructure for ontology engineering
16:36	OWL, a textual ontology language
18:02	Representative DL
22:22	Example concept descriptions - 1
22:26	Example concept descriptions - 2
22:59	Example concept descriptions - 1
23:27	Example concept descriptions - 3
26:20	Example concept descriptions - 4
27:26	Example concept descriptions - 5
27:58	ALCQ semantics
33:26	Interpretation of concept descrs
38:22	Satisfiability of concept descriptions
41:13	Tbox
48:34	Model of Tbox, subsumption
50:34	Tbox inference problems
51:51	ALCQ as a fragment of FOL
53:25	Classification - 1
57:01	Classification - 2
61:21	Demo
67:24	What about individuals?
77:35	Abox
77:56	Example - 1
78:09	Abox consistency
79:00	Abox inference problems
79:49	Ontology usage
81:18	Unique name assumption
82:31	Example - 2
83:36	Open world assumption
85:32	Query answering
87:08	Query answering w.r.t. ontologies
88:13	State of the art
92:30	- Questions

Lecture rating

People found this lecture:
Worth seeing
because it is:
Valuable and informative
Well presented
Easily understandable
Acceptably recorded
You need to login to cast your vote.

Report a problem or upload files

If 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)

Part 1: Introduction to Standard Reasoning 1:34:34 !NOW PLAYING	Part 2: A Bottom-up Approach to Designing Ontologies 1:01:38	Part 3: Understanding and repairing inferences 1:22:52
Part 4: Data Integration through Ontologies 0:50:49	Part 5: Data Integration through Ontologies 0:38:56