Room 326

Description logic: theory and application

Sangeetha

IIT Madras

Description Logic(DL) is a knowledge representation logic. It can be used to check the consistency of a set of statements or infer implicit knowledge. DL is used for reasoning OWL (Web Ontology Language) documents. OWL documents are known as ontologies. An ontology editor is Protege. It is a GUI-based editor with support for reasoning, querying, consistency checking, explanations, visualizations, etc. This talk is meant to show the increasing levels
of expressiveness of DL till its current level.