Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Abstract:

The “Web Ontology Language” (OWL) is a language to express ontologies and allows to do so in different syntax styles, with Functional Syntax (or Abstract Syntax) being the standard defining the capabilities, features, and limits of the language. Other syntax styles include the more human readable Manchester Syntax, which stores the same information and axioms in a different style. In comparison with Abstract Syntax however certain statements cannot be expressed in Manchester Syntax. This includes, among others, general concept inclusions which can define a set of individuals based on rules and properties.
In this talk an approach is proposed to extend Manchester Syntax such that all features of Abstract Syntax can be represented in Manchester Syntax.