100 likes | 305 Views
Logic and Language Links. Caterina Caracciolo caterina@science.uva.nl caterina@fls.unipi.it. Disseminating Electronic Information. Inserting “basic data” provided by the authors Computing inferred information all the relations in the CH web links handbook(s) links Testing
E N D
Logic and Language Links Caterina Caracciolo caterina@science.uva.nl caterina@fls.unipi.it Disseminating Electronic Information
Inserting “basic data” provided by the authors Computing inferred information all the relations in the CH web links handbook(s) links Testing feedback to improve structure and computation Overall Architecture Logic and Language Links Caterina Caracciolo
Basic Data • “Vertical” relations: • parent(s) and type of relation (is-a, part-of, notion, theorem) • Texts: • gloss, user-level descriptions • “Horizontal” relations: • similar nodes, antonyms • (system) Reference to meta-data: • author, chronology Logic and Language Links Caterina Caracciolo
Inferring Other Relations • Vertical: supertopic, subtopic, (siblings) • Links from descriptions to other nodes • Automatically computed similarity • verified against that manually given • Other positions • Other relations? Logic and Language Links Caterina Caracciolo
Generating Handbook-Links • Links form the hierarchy to the handbook(s) Extracting the “aboutness” of the text • IR techniques • linguistic/stylistic analysis • links, how specific? • What “type” of links? Logic and Language Links Caterina Caracciolo
A Pervasive Task: the Evaluation • Exploitation of the hierarchy • Precision of handbook links • Towards an objective measure? Logic and Language Links Caterina Caracciolo
Current Work • Displaying the information • typology of links • Web interface for authors (& guidelines) • Web site • Efficient computing system Logic and Language Links Caterina Caracciolo
Next steps • What kind of (computed) similarity? • Handbook links • Web links • Evaluation Logic and Language Links Caterina Caracciolo