Instructors: |
Dr. Mihai Codescu |

Dr. Oliver Kutz | |

Language: |
English |

Weekly timeplan: |
2 + 2 + 0 |

Intended audience: |
Master INF, CV, DKE, IngINF, DigEng |

This paper discusses the definition of ontologies (read only the informal, non-mathematical part).

Here and here (large archive) there is material about first-order logic. Here are the slides from the lecture.

Here are the list of exercises for the homework and the list of instructions for working with the software.

Here you find material about description logic. Formalization task, in HETS. Here is the reference for OWL Manchester Syntax.

Here you find material about ontology debugging using axiom pinpointing and modularity.

Here you find material about module extraction.

Here you find material about ontology matching (without the amalgamation slides).

Install Protégé, an ontology editor.

Make an account on Ontohub, a semantic repository for ontologies.

Use HETS for theorem proving.

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster