Full Seminar Details

Assistant Professor Giovambattista Ianni

Department of Mathematics of University of Calabria

Assistant Professor Giovambattista Ianni
Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning
This event took place on Monday 26 March 2007 at 11:30

The Semantic Web vision needs formalisms for the Rule Layer that guarantee transparent interoperability with the Ontology Layer, clear semantics and full declarativity. HEX programs is a rule language featuring higher-order atoms, external atoms, negation-as-failure whose semantics is based on the notion of Answer Sets. They are aimed at providing a suitable tool for building the Rule Layer. Full declarativity, easiness to use, decidability, nondeterminism, nonmonotonicity, non-finite universe of individuals, smooth interfacing with the Ontology layer are the features HEX programs foster. It can be argued that these features enforce some strong design constraint that would compromise the practical adoption of this formalism in its full generality. To this end, although keeping desirable advantages, we identified classes of HEX programs feasible for implementation. A general method for combining and evaluating sub-programs belonging to arbitrary classes is introduced, thus enlarging the variety of programs whose execution is practicable.

The talk is a summary of the paper winner of the best prize award at ESWC 2006. First, the audience will be introduced to Answer Set Programming (ASP) giving a short survey of pros and cons of this technology, and showing several simple examples. It is then illustrated the realm of HEX programs (whose semantics is Answer Set Programming based), how the language can interact with Ontologies, which applications are foreseen for the language, and how the language is actually implemented.

Apologies that the first few minutes of this event are missing, this was due to a technical error in the recording process

Watch the webcast replay >>

Jobs

Front-end Web Developer and UX Designer (GR7)

Knowledge Media Institute (KMi)
£33,199 - £39,609
Based in Milton Keynes
Temporary contract up to 20 months

The team at the OU runs the world’s largest aggregator of research papers called CORE (core.ac.uk), with about 1.5 million monthly active users, and a set of projects promoting principles of Open Science, such as FOSTER (fosteropenscience.eu)....

Front-end Web Developer and UX Designer (GR6)

Knowledge Media Institute (KMi)
£27,025 - £32,236
Based in Milton Keynes
Temporary contract up to 20 months

The team at The Open University runs the world’s largest aggregator of research papers called CORE (core.ac.uk), with about 1.5 million monthly active users, and a set of projects promoting principles of Open Science, such as FOSTER...

Mobile Applications Developer (GR6)

Knowledge Media Institute (KMi)
£27,025 - £32,236
Based in Milton Keynes
Permanent Appointment

The Research and Innovation Software team develop software for a range of research projects and University courses. With this role we are looking for someone who can be a mobile applications developer for the team. This would involve both...

CONTACT US

Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
MK7 6AA
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support

COMMENT

If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team