Planet MathML

On 02/05/2012 06:18 PM, William F Hammond wrote:
> Hi Bruce,
>
>> Indeed MathPlayer seems to be accepting it both ways
>> (maybe it always did, and my memory's going),
>> as does firefox, so the prefix-less way looks like the
>> best solution...
>
> I've always thought the verbose way (writing out the xmlns on
> each<math>  element) was best.
>
> Among the reasons:
...

I think I'll be a curmudgeon when I grow up ---
I seem to have an affinity for the unpopular choices,
and am grumpy about them: I prefer xml over sgml
and certainly html5; prefixed namespaces over non,
heck namespaces at all!!

But your list is pretty convincing;
I'll go this route (but I'll still grumble about it).

Thanks, Bill;
bruce

> 1.  A larger class of processors can deal with it.
>
> 2.  I want to view xml for documents (as opposed to EDI) as as a
> category that is a subcategory of SGML.  (And there continues to be
> "political" resistance to the use of xml namespaces in author-level
> xml document types for documents.)
>
> 3.  With verbose use of xmlns and a few other conventions, it's
> possible to generate xhtml+mathml document instances that require only
> a couple of revisions near the top to become correct text/html
> instances of html5.
>
> 4.  I have a private local use sgml definition for a profiled subset
> of html5, text/html serialization, as an sgml document type.
>
> BTW, Henri Sivonen's html5 online validator is found at
> http://html5.validator.nu/
>
>                                      -- Bill
>

Hi Bruce,

> Indeed MathPlayer seems to be accepting it both ways
> (maybe it always did, and my memory's going),
> as does firefox, so the prefix-less way looks like the
> best solution...

I've always thought the verbose way (writing out the xmlns on
each <math> element) was best.

Among the reasons:

1.  A larger class of processors can deal with it.

2.  I want to view xml for documents (as opposed to EDI) as as a
category that is a subcategory of SGML.  (And there continues to be
"political" resistance to the use of xml namespaces in author-level
xml document types for documents.)

3.  With verbose use of xmlns and a few other conventions, it's
possible to generate xhtml+mathml document instances that require only
a couple of revisions near the top to become correct text/html
instances of html5.

4.  I have a private local use sgml definition for a profiled subset
of html5, text/html serialization, as an sgml document type.

BTW, Henri Sivonen's html5 online validator is found at
http://html5.validator.nu/

                                    -- Bill

On 02/04/2012 07:14 PM, Neil Soiffer wrote:
> The "universal" solution for XHTML and HTML5 is to put the namespace decl on the
> math tag as in
>
> <math xmlns='http://www.w3.org/1998/Math/MathML'>
> <mi>x</mi><mo>+</mo><mi>y</mi>
> </math>
>
> This should work for all HTML5 parsers and for all XHTML parsers.  MathPlayer
> will handle this form in IE when it is served as XHTML via a MIME filter it
> installs that rewrites the math in the page.  This form is not legal for HTML4,
> but MathML isn't really part of HTML4 and only works in HTML4 for IE+MathPlayer.

Ah, great!
Indeed MathPlayer seems to be accepting it both ways
(maybe it always did, and my memory's going),
as does firefox, so the prefix-less way looks like the
best solution...

Thanks, Neil!

Bruce

>      Neil
>
>
>
> On Sat, Feb 4, 2012 at 12:54 PM, Bruce Miller <bruce.miller@nist.gov
> <mailto:bruce.miller@nist.gov>> wrote:
>
>     Seems odd asking such a fundamentally naive
>     question so late in the game, but...
>
>     As we all know, you can include MathML in XHTML
>     either by declaring and using a namespace
>     prefix, m: by tradition, or by placing
>     an xmlns namespace declaration on _each_
>     math element.
>
>     I have always preferred the prefixed form
>     --- seems more readable, perhaps more compact
>     in practice (though I never tested).
>     I have the vague recollection that early versions of
>     MathPlayer _required_ the prefixed form for IE to trigger it(?)
>
>     But now I find that
>     http://www.dessci.com/en/__products/mathplayer/author/__creatingpages.htm
>     <http://www.dessci.com/en/products/mathplayer/author/creatingpages.htm>
>     prefers the NON-prefixed form for xhtml.
>     Moreover, the <mumble mumble> validator at w3,
>     http://validator.w3.org/, has nice analysis,
>     but is dtd-based and only recognizes the NON-prefixed
>     form. I've never found such a convenient online
>     service doing relaxng validations (so do it at home).
>
>     So, maybe I mis-remembered MathPlayer's requirements,
>     or am forgetting some other reason...
>     Are there any remaining reasons (besides taste) to prefer
>     the prefixed form?
>
>     bruce
>
>     PS: No need to mention that html5 doesn't want the prefix;
>     in fact: PLEASE DONT! :>
>
>

On 02/04/2012 05:30 PM, David Carlisle wrote:
> On 04/02/2012 20:54, Bruce Miller wrote:
>> he<mumble mumble>  validator at w3,
>> http://validator.w3.org/, has nice analysis,
>> but is dtd-based and only recognizes the NON-prefixed
>> form. I've never found such a convenient online
>> service doing relaxng validations (so do it at home).
>
>
> http://validator.nu/
>
> Will do xhtml validation if you serve the file with an xml mime type or
> you choose an xml parser in the "more options" There is an instance of
> the v.nu validator hosted at w3c somewhere but I forget where.

Ah, yes; I was aware of it as an html5 validator,
but hadn't noticed that it did xhtml+mathml.
That's good to know!
...
although it's probably a good thing to write html
that validator.w3.org can validate as well, if there's
no other reason not to.

> v.nu is a relax ng based validation augmented with a lot of custom java
> code to get more specific (x)html specific error reporting.

Yep, friendlier than a straight xmllint or such!

Thanks;
bruce

On 02/04/2012 04:13 PM, Paul Topping wrote:
> Actually, it isn't MathPlayer's requirement that there be a prefix but
> Internet Explorer's.

Thanks for the background, Paul;
I hope that my phrasing of the question didn't imply
I was blaming MathPlayer; Actually I quite admire it!

>...  Also ironically, MathML
> embedded in HTML is back again in HTML5 and XHTML is somewhat dead.

Yes, and typically xhtml is dead before html5 has finished
being born!

bruce

The "universal" solution for XHTML and HTML5 is to put the namespace decl
on the math tag as in

<math xmlns='http://www.w3.org/1998/Math/MathML'>
  <mi>x</mi><mo>+</mo><mi>y</mi>
</math>

This should work for all HTML5 parsers and for all XHTML parsers.
MathPlayer will handle this form in IE when it is served as XHTML via a
MIME filter it installs that rewrites the math in the page.  This form is
not legal for HTML4, but MathML isn't really part of HTML4 and only works
in HTML4 for IE+MathPlayer.

    Neil



On Sat, Feb 4, 2012 at 12:54 PM, Bruce Miller <bruce.miller@nist.gov> wrote:

> Seems odd asking such a fundamentally naive
> question so late in the game, but...
>
> As we all know, you can include MathML in XHTML
> either by declaring and using a namespace
> prefix, m: by tradition, or by placing
> an xmlns namespace declaration on _each_
> math element.
>
> I have always preferred the prefixed form
> --- seems more readable, perhaps more compact
> in practice (though I never tested).
> I have the vague recollection that early versions of
> MathPlayer _required_ the prefixed form for IE to trigger it(?)
>
> But now I find that
>  http://www.dessci.com/en/**products/mathplayer/author/**creatingpages.htm<http://www.dessci.com/en/products/mathplayer/author/creatingpages.htm>
> prefers the NON-prefixed form for xhtml.
> Moreover, the <mumble mumble> validator at w3,
> http://validator.w3.org/, has nice analysis,
> but is dtd-based and only recognizes the NON-prefixed
> form. I've never found such a convenient online
> service doing relaxng validations (so do it at home).
>
> So, maybe I mis-remembered MathPlayer's requirements,
> or am forgetting some other reason...
> Are there any remaining reasons (besides taste) to prefer
> the prefixed form?
>
> bruce
>
> PS: No need to mention that html5 doesn't want the prefix;
> in fact: PLEASE DONT! :>
>
>

On 04/02/2012 20:54, Bruce Miller wrote:
> he <mumble mumble> validator at w3,
> http://validator.w3.org/, has nice analysis,
> but is dtd-based and only recognizes the NON-prefixed
> form. I've never found such a convenient online
> service doing relaxng validations (so do it at home).


http://validator.nu/

Will do xhtml validation if you serve the file with an xml mime type or 
you choose an xml parser in the "more options" There is an instance of 
the v.nu validator hosted at w3c somewhere but I forget where.


v.nu is a relax ng based validation augmented with a lot of custom java 
code to get more specific (x)html specific error reporting.

David

Actually, it isn't MathPlayer's requirement that there be a prefix but
Internet Explorer's. IE's mechanism for allowing XML islands to be
embedded in HTML required that their embedded language be declared and a
namespace prefix used to connect the element names to the language.
(There also needs to be an IE-specific declaration to specify that the
namespace was to be rendered by MathPlayer.)

This mechanism for embedding XML of one namespace in another using
namespace prefixes (or declaring the namespace on each element) is the
standard XML one, though in this case the outside language was HTML, not
XHTML. Ironically, and sadly, IE allowed MathML embedded in HTML but did
not deal with XHTML. Mozilla/Firefox did the opposite and ONLY supported
MathML embedded in XHTML. Microsoft can, at least up until recently,
justifiably be accused of dragging their feet on standards in IE.
However, IMHO, this is one case where the purist attitude of
Mozilla/Firefox set MathML back by years. Also ironically, MathML
embedded in HTML is back again in HTML5 and XHTML is somewhat dead.

As you say, HTML5 doesn't need or want the prefix. I guess they are not
so interested in making HTML extensible as simply adding in a bunch of
useful languages to plain old HTML and calling it HTML5. This is good
for MathML, SVG, and other languages that made the cut, bad for any
others.

In general, the issue of prefix or not is really defined by the overall
language and context of the document in which MathML finds itself
embedded. The 'm' prefix won't work if the document declares MathML to
have some other prefix or 'm' is used for another language. This all
makes it hard for programs that generate MathML without knowing where it
is going to end up. MathType has to deal with this issue.

Paul

> -----Original Message-----
> From: Bruce Miller [mailto:bruce.miller@nist.gov]
> Sent: Saturday, February 04, 2012 12:54 PM
> To: www-math@w3.org
> Subject: Namespace prefix or not?
> 
> Seems odd asking such a fundamentally naive question so late in the
> game, but...
> 
> As we all know, you can include MathML in XHTML either by declaring
and
> using a namespace prefix, m: by tradition, or by placing an xmlns
> namespace declaration on _each_ math element.
> 
> I have always preferred the prefixed form
> --- seems more readable, perhaps more compact in practice (though I
> never tested).
> I have the vague recollection that early versions of MathPlayer
> _required_ the prefixed form for IE to trigger it(?)
> 
> But now I find that
> 
> http://www.dessci.com/en/products/mathplayer/author/creatingpages.htm
> prefers the NON-prefixed form for xhtml.
> Moreover, the <mumble mumble> validator at w3,
> http://validator.w3.org/, has nice analysis, but is dtd-based and only
> recognizes the NON-prefixed form. I've never found such a convenient
> online service doing relaxng validations (so do it at home).
> 
> So, maybe I mis-remembered MathPlayer's requirements, or am forgetting
> some other reason...
> Are there any remaining reasons (besides taste) to prefer the prefixed
> form?
> 
> bruce
> 
> PS: No need to mention that html5 doesn't want the prefix; in fact:
> PLEASE DONT! :>

Seems odd asking such a fundamentally naive
question so late in the game, but...

As we all know, you can include MathML in XHTML
either by declaring and using a namespace
prefix, m: by tradition, or by placing
an xmlns namespace declaration on _each_
math element.

I have always preferred the prefixed form
--- seems more readable, perhaps more compact
in practice (though I never tested).
I have the vague recollection that early versions of
MathPlayer _required_ the prefixed form for IE to trigger it(?)

But now I find that
   http://www.dessci.com/en/products/mathplayer/author/creatingpages.htm
prefers the NON-prefixed form for xhtml.
Moreover, the <mumble mumble> validator at w3,
http://validator.w3.org/, has nice analysis,
but is dtd-based and only recognizes the NON-prefixed
form. I've never found such a convenient online
service doing relaxng validations (so do it at home).

So, maybe I mis-remembered MathPlayer's requirements,
or am forgetting some other reason...
Are there any remaining reasons (besides taste) to prefer
the prefixed form?

bruce

PS: No need to mention that html5 doesn't want the prefix;
in fact: PLEASE DONT! :>

      [ We apologize if you receive multiple copies of this CFP. ]

-------------------------------------------------------------------------
                  15th International Conference on 
        THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 
                        --- SAT 2012 ---

                 Trento, Italy, June 17-20th, 2012
                      http://sat2012.fbk.eu/
-------------------------------------------------------------------------

AIM and SCOPE
=============

The International Conference on Theory and Applications of
Satisfiability Testing (SAT) is the primary annual meeting for
researchers studying the propositional satisfiability
problem. Importantly, here SAT is interpreted in a rather broad sense:
besides plain propositional satisfiability, it includes the domains of
MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean
Formulae (QBF), Satisfiability Modulo Theories (SMT), Constraints
Programming (CSP) techniques for word-level problems and their
propositional encoding.

To this extent, many hard combinatorial problems can be encoded as SAT
instances, in the broad sense mentioned above, including problems that
arise in hardware and software verification, AI planning and
scheduling, OR resource allocation, etc. The theoretical and practical
advances in SAT research over the past twenty years have contributed
to making SAT technology an indispensable tool in these domains.

SAT 2012 will take place in Trento, Italy, a cosmopolitan city set in
a spectacular mountain scenery, and home to a world-class university
and research centres.

RELEVANT TOPICS 
===============

The topics of the conference span practical and theoretical research
on SAT (in the broader sense above) and its applications, and include,
but are not limited to: 

* Theoretical issues
  - Combinatorial Theory of SAT
  - Proof Systems and Proof Complexity in SAT
  - Analysis of SAT Algorithms
* Solving: 
  - Improvements of current solving procedures
  - Novel solving procedures, techniques and heuristics
  - Incremental solving
* Beyond solving:
  - Functionalities (e.g., proofs, unsat-cores, interpolants,...)
  - Optimization 
* Applications 
  - SAT techniques for other domains
  - Novel Problem Encodings
  - Novel Industrial Applications of SAT

A more detailed description can be found on the web site.

INVITED SPEAKERS
================

We are honored to announce the following invited speakers at SAT 2012:

* Aaron Bradley, Boulder, USA. 
  "SAT-based Verification with IC3: Foundations and Demands"

* Donald Knuth, Stanford, USA.
  "Satisfiability and The Art of Computer Programming"

The presence of both speakers has been confirmed, although the titles
 of the talks may be provisional.

AFFILIATED EVENTS
=================

SAT 2012 is co-located with the 2nd International SAT/SMT Summer School
(June 12-15), http://satsmtschool2012.fbk.eu/.

SAT 2012 will also host related events like workshops (June 16) and various
competitive events.

PAPER SUBMISSION
================

Papers must be edited in LATEX using the LNCS format and
be submitted electronically as PDF files via EasyChair. 
We envisage three categories of submissions:

REGULAR PAPERS. Submissions, not exceeding fourteen (14) pages, should
  contain original research, and sufficient detail to assess the
  merits and relevance of the contribution. For papers reporting
  experimental results, authors are strongly encouraged to make their
  data available with their submission. Submissions reporting on case
  studies in an industrial context are strongly invited, and should
  describe details, weaknesses and strength in sufficient
  depth. Simultaneous submission to other conferences with proceedings
  or submission of material that has already been published elsewhere
  is not allowed.

TOOL PRESENTATIONS. Submissions, not exceeding six (6) pages, should
  describe the implemented tool and its novel features. A
  demonstration is expected to accompany a tool presentation. Papers
  describing tools that have already been presented in other
  conferences before will be accepted only if significant and clear
  enhancements to the tool are reported and implemented.

EXTENDED ABSTRACTS/POSTERS. Submissions, not exceeding two (2) pages,
  briefly introducing work in progress, student work, or preliminary
  results. These papers are expected to be presented as posters at the
  conference.

Further information about paper submission, including a more detailed
description of the scope and specification of the three submission
categories, will be made available at SAT 2012 web page. The review
process will be subject to a rebuttal phase. 

IMPORTANT DATES:
================
  Abstract Submission:                  05/02/2012
  Paper Submission:                     12/02/2012 
  Rebuttal phase:                    28-30/03/2012
  Final Notification:                   12/04/2012      
  Final Version Due:                    04/05/2012

  SAT/SMT School:                    12-15/06/2012
  Workshops:                            16/06/2012
  Conference:                        17-20/06/2012

PROCEEDINGS
===========

The proceedings of SAT 2012 will be published by Springer-Verlag in the
LNCS series. 

PROGRAM CHAIRS
==============

Alessandro Cimatti -- FBK-Irst, Trento, Italy
Roberto Sebastiani -- DISI, University of Trento, Italy

PROGRAM COMMITTEE 
=================

Dimitris Achlioptas -- UC Santa Cruz, USA
Fahiem Bacchus -- University of Toronto, Canada
Paul Beame -- University of Washington, USA
Armin Biere -- Johannes Kepler University, Austria
Randal Bryant -- Carnegie Mellon University, USA
Uwe Bubeck -- University of Paderborn, Germany
Nadia Creignou -- Aix-Marseille Université, France
Leonardo DeMoura -- Microsoft Research, USA
John Franco -- University of Cincinnati, USA
Malay Ganai -- NEC, USA
Enrico Giunchiglia -- Università di Genova, Italy
Youssef Hamadi -- Microsoft Research, UK
Zyiad Hanna -- Jasper, USA
Holger Hoos -- University of British Columbia, Canada
Marijn Heule -- Johannes Kepler University, Austria
Kazuo Iwama -- Kyoto University, Japan
Oliver Kullmann -- Swansea University, UK
Daniel Le Berre -- Université d’Artois, France
Ines Lynce -- Instituto Superior Técnico, Portugal
Panagiotis Manolios -- Northeastern University, USA
Joao Marques-Silva -- University College Dublin, Ireland
David Mitchell -- Simon Fraser University, Canada
Alexander Nadel -- Intel, Israel
Jussi Rintanen -- The Austrailan National University, Australia
Lakhdar Sais -- Université d’Artois, France
Karem Sakallah -- University of Michigan, USA
Bart Selman -- Cornell University, USA
Laurent Simon -- Université Paris 11, France
Carsten Sinz -- Karlsruhe Institute of Technology, Germany
Niklas Sorensson -- Chalmers University, Sweden
Ofer Strichman -- Technion, Israel
Stefan Szeider -- Vienna University of Technology, Austria
Allen Van Gelder -- University of California, Santa Cruz, USA
Toby Walsh -- University of New South Wales, Australia
Xishun Zhao -- Sun Yat-Sen University, China

a very nice conference on applied semantic web research, which I can 
highly recommend, also suitable for the more semantic "math-on-the-web" 
applications

Call for Papers

I-SEMANTICS 2012
8th International Conference on Semantic Systems

Graz, Austria, 5 - 7 September 2012
http://www.i-semantics.at

including
Call for Submissions
5th Linked Data Cup

Latest News:
=========================================================
Wolters Kluwer Germany main sponsor of I-SEMANTICS 2012
I-SEMANTICS proceedings published by ACM ICPS
Important Dates (Research & Application Papers & I-Challenge)
+       Abstract Submission Deadline : April 2, 2012
+       Paper Submission Deadline : April 13, 2012
+       Notification of Acceptance: May 7, 2012
+       Camera-Ready Paper: June 4, 2012
Important Dates (I-Challenge)
+       Paper Submission Deadline : April 13, 2012
+       Notification of Acceptance: May 7, 2012
+       Camera-Ready Paper: June 4, 2012
Important Dates (Posters & Demo Papers & PhD Track)
+       Submission Deadline: May 21, 2012
+       Notification of Acceptance: June 18, 2012
=========================================================

Hashtag for I-SEMANTICS 2012:  #isem2012

Scope
=====
I-SEMANTICS 2012 (www.i-semantics.at) is the 8th International 
Conference within the I-SEMANTICS series. I-SEMANTICS 2012 brings 
together both researchers and practitioners in the areas of Semantic 
Technologies, Linked Data and the Semantic Web in order to showcase 
cutting edge research, demonstrators and applications for the Corporate 
and Social Semantic Web.
I-SEMANTICS 2012 is proud to announce the new format �I-CHALLENGE�, 
which brings to you the 5th Linked Data Cup (formerly Triplification 
Challenge), the Best Paper Award and the Best Poster Award. As in the 
past years the I-SEMANTICS Conference will be complemented by I-KNOW 
(www.i-know.at), the 12th International Conference on Knowledge 
Management, aiming to reflect the increasing importance and convergence 
of knowledge management and semantic systems.

Topics
======
As a conference aiming to bring together science and industry, 
I-SEMANTICS encourages scientific research and application-oriented 
contributions in the field of Semantic Technologies, Semantic Web and 
Linked Data. The topics of interest for this year�s conference include 
but are not limited to:

The Web of Data
+       (Large scale) triplification of existing (structured) data
+       Vocabularies, taxonomies and schemas for the Web of Data
+       Querying, searching and browsing over the Web of Data
+       Data integration and interlinking for the Web of Data
+       User interaction and innovative visualizations for the Web of Data
+       Languages, tools and methodologies for representing, managing and 
reasoning on the Web of Data
+       (Mashup) applications utilizing (large scale) Linked Data resources
+       Recommender systems making use of the Web of Data
+       Integrating microposts into the Web of Data
+       Linked Enterprise Data and (Open) Linked Government Data
+       Connecting the Web of Data with real world sensor data
+       Location-based services and mobile semantic applications

Quality of Semantic Data on the Web
+       Provenance information for the Web of Data
+       Large scale ontology inspection and repair
+       Co-reference detection and dataset reconciliation
+       Maintenance of Linked Data models
+       Trust, privacy and security in Semantic Web applications

Corporate Semantic Web
+       Corporate thesauri, business vocabularies, ontologies and rules
+       Semantic business, e-commerce and m-commerce systems
+       Semantic procurement for enterprises and governments
+       Semantics, pragmatics and semiotics in organizations
+       Enterprise trust and reputation management      

Semantic Content Engineering
+       Collaborative ontology engineering
+       Ontology modularity, alignment and merging
+       Ontology design patterns and life cycle management
+       Ontology learning and knowledge acquisition +   Quality criteria for 
collaboratively generated semantic content
+       Semantic annotation and tagging
+       Making sense of microposts
+       Semantic content management systems

Semantic Multimedia
+       Semantic-driven multimedia applications
+       Multimedia ontologies and infrastructures
+       Content-based semantic multimedia analysis and data mining
+       Semantic-driven multimedia indexing and retrieval
+       Named entity recognition and disambiguation in multimedia documents
+       Human-computer interfaces for multimedia data access
+       Smart visualization and browsing of multimedia documents
+       User-generated semantic metadata for multimedia documents

Studies, Metrics & Benchmarks
+       Case studies of and benchmarks in semantic systems usage
+       Evaluation perspectives, methods and Semantic Web research methodologies
+       Technology assessment, acceptance/media choice theories
+       Usability and user interaction with semantic technologies
+       Applications with clear lessons learned or evaluations

(Linked) Data Ecosystems & Markets
+       Economic foundations of data assets, markets and data crowd sourcing
+       Business and governance models for data commerce
+       Production principles and measures of data creation, curation and 
utilization
+       Business models and economic impacts of Linked (Enterprise) Data 
and/or large scale semantic systems
+       Case studies for sector-specific (Linked) Data strategies



I-SEMANTICS Submission Information
==================================
All accepted full papers and short papers of I-SEMANTICS 2012 will be 
published in the digital library of the ACM ICP series. Please note: 
Poster and Demo papers are planned to be published within CEUR-WS. 
Optional publication of PhD papers in CEUR-WS is under discussion.


Research/Application Papers
---------------------------
Submissions must be original and must not have been submitted for 
publication elsewhere. Papers should follow the ACM ICPS guidelines for 
formatting (http://www.acm.org/sigs/publications/proceedings-templates) 
and must be submitted via the online submission system available at the 
conference website as PDF documents (other formats will not be 
accepted). For the camera-ready version, we will also need the source 
files (Latex, Word Perfect, Word).
The publication will be available under the following ISBN: 
978-1-4503-1112-0

Research papers report on novel research and/or applications relevant to 
the topics of the conference. Submissions must be original and must not 
have been submitted for publication elsewhere. The number of pages of 
research papers is limited to 8 pages for full papers and 4 pages for 
short papers including references and an optional appendix.

Full and short papers should follow the ACM ICPS guidelines for 
formatting (http://www.acm.org/sigs/publications/proceedings-templates) 
and must be submitted via the online submission system available at the 
conference website as PDF documents (other formats will not be 
accepted). For the camera-ready version, we will also need the source 
files (Latex, Word Perfect, Word).


Important Dates (Research & Application Papers)
-----------------------------------------------
+       Abstract Submission Deadline (strict): April 2, 2012
+       Paper Submission Deadline : April 13, 2012
+       Notification of Acceptance: May 7, 2012
+       Camera-Ready Paper: June 4, 2012


Posters, Demos & PhD Track
--------------------------
The conference also particularly welcomes the submission of posters, 
demonstrations, and PhD track submissions. The Posters, Demonstrations & 
PhD Track complements the Research Paper Track and offers an opportunity 
for presenting late-breaking research results, ongoing research 
projects, and speculative or innovative work in progress.

The informal setting of the Posters, Demonstrations & PhD Track 
encourages presenters and participants to engage in discussions about 
the presented work. Such discussions can be invaluable inputs for the 
future work of the presenters, while offering participants an effective 
way to broaden their knowledge of the emerging research trends and to 
network with other researchers. Poster and demo submissions should 
consist of a 2-3 page description that allows us to judge the quality of 
the presentation. Submissions to this track must be in the Springer LNCS 
format (http://www.springer.com/computer/lncs/lncs+authors), i.e. please 
do NOT use the ACM template here.

The objective of the PhD Track is to provide doctoral students with a 
forum to present and discuss their research projects with experienced 
researchers (�mentors�) and fellow students. It addresses PhD students 
at an early stage of their doctoral studies, who want to receive 
feedback from internationally recognized researchers. Ideally, 
participants will have a well-defined problem statement and precise 
questions to discuss with their mentor. Applicants should be PhD 
students (from any country), conducting ongoing research in the areas of 
semantic technologies, Linked Data and the Semantic Web.
PhD track submissions should consist of up to 1.500 words and contain 
the following: +        Name, affiliation and contact details of the PhD 
student +       Name(s) of the supervisor(s)
+       Summary of the research project, including: +   Problem: research 
questions, motivation, state of the art and relevance for the fields of 
Semantic Technologies, Linked Data and Semantic Web
+       Approach: (planned) approach and methodology
+       Current status / timeline: current status of the work and any results 
that have already been reached plus outlook to future work
+       A list of key questions that the PhD student wants to discuss during 
the event

Submissions will be reviewed by experienced researchers; each submission 
will receive detailed feedback. The program committee will select 
participants who will give a short presentation about their research 
project during the I-SEMANTICS PhD Track. Main focus of the event is on 
discussion, support and solving open questions.#

Important Dates (Posters & Demo Papers & PhD Track)
---------------------------------------------------
+       Submission Deadline: May 21, 2012
+       Notification of Acceptance: June 18, 2012



I-CHALLENGE
===========     
For the first time in 2012 we will bring to you the I-CHALLENGE, 
consisting of the Best Research/Application Paper Award, the Best Poster 
Award, the Best PhD Paper Award and the Linked Data Cup. While the best 
paper will be selected by the program committee, the Best Poster will be 
voted by the conference audience via online voting. (Please expect more 
details for all the Best Paper Awards in the weeks to come.) Information 
on the Linked Data Cup can be found below:

Linked Data Cup 2012
--------------------
The yearly organised Linked Data Cup (formerly Triplification Challenge) 
awards prizes to the most promising innovation involving linked data. 
Four different technological topics are addressed: triplification, 
interlinking, cleansing, and application mash-ups. The Linked Data Cup 
invites scientists and practitioners to submit novel and innovative (5 
star) linked data sets and applications built on linked data technology.
Although more and more data is triplified and published as RDF and 
linked data, the question arises how to evaluate the usefulness of such 
approaches. The Linked Data Cup therefore requires all submissions to 
include a concrete use case and problem statement alongside a solution 
(triplified data set, interlinking/cleansing approach, linked data 
application) that showcases the usefulness of linked data. Submissions 
that can provide measurable benefits of employing linked data over 
traditional methods are preferred.
Note that the call is not limited to any domain or target group. We 
accept submissions ranging from value-added business intelligence use 
cases to scientific networks to the longest tail of information domains. 
The only strict requirement is that the employment of linked data is 
very well motivated and also justified (i.e. we rank approaches higher 
that provide solutions, which could not have been realised without 
linked data, even if they lack technical or scientific brilliance).

Evaluation Criteria
-------------------
The submissions will be initially evaluated with a well-known five star 
ranking system. Furthermore, entries will be assessed according to the 
extent to which they
1.      motivate the relevancy of their use case for their respective domain;
2.      justify the adequacy of linked data technologies for their solution;
3.      demonstrate that all alternatives to linked data would have resulted 
in an inferior solution;
4.      provide an evaluation that can measure the benefits of linked data

Topics
------
Ideas for topics include (but are not limited to):
+       Improving traditional approaches with help of linked data
+       Linked data use in science and education
+       Linked data supported multimedia applications
+       Linked data in the open source context
+       Web annotation
+       Generic applications
+       Internationalization of linked data +   Visualization of linked data
+       Linked government data
+       Business models based on linked data
+       Recommender systems supported by linked data
+       Integrating microposts with linked data
+       Distributed social web based on linked data
+       Linked data sensor networks

Submission and Reviewing
------------------------
Submissions to the Linked Data Cup will be reviewed by members of the 
Linked Data Cup Board and invited experts from the Linked Data community.
Submissions should consist of 4 pages and must be original and must not 
have been submitted for publication elsewhere. Papers should follow the 
ACM ICPS guidelines for formatting as accepted submissions will be 
published in the I-SEMANTICS 2012 proceedings in the digital library of 
the ACM ICP series. Please read the submission page for detailed 
information on how to submit.

Important Dates (Linked Data Cup)
---------------------------------
+       Paper Submission Deadline : April 13, 2012
+       Notification of Acceptance: May 7, 2012
+       Camera-Ready Paper: June 4, 2012


I-SEMANTICS Committee
=====================

Scientific Chair
----------------
+       Harald Sack (Hasso-Plattner-Institute for IT Systems Engineering)

Program Chairs
--------------
+       H. Sofia Pinto (Technical University of Lisbon)
+       Valentina Presutti (Institute for Cognitive Science and Technology, Rome)
Track Chairs
------------
+       I-CHALLENGE: +  Sebastian Hellmann (University of Leipzig) +    J�rg 
Waitelonis (Hasso-Plattner-Institute for IT Systems Engineering)
+       PhD Track Chair: Katrin Weller (Heinrich Heine University 
D�sseldorf) +   Poster Chair: Steffen Lohmann (University of Stuttgart)
  Industry Chair
--------------
+       Andreas Blumauer (Semantic Web Company)
  Conference Chair
----------------
+       Tassilo Pellegrini (Semantic Web Company / University of Applied 
Sciences St. P�lten, Austria)
  Program Committee
-----------------
Please go to: 
http://i-semantics.tugraz.at/scientific-track/program-committee/

-- 
Christoph Lange, Jacobs University Bremen
http://kwarc.info/clange, Skype duke4701

→ Workshop Semantic Web Collaborative Spaces (SWCS) @ WWW 2012
   Lyon, 17 April 2012.  Deadline 6 February.  http://www.swcs2012.org
→ SePublica Workshop @ ESWC 2012.  Crete, Greece, 27/28 May 2012.
   Deadline 29 Feb.  http://sepublica.mywikipaper.org
→ I-SEMANTICS 2012.  Graz, Austria, 5-7 September 2012
   Abstract Deadline 2 April.  http://www.i-semantics.at

http://sepublica.mywikipaper.org/

SePublica2012 an ESWC2012 Workshop.  May 27-31, Heraklion, Greece.

At Sepublica we want to explore the future of scholarly communication 
and scientific publishing. As we are going through a transition between 
print media and Web media, Sepublica aims to provide researchers with a 
venue in which this future can be shaped. Consider research 
publications: Data sets and code are essential elements of data 
intensive research, but these are absent when the research is recorded 
and preserved by way of a scholarly journal article. Or consider news 
reports: Governments increasingly make public sector information 
available on the Web, and reporters use it, but news reports very rarely 
contain fine-grained links to such data sources.  At Sepublica we will 
discuss and present new ways of publishing, sharing, linking, and 
analyzing such scientific resources as well as reasoning over the data 
to discover new links  and scientific insights.


Workshop Format

We are planning to have a full day workshop with two main sessions. 
During the first part of the workshop accepted papers will be presented; 
the second part of the workshop will address by means of focus groups 
two main questions, namely “what do we want the future of scholarly 
communication to be?”  and “how could data be preserved and delivered in 
an interactive manner over scholarly communications?”. These focus 
groups will be followed by a panel discussion. As an outcome of these 
activities we will have a communique that will be the editorial for the 
workshop proceedings,



Dates

* workshop papers submission deadline: Feb 29

* workshop papers acceptance notification: April 1

* workshop papers camera ready: April 15

Submission


   https://www.easychair.org/conferences/?conf=sepublica2012

Research papers are limited to 12 pages and position papers to 5 pages. 
For system/demo descriptions, a paper of minimum 2 pages, maximum 5 
pages should be submitted. Late-breaking news should be one page 
maximum. All papers and system descriptions should be formatted 
according to the LNCS format.  For submissions that are not in the LNCS 
PDF format, 400 words count as one page. Submissions that exceed the 
page limit will be rejected without review.

Depending on the number and quality of submissions, authors might be 
invited to present their papers during a poster session.
The author list does not need to be anonymized, as we do not have a 
double-blind review process in place.

Submissions will be peer reviewed by three independent reviewers; 
late-breaking news get a light review w.r.t. their relevance by two 
reviewers. Accepted papers have to be presented at the workshop 
(requires registering for the ESWC conference and the workshop).


Issues to be addressed

      Representation:
          Formal representations of scientific data; ontologies for 
scientific information
          What ontologies do we need for representing structural 
elements in a document?
          How can we capture the semantics of rhetorical structures in 
scholarly communication, and of  hypotheses and scientific evidence?
          Integration of quantitative and qualitative scientific information
          How could RDF(a) and ontologies be used to represent the 
knowledge encoded in scientific documents and in general-interest media 
publications?
          Connecting scientific publications with underlying research 
data sets

      Technological Foundations:
          Ontology-based visualization of scientific data

          Provenance, quality, privacy and trust of scientific information
          Linked Data for dissemination and archiving of research 
results, for collaboration and research networks, and for research 
assessment

          How could we realize a paper with an API?  How could we have a 
paper as a database, as a knowledge base?
          How is the paper an interface, gateway, to the web of data? 
How could such and interface be delivered in a contextual manner?

Applications and Use Cases:

      Case studies on linked science, i.e., astronomy, biology, 
environmental and socio-economic impacts of global warming, statistics, 
environmental monitoring, cultural heritage, etc.
      Barriers to the acceptance of linked science solutions and 
strategies to address these
      Legal, ethical and economic aspects of Linked Data in science

CfP: WWW2012 Workshop on Semantic Web Collaborative Spaces (SWCS2012)

In conjunction with World Wide Web Conference 2012 (WWW 2012)
Lyon, France, 17 April 2012

http://www.swcs2012.org

==Important dates==

Paper Submission: 6th February 2012
Author Notification: 8th March 2012
Camera ready: 29th March 2012
Workshop: 17th April 2012

==Goal and Motivations==

Semantic Web Collaborative Spaces such as semantic wikis, semantic
social networks, semantic forums, etc. are social semantic software
with the mission to bring together human agents and software agents in
order to foster knowledge-intensive collaboration, content creation
and management, annotated multimedia collection management, social
knowledge diffusion and formalising, and more generally speaking
ontology-oriented content management life-cycle.

The domain spans from multidisciplinary research to deployed
commercial web applications and contributions from all this spectrum
are encouraged. The aim of the SWCS 2012 workshop is to exchange
ideas, to discuss pressing research questions arising from theoretical
studies and practical usage of semantic web collaborative spaces.

==Topics==


Contributions to this workshop will address one or more of the
following topics:

Representing and reasoning on semantics in social web platforms:
* reconciling formal semantics and social semantics
* semantic social network analysis, community detection and community
building
* analyses of semantic wiki contributors and their contributions
* combining, transforming, translating formal and informal knowledge
* coping with disagreement, inconsistencies
* semantics in social/human computing, and vice versa
* change management, truth maintenance, versioning, and undoing semantic
changes
* connecting knowledge and social interaction
* from asynchronous interactions to real-time/multi-synchronous
interactions in SWCS
* optimising, distributing, scaling SWCS
* managing and exploiting the emergence of models and their semantics

Interacting with and within SWCS:
* browsing, navigating, visualizing
* editing linked open data, schemas, rules, etc.
* ergonomics of SWCS, interaction design and usability studies
* object-centered sociality, knowledge-centered sociality
* overcoming entrance barriers and giving incentives for contributing
* provenance, traceability, permissions, trust, licensing, access
control, privacy,
* making formal knowledge accessible, social knowledge evaluation
* mobile and multimodal accesses to SWCS

Return on experience and applications of semantic web collaborative spaces:
* swcs platforms in e-science, e-learning, e-health, e-governement,
* enterprise workflows, document flows, business intelligence,
technological watch
* corporate knowledge management or personal information management
* expert matching, team creation,

Integration, interoperability and reuse of web collaborative spaces:
* integrations and interoperability with other semantic applications and
mashups
* interlinking, distributing, federating SWCS
* extending non-semantic social web platforms with semantics
* exporting and reusing semantics gained from SWCS

==Steering Committee==

* Pascal Molli, LINA, Nantes University (FR) (chair)
* Hideaki Takeda, NII National Institute of Informatics (JP)
* John Breslin, DERI NUI Galway (IE)
* Sebastian Schaffert, Salzburg Research (AT)

== Submissions and Proceedings ==

We invite the following different kinds of contributions:
* full research or application papers (15 pages) describing recent
research outcomes, mature work, prototypes, applications, or
methodologies; authors of accepted full papers will be able to
present their work in a 15 minute talk at the workshop

* short position papers (5-10 pages) describing early work and new
ideas that are not yet fully worked out; authors of short papers
will be able to present their work in a 5-10 minute lightning talk
at the workshop

* demo outlines (5 pages) describing the demonstration of a software
prototype in the poster and demo session during the workshop

* poster descriptions (2 pages) outlining a poster to be presented in
the poster and demo session during the workshop

All submissions must be written in English and must be formatted
according to the ACM format
(http://www.acm.org/sigs/publications/proceedings-templates). Please
submit your contributions electronically in PDF format at:
http://www.easychair.org/conferences/?conf=swcs2012.

For any further informations, please contact organizers via
swcs2012@easychair.org

-- 
Christoph Lange, Jacobs University Bremen
http://kwarc.info/clange, Skype duke4701

My up-to-date presentations: http://www.slideshare.net/langec

I played with that setting, too. I found that it did make a difference
in Firefox, though I'm not sure which way was better.



On Thu, Jan 26, 2012, at 10:22 PM, Joe Trenton wrote:

  I'd wish the MathType translator would not generate
  stretchy='false' for the two parentheses in (T) in the sample
  expression. The presence of the 'false' stretchy attribute has
  no effect in MathFlow, but it messes up the horizontal spacing
  in a second MathML engine we are using.. I had to manually
  delete this attribute way too many times than I'm willing to
  admit. What is the rationale for including it in the output
  translation?
  ---snip---
  <mrow>
  <mo stretchy='false'>(</mo>
  <mi>T</mi>
  <mo stretchy='false'>)</mo>
  </mrow>
  ---snip---
  Joe Trenton, III

References

1. mailto:wendellp@operamail.com

-- 
http://www.fastmail.fm - Email service worth paying for. Try it for free

Hi Joe,

 

I can't answer your specific question but, in general, there are so many
choices as to what to put in MathML output it is impossible to make one
translator that will work for everyone. This is one of the reasons why
we made the translators something you can easily customize. If you are
interested in how to do this, see info on our MathType SDK at
http://www.dessci.com/en/reference/sdk/.

 

Paul

 

From: Joe Trenton [mailto:joe.trenton.iii@gmail.com] 
Sent: Thursday, January 26, 2012 7:22 PM
To: www-math@w3.org
Subject: Re: Styles of using p-MathML

 

I'd wish the MathType translator would not generate stretchy='false' for
the two parentheses in (T) in the sample expression. The presence of the
'false' stretchy attribute has no effect in MathFlow, but it messes up
the horizontal spacing in a second MathML engine we are using.. I had to
manually delete this attribute way too many times than I'm willing to
admit. What is the rationale for including it in the output translation?

---snip---
<mrow>
<mo stretchy='false'>(</mo>
<mi>T</mi>
<mo stretchy='false'>)</mo>
</mrow>
---snip---

Joe Trenton, III