Re: Relating mathematics to XML -- using properties forenablin
David Carlisle scripsit: > Not at all: you just have operations from for a commutative semigroup A commutative monoid, in fact, since there is an identity element. > @ could be any operation at all where a and b are elements of the group > and 0 is its unit. So it could be multiplication for example, the unit > for multiplicative groups are normally written as 1 but as you noted > "other symbols could be used" and 0 is just as good a symbol. Quite so. To pin down addition, you have to do a good deal more work; the obvious starting point is the Peano axioms. > What does this mean for XML? Not much, other than terms mean what they > are defined to mean in the given context, and if you take them out of > context they don't mean anything:-) It is possible to define terms out of context, but not without considerable pain. In $EMPLOYER's ontology, for example, "attorney" is defined as equivalent to "has at least one bar association ID number", and bar associations are defined by enumerating them. No doubt this definition is U.S. parochial and will have to be fixed eventually. -- We call nothing profound email@example.com that is not wittily expressed. John Cowan --Northrop Frye (improved)
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
PURCHASE STYLUS STUDIO ONLINE TODAY!
Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!
Download The World's Best XML IDE!
Accelerate XML development with our award-winning XML IDE - Download a free trial today!
Subscribe in XML format