10.4230/OASICS.SLATE.2012.5
Paar, Alexander
Alexander
Paar
From Program Execution to Automatic Reasoning: Integrating Ontologies into Programming Languages (Keynote)
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2012
Keynote
Ontologies
OO programming languages
Automatic reasoning
Simões, Alberto
Alberto
Simões
Queirós, Ricardo
Ricardo
Queirós
da Cruz, Daniela
Daniela
da Cruz
2012
2012-06-21
2012-06-21
2012-06-21
en
urn:nbn:de:0030-drops-35103
10.4230/OASIcs.SLATE.2012
978-3-939897-40-8
2190-6807
10.4230/OASIcs.SLATE.2012
OASIcs, Volume 21, SLATE 2012
1st Symposium on Languages, Applications and Technologies
2012
21
2
5
5
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Simões, Alberto
Alberto
Simões
Queirós, Ricardo
Ricardo
Queirós
da Cruz, Daniela
Daniela
da Cruz
2190-6807
Open Access Series in Informatics (OASIcs)
2012
21
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2 pages
193463 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
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.
OASIcs, Vol. 21, 1st Symposium on Languages, Applications and Technologies, pages 5-5