Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

SUO: Re: Web-based ontology browsers




From: "Robert E. Kent" <rekent@ontologos.org>

> The problem with plain text is that it does not have the mathematical
> symbols that I love to use. That's why I use LaTeX or MS-Word.

>From a strickly data processing perspective MS-Word is a nightmare.

> Furthermore, my documents have several types of components, which I feel
> necessary:
> 1. the formal KIF axioms
> 2. discussion of the background theory
> 3. discussion of the KIF formalization
> 4. tables
> 5. figures and diagrams
> 6. sectioning
>Solutions?

Is there some way that we can include the non KIF statements as files.  Then
the KIF statements can refer to them by URL with an appropriately agreed
upon relation .. such as 'doc',  'seeFigure', 'discussion' ?

> BTW, MS-Word converts to HTML, but in a very bloated manner. So this
> probably will not be desired.

Unfortunately I lopped MS-Word off my computers, but could you post
somewhere the HTML ... maybe if we can see the actual data the solutions
will emerge more easily.

Seth Russell