Detail

Knowledge Representation and Reasoning for the World Wide Web

[Joint CITI/CENTRIA Seminar]

The advent of the Semantic Web marks a turning point in the
development of the World Wide Web. As Web content is being annotated
with (formal) metadata, a huge amount of knowledge will become
accessible for intelligent systems and agents on and off the Web. At
the core of these developments are reasoning technologies, inspired by
research and technology stemming from automated deduction, artificial
intelligence, and mathematical logic. While RDF and OWL have been
established as standard Semantic Web languages by the W3C, and efforts
for establishing a W3C rule standard are under way, both theory and
practice of reasoning on the web are in rapid development. The quest
for suitable language paradigms and scalable reasoning solutions is
ongoing and being pursued with frenzy.