ABSTRACT
Abstraction is the means by which information can be stored and retrieved from an information structure at different levels of detail and from different perspectives. As such, abstraction mechanisms in hypertext are interesting to study and evaluate. In this paper we study the abstraction mechanisms in hypertext from a theoretical perspective. Abstractions then become various first-order logic formulae. Specifically we consider abstractions: sets, sequences, aggregations, generalizations, revisions, and information structures. Interesting results of this work are the definition of level of generality of a hypertext node, the demonstration of revision histories as a partial order, and the notion of compatible-similar nodes. Also defined in this paper is the notion of primitive hypertexts versus application hypertexts, and the usage of attributes of nodes (illustrated by the use of keywords) across various abstractions. An illustration of the concepts is given using the contexts mechanism suggested by Delisle and Schwartz [DS87].
- AH84.Serge Abiteboul and Richard Hull. IFO: A Formal Semantic Database Model(Peliminary Report). In Proc. A CM SIGA CT-SIGMOD S~lmposium on Principles of Database SZts~ems, 1984. Google ScholarDigital Library
- BH86.D. Bryce and R. Hull. SNAP: A Graphic-Based Schema Manager. In Proc. of ~he Second In~l. Conf. on Da~a Engineering, pages 151-164, February 1986. Google ScholarDigital Library
- Bra85.1~. Brachman. On the Epistemoliglcal Status of Semantic Networks. In R. J. Brachman and H. J. Levesque, editors, Readings in K~zowledge Representation, pages 192-215, Morgan Kaufman Publishers, Inc., 95 First Street, Los Altos, CA 94022, 1985.Google Scholar
- Bus45.V. Bush. As we may think. July 1945. Atlantic Monthly, no. 176, pp. 101-108.Google Scholar
- Con87.Jeff'Conklin. Hypertext: An Introduction'and Survey. Computer, 20(9):17-41, September 1987. Also available as MCC Technical Report no. STP-356-86, Rev. 1. Google ScholarDigital Library
- DS86.N. Delisle and M. Schwartz. Neptune: a Hypertext System for CAD Applications. in Proceedings of A CM SIGMOD '86, pages 132-142~ Wahlngton~ D.C.~ May 1986. Google ScholarDigital Library
- DS87.N. Delisle and M. Schwartz. Contexts: a Partitioning Concept for Hpertexts. In Computer Supported Cooperative Work Conference, 1987. Google ScholarDigital Library
- FS86.G. Foster and M. Stefik. Cognoter, theory and practice of a colab-orative tool. In Proceedings of ~he CompuIer Supported Cooperative Work Conference, pages 7-15, 1986. Google ScholarDigital Library
- Gar87.P. Garg. Theoretical foundations for Intelligent Software Hypertext Systems. 1987. Computer Science Department, USC, In preparation.Google Scholar
- GB84.I. P. Goldstein and D. G. Bobrow. A layered approach to software design. In D. R. Barstow, H. E. Shrobe, and E. Sandelwall, editors, Interactive Programming Environments, pages 387-413, McGraw-Hill Book Company, 1984.Google Scholar
- GS87a.P. Garg and W. Scacchi. Software Hypertext Environments for Configured Software Descriptions. 1987. Submitted for publication, 1987.Google Scholar
- GS87b.P. Garg and Walt Scacchi. On Designing Intelligent Hypertext Systems for Information Management in Software Engineering. 1987. To be presented at ttyper~ezt "87. Google ScholarDigital Library
- McC85.J. McCarthy. Programs with Common Sense. In R. J. Brachman and H. 3. Levesque, editors, Readings in Knowledge Representation, pages 300-307, Morgan Kaufman Publishers, Inc., 95 First Street, Los Altos, CA 94022, 1985.Google Scholar
- MS82.D. McLeod and J. M. Smith. Abstraction in Databases. In Workshop on Data Abstraction, Databases, and Conceptual Modeling, pages 1-7, 3une 1982. Google ScholarDigital Library
- Nel81.Ted Nelson. Literary machines. 1981. Available from author, P. O. Box 128, Swarthmore, PA 19081.Google Scholar
- Sal86.G. Salton. Another look at Automatic Text-Retreival Systems. Communications of ~he ,4 oM, 29(7):648-656, Ju~y 1986. Google ScholarDigital Library
- SFG85.A. Sathi, M. Fox, and M. Greenberg. Theory of activity representation in project management. IEEE PA.M~ September 1985. Special issue on principles of knowledge based systems.Google Scholar
- Sha84.Mary Shaw. Abstraction Techniques in Modezn Programming Languages. IEEE Software, 10-26, October 1984.Google Scholar
- Sha85.D. Shasha. Netbook: A Data Model for text exploration. 1985. VLDB.Google Scholar
- SS77.John M. Smith and Diane C. P. Smith. Database Abstractions: Aggregations and Generalizations. A CM Transac~io~zs on Database Systems, 2(2):105-133, June 1977. Google ScholarDigital Library
- Sto79.R.R. Stoll. Se~ Theory and Logic. Dover Publications, Inc., 1979.Google Scholar
- Tic82.W. Tichy. Design, Implementation, and Evaluation of a Revision Control System. In 6~h International Conference ou Software Engineering, pages 58-67, Tokyo, Japan, 1982. Google ScholarDigital Library
- Tri83.R.H. T~igg. A l~fe~work-Based Approach ~o Tez~ Handling for ~he Online Scientific Community. PhD thesis, Maryland A~tifitial Intelligence Group, University of Maryland, November 1983. Google ScholarDigital Library
- UNI.UNIX Users ManuaLGoogle Scholar
Index Terms
- Abstraction mechanisms in hypertext
Recommendations
Abstraction mechanisms in hypertext
Abstraction is the means by which information can be stored and retrieved from an information structure at different levels of detail and from different perspectives. As such, abstraction mechanisms in hypertext are interesting to evaluate from a ...
Abstraction mechanisms in CLU
Proceedings of an ACM conference on Language design for reliable softwareCLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions, procedural, control, and especially data abstractions, ...
Abstraction mechanisms in CLU
Proceedings of an ACM conference on Language design for reliable softwareCLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions, procedural, control, and especially data abstractions, ...
Comments