Welcome!

Industrial IoT Authors: Pat Romanski, William Schmarzo, Elizabeth White, Stackify Blog, Yeshim Deniz

RSS Feed Item

"vocabulary constraints" and other constraints (was: Re: RE: D

On 26 Feb 2009, at 11:19 , G. Ken Holman wrote:

...

 > I thought I was explicit when I said "all of the constraints for
 > XSLT as an XML vocabulary".  I wasn't saying "all of the constraints
 > for XSLT as an XSLT stylesheet".  And I added "as an XML vocabulary"
 > expressly to indicate I was not talking about stylesheet
 > constraints, only vocabulary constraints: the presence and absence
 > of elements and attributes.  I even gave an example of the kinds of
 > constraints I was speaking of.

 > Never would I expect any generic schema language to express the
 > constraints on the semantic interpretation of values found within
 > its elements and attributes.  That is the purview of the
 > applications interpreting the semantics of the instances. ...

 > Those are not the purview of generic applications tasked with simple
 > requirements (such as for editing XML documents) where the author is
 > guided in avoiding the improper creation of instances based on
 > explicit rules for the presence and absence of attributes.  Seems to
 > me to be a good role for schema constraints.

Hmm.  An interesting distinction here that you're attempting to
draw between the job of the editor and the job of the application.
I don't buy it, though.

Do you mean that if you had an emacs mode that could detect syntax
errors in your match patterns, or type errors in your XPath
expressions, without slowing you down and without getting in your way,
that you would turn it off, because it's not really within the purview
of an editor to know that much about constraints on specific values?
Do you turn off ID/IDREF checking in your editors, too?

Not me.  Every error the editor detects for me, before I try to
compile and run the stylesheet, is an error caught earlier in the
cycle and (usually) more easily fixed.  I don't believe in the
existence of the distinction you make between a vocabulary "as an XML
vocabulary" and as an application vocabulary (or whatever one might
call the other thing), except as a rough and ready distinction like
the one we conventionally make in programming languages between syntax
and semantics.  As Michael Kay has already pointed out, the key to
that distinction is: if we know how to specify it formally --
especially if we can specify it in a way that doesn't require a Turing
machine -- and check it automatically and conveniently, we tend to
call it (whatever it is) syntax.  If we don't know how, then it's
semantics.

One of the great themes of computer science over the last sixty years
has been the long-running campaign to move more and more things out of
the "must be checked by eyeball" / semantics area, and into the "can
readily be checked by machine" / syntax area.

It was not so long ago, for example, that many experts in markup would
have said that if a vocabulary wanted to impose a rule that either
attribute A or attribute B must be present, but not both, then that
was an application convention or semantic matter, and was not part of
the syntax properly understood, since "the syntax" was what a DTD
checked, and DTDs didn't handle co-constraints.

If you believe that the boundary between what a schema language should
do and what it should not do is always clear, then it's no wonder you
confused people.  Particularly since pretty much every schema language
ever used with XML does more than constraining the presence or absence
of particular elements and attributes, so none of them sticks with
what you now seem to be saying is their only real business.

As I said when I was firing flak at you offline, we can't help having
our tools influence the way we think.  But it's dangerous not to be
aware of it and to confuse a distinction rooted in the contingent
properties of our current or recent toolset with a distinction rooted
in essentials.  Hence my friendly warning shot.


-- 
****************************************************************
* C. M. Sperberg-McQueen, Black Mesa Technologies LLC
* http://www.blackmesatech.com
* http://cmsmcq.com/mib
* http://balisage.net
****************************************************************

-- 
  C. M. Sperberg-McQueen
  http://www.blackmesatech.com
  http://cmsmcq.com/mib



Read the original blog entry...

IoT & Smart Cities Stories
Here are the Top 20 Twitter Influencers of the month as determined by the Kcore algorithm, in a range of current topics of interest from #IoT to #DeepLearning. To run a real-time search of a given term in our website and see the current top influencers, click on the topic name. Among the top 20 IoT influencers, ThingsEXPO ranked #14 and CloudEXPO ranked #17.
The Jevons Paradox suggests that when technological advances increase efficiency of a resource, it results in an overall increase in consumption. Writing on the increased use of coal as a result of technological improvements, 19th-century economist William Stanley Jevons found that these improvements led to the development of new ways to utilize coal. In his session at 19th Cloud Expo, Mark Thiele, Chief Strategy Officer for Apcera, compared the Jevons Paradox to modern-day enterprise IT, examin...
According to Forrester Research, every business will become either a digital predator or digital prey by 2020. To avoid demise, organizations must rapidly create new sources of value in their end-to-end customer experiences. True digital predators also must break down information and process silos and extend digital transformation initiatives to empower employees with the digital resources needed to win, serve, and retain customers.
In his keynote at 18th Cloud Expo, Andrew Keys, Co-Founder of ConsenSys Enterprise, provided an overview of the evolution of the Internet and the Database and the future of their combination – the Blockchain. Andrew Keys is Co-Founder of ConsenSys Enterprise. He comes to ConsenSys Enterprise with capital markets, technology and entrepreneurial experience. Previously, he worked for UBS investment bank in equities analysis. Later, he was responsible for the creation and distribution of life settl...
Contextual Analytics of various threat data provides a deeper understanding of a given threat and enables identification of unknown threat vectors. In his session at @ThingsExpo, David Dufour, Head of Security Architecture, IoT, Webroot, Inc., discussed how through the use of Big Data analytics and deep data correlation across different threat types, it is possible to gain a better understanding of where, how and to what level of danger a malicious actor poses to an organization, and to determin...
@CloudEXPO and @ExpoDX, two of the most influential technology events in the world, have hosted hundreds of sponsors and exhibitors since our launch 10 years ago. @CloudEXPO and @ExpoDX New York and Silicon Valley provide a full year of face-to-face marketing opportunities for your company. Each sponsorship and exhibit package comes with pre and post-show marketing programs. By sponsoring and exhibiting in New York and Silicon Valley, you reach a full complement of decision makers and buyers in ...
There are many examples of disruption in consumer space – Uber disrupting the cab industry, Airbnb disrupting the hospitality industry and so on; but have you wondered who is disrupting support and operations? AISERA helps make businesses and customers successful by offering consumer-like user experience for support and operations. We have built the world’s first AI-driven IT / HR / Cloud / Customer Support and Operations solution.
LogRocket helps product teams develop better experiences for users by recording videos of user sessions with logs and network data. It identifies UX problems and reveals the root cause of every bug. LogRocket presents impactful errors on a website, and how to reproduce it. With LogRocket, users can replay problems.
Data Theorem is a leading provider of modern application security. Its core mission is to analyze and secure any modern application anytime, anywhere. The Data Theorem Analyzer Engine continuously scans APIs and mobile applications in search of security flaws and data privacy gaps. Data Theorem products help organizations build safer applications that maximize data security and brand protection. The company has detected more than 300 million application eavesdropping incidents and currently secu...
Rafay enables developers to automate the distribution, operations, cross-region scaling and lifecycle management of containerized microservices across public and private clouds, and service provider networks. Rafay's platform is built around foundational elements that together deliver an optimal abstraction layer across disparate infrastructure, making it easy for developers to scale and operate applications across any number of locations or regions. Consumed as a service, Rafay's platform elimi...