Download:
|
by Michael Kohlhase
Bulletin of the ACM Special Interest Group on Symbolic and Automated Mathematics (SIGSAM
http://www.ags.uni-sb.de/~kohlhase/papers/sigsam.ps
Add To MetaCart
Abstract:
The OpenMath framework for transmitting mathematical objects over the Internet relies on the concept of Content Dictionaries (CDs) to dene the semantics of mathematical objects. This is an essential measure for establishing a meaningful communication among mathematical software systems (and humans). Currently, the infrastructure for conceiving, administering, viewing CDs is limited to a le-based almost
at repository. In this paper, we propose to use the OMDoc extension of the OpenMath Xml encoding as an infrastructure to express and manipulate content dictionary information. OMDoc extends OpenMath by support for document markup (making the CDs more readable to the human user) and structured specication (making them more explicit, formal, and allow the user to reuse, and inherit CD information in a exible, but well-dened way).
Citations
|
87
|
Fritzson R.: KQML — A Language and Protocol for Knowledge and Information Exchange
– Finin
- 1994
|
|
39
|
Little theories
– Farmer, Guttman, et al.
- 1992
|
|
37
|
System description: Mathweb, an agent-based communication layer for distributed automated theorem proving
– Franke, Kohlhase
- 1999
|
|
36
|
Towards an evolutionary formal software-development using Casl
– Autexier, Hutter, et al.
- 2000
|
|
34
|
OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge
– Kohlhase
- 2000
|
|
27
|
MBase: Representing knowledge and context for the integration of mathematical software systems
– Kohlhase, Franke
|
|
19
|
System description: Mbase, an open mathematical knowledge base
– Franke, Kohlhase
|
|
18
|
Algebra Interactive
– Cohen, Cuypers, et al.
- 1999
|
|
17
|
OMdoc: Towards an OpenMath representation of mathematical documents
– Kohlhase
- 2000
|
|
11
|
Towards interoperable mechanized reasoning systems: the logic broker architecture
– Armando, Zini
- 2000
|
|
10
|
An infrastructure for intertheory reasoning
– Farmer
- 2000
|
|
8
|
Handbook of Agent Technology, chapter Agent-Oriented Software Engineering
– Jennings, Wooldridge
- 2000
|
|
6
|
Speci cation of Abstract Data Types
– Loeckx, Ehrich, et al.
|
|
5
|
Communication protocols for mathematical services based on KQML and OMRS
– Armando, Kohlhase
- 2000
|
|
5
|
Reasoning about theories. Technical report, Deutsches Forschungszentrum fur Kunstliche Intelligenz (DFKI
– Hutter
- 1999
|
|
2
|
Language Design Task Group CoFI. Casl - the CoFI algebraic speci language - summary, version 1.0
– Dennis, Collins, et al.
- 1998
|
|
2
|
The OMDoc repository. Internet page at http://www. mathweb.org/omdoc
– Kohlhase
|
|
1
|
Creating omdoc representations from L A T E X. Internet Draft available at http://www.mathweb.org/ilo/omdoc/ latex2omdoc.ps
– Kohlhase
- 2000
|
