Languages & Inference Appropriate layering Do we need a logic? Do we need Description Logic? Legacy data; database storage vs inference Tolerant/anytime inference Which reasoning services to support Support for modelling styles Strategy Education & outreach XML vs. RDF (role of XML Schema) Consensus building Ontologies vs. web-services Industry involvement/adoption Usability (end-users & developers) Identify low hanging fruit killer applications Transition/bootstrap strategies Maintaining common vocabs Tool building Identify urgent needs Identify low hanging fruit Identify usage scenarios Infrastructure development

Interoperability (= main goal of Semantic Web) –Why semantics? (interoperability the next level up from TCP/IP, HTML, XML, …?) –Defined w.r.t. set of operations, w.r.t. identity –common standards or translations and mappings Multiplicity of languages, –too high step-in cost –layering of languages (*, +), –opportunities for merging? (workshop series) (e.g. XML Schema, RDF Schema, Topic Maps) (ditto for query langs, tranformation langs, path models). Reconciling modelling styles/paradigms –Axioms-style/frame-style(*, +) / constraint-style / rule-style Formal differences and community aspects –Combining Knowledge Repr approach and Database approach Different reasoning services –Querying, consistency(*), inheritance(*), matching, similarity/difference, classification/type-inference, object-identify, cycle-detection(*), anomaly-detection(*) Tolerant inferences, levels of tolerance (some *s) –pragmatic levels –Complexity levels –Anytime, gradual, resource bounded, continous, streaming Notion of identity –Globally unique names, –Semantics of URI identity –Scoping, modularity, namespaces –Use-mention distinction –Rigid designators/temporal identity vision Easy picks(*) + longer term (+ = workshop + followup) urgent

Funding models Needs intercontinental funding Needs funding for production of –reports, –Teaching/PR/evangelism/proselytising –… Project-oriented funding does not suffice Slogans/mantras for the Semantic Web Low entry barrier Construction by example (copy/paste/edit) Incremental formalisation

Relevant communities AI/KR/KE DB Computational Logic