1 Search Results for "Paar, Alexander"


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

Authors: Alexander Paar

Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)


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.

Cite as

Alexander Paar. From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote). In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, p. 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

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

  • Refine by Classification

  • Refine by Keyword
  • 1 Automatic reasoning
  • 1 OO programming languages
  • 1 Ontologies

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2012

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail