Logo der Freien Universität BerlinFreie Universität Berlin

Fachbereich Mathematik und Informatik


Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz
Hinweise zur Datenübertragung bei der Google™ Suche
Fachbereich Mathematik und Informatik/Informatik/

Dahlem Center for Machine Learning and Robotics

Menü
  • Members

    loading...

  • Open Positions

    loading...

  • Publications

    loading...

  • Teaching

    loading...

  • Theses

    loading...

  • Projekte

    loading...

  • News

    loading...

  • Videos

    loading...

  • FAQs

    loading...

Mikronavigation

  • Startseite
  • Informatik
  • Arbeitsgruppen
  • Dahlem Center for Machine Learning and Robotics
  • Theses
  • Completed theses
  • Bachelor theses
  • 2013
  • A framework for inconsistency detection in expressive ontologies

Marco Ziener:

A framework for inconsistency detection in expressive ontologies

Kurzbeschreibung

Expressive ontologies provide a useful tool for the precise and short description of knowledge at increased costs for computation. Due to the expressiveness it is also easier to introduce contradictions and inconsistencies into the ontology and thus disallow to apply it in practical problems. In this work an extendable framework for the detection of inconsistencies is described and implemented on the basis of a graph  representation of the ontology. The framework is used concretely for checking the partial consistency of the Suggested Upper Merged Ontology. In the end different kinds of errors are categorized and analyzed.

Betreuer
Christoph Benzmüller, Marcel Kyas
Abschluss
Bachelor of Science (B.Sc.)
Abgabedatum
23.06.2013

Downloads

  • Bachelorarbeit Marco Ziener
be-digital Pressekonferenz am 07.12.15Mexico Oktober 2015MiG Mexico 2015Finalisten German Open 2014Simulator-Erfinder: Professor Raul Rojas (l.) und David Dormagen von der AG Intelligente Systeme und RobotikMadeInGermany in MexicoThe Tony Sale Award winners 2014: Robert B Garner (L) and  Raul Rojas (R), Nov. 2014Able und BakerCarolo-Cup-Team2014Formalisierung und Automatisierung von Gödels GottesbeweisAutoNOMOS-Team 2011Besuch Senatorin Yzer am 22.03.13Die autonomen Fahrzeuge der AG Intelligente Systeme und RobotikArchaeocopterMulticopterEntwicklung einer Roboterbiene

Dates

spinner

News

spinner

Service-Navigation

  • Startseite
  • Personen
  • Kontakt
  • Imprint
  • Datenschutz

Diese Seite

  • Drucken
  • RSS-Feed abonnieren