Typed structured documents for informal retrieval

From MaRDI portal

DOI10.1007/3-540-63620-X_60MaRDI QIDQ4376804zbMATH OpenFDO

Authors Chanda Dharap, C. Mic. Bowman

Publication date 11 February 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63620-X_60


zbMATH Keywords

data type definitiontype model

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Data structures (68P05) Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65) Computing methodologies for text processing; mathematical typography (68U15)




Review text

The paper presents a unique model for typed, structured information, based on the properties of documents. The defined type model extends the power of information systems in several ways, allowing to specify searchable document properties and semantic relations among documents. The multiple inheritance mechanism in the type system enables to derive new types from existing types and dynamic manipulation of the file type. The formalization of the type model provides type and object definitions and a set of functions operating on types, in particular, type instantiation, type verification and type translation. Thus the obtained type system and its attached set of tools allow to create typed structured documents, provide structural type verification, and enable building meaningful relations between documents. For the entire collection see [Zbl 0879.00058].


Recommendations



Cited in
(1)








This page was built for publication: Typed structured documents for informal retrieval

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376804)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Typed_structured_documents_for_informal_retrieval&oldid=108323219"
Powered by MediaWiki