License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2012.5
URN: urn:nbn:de:0030-drops-35103
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3510/
Go to the corresponding OASIcs Volume Portal

Paar, Alexander

From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote)

pdf-format:
3.pdf (0.2 MB)

Abstract

Since their standardizations by the W3C, the Extensible Markup Language (XML) and XML Schema Definition (XSD) have been widely adopted as a format to describe data and to define programming language agnostic data types and content models. Several other W3C standards such as the Resource Description Framework (RDF) and the Web Ontology Language (OWL) are based on XML and XSD. At the same time, statically typed object-oriented programming languages such as Java and C# are most widely used for software development.

This talk will delineate the conceptual bases of XML Schema Definition and the Web Ontology Language and how they differ from Java or C#. It will be shown how XSD facilitates the definition of data types based on value space constraints and how OWL ontologies are amenable to automatic reasoning. The superior modeling features of XSD and OWL will be elucidated based on exemplary comparisons with frame logic-based models. A significant shortcoming will become obvious: the deficient integration of XSD and OWL with the type systems of object-oriented programming languages.

Eventually, the Zhi# approach will be presented that integrates XSD and OWL into the C# programming language. In Zhi#, value space-based data types and ontological concept descriptions are first-class citizens; compile time and runtime support is readily available for XSD and OWL. Thus, the execution of Zhi# programs is directly controlled by the artificial intelligence inherent in ontological models: Zhi# programs don't just execute, they reason.

BibTeX - Entry

@InProceedings{paar:OASIcs:2012:3510,
  author =	{Alexander Paar},
  title =	{{From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote)}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{5--5},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Alberto Sim{\~o}es and Ricardo Queir{\'o}s and Daniela da Cruz},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3510},
  URN =		{urn:nbn:de:0030-drops-35103},
  doi =		{10.4230/OASIcs.SLATE.2012.5},
  annote =	{Keywords: Ontologies, OO programming languages, Automatic reasoning}
}

Keywords: Ontologies, OO programming languages, Automatic reasoning
Collection: 1st Symposium on Languages, Applications and Technologies
Issue Date: 2012
Date of publication: 21.06.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI