danbri: I'm revisiting this as background for a swad-europe report on schema languages.
danbri: "A schema can be reduced to a set of logical propositions. Schemas in different language can be reduced and thus combined."
danbri: "A schema can be reduced to a set of logical propositions. Schemas in different language can be reduced and thus combined."
DanCon: a recent draft: Common Logic: Abstract Syntax and Semantics
danbri: Looks promising :)
danbri: Have they started to investigate use of URI-named namespaces yet?
danbri: "The DTD's URI is [http://cl.tamu.edu/docs/cl.dtd|http://cl.tamu.edu/docs/cl.dtd"
danbri: Looks promising :)
danbri: Have they started to investigate use of URI-named namespaces yet?
danbri: "The DTD's URI is [http://cl.tamu.edu/docs/cl.dtd|http://cl.tamu.edu/docs/cl.dtd"