How WebKB Could Contribute to PORT

Less knowledge-oriented version of WebKB may be required for PORT (7594)

References: phmartin@gu.edu.au (Jun 26, 2002)

Examples? (7603)

Concept maps (7608)

References: phmartin@gu.edu.au (Jun 26, 2002)

Labelled links do not genuinely represent actual relationships (7627)

References: mkeeler@u.washington.edu (Jun 26, 2002)

Not a knowledge representation language (7743)

References: phmartin@gu.edu.au (Jun 27, 2002)

Implications? (7789)

Hard to check (7795)

References: phmartin@gu.edu.au (Jun 27, 2002)

No inferencing (7800)

References: phmartin@gu.edu.au (Jun 27, 2002)

Why not? (7750)

Not required to declare and organize set of labels (7762)

References: phmartin@gu.edu.au (Jun 27, 2002)

No quantifiers (7769)

References: phmartin@gu.edu.au (Jun 27, 2002)

Why important? (7896)

Eliminate ambiguity (7903)

References: phmartin@gu.edu.au (Jun 28, 2002)

Martin's ICCS 2002 paper (7909)

Do they have contexts? (7822)

References: phmartin@gu.edu.au (Jun 27, 2002)

Formal structures use abstract, global contexts (7833)

References: upriss@indiana.edu (Jun 27, 2002)

Associative structures use local contexts (7840)

Without context, associative structures cannot be understood. However, context is not explicit.

References: upriss@indiana.edu (Jun 27, 2002)

Do they have sets? (7827)

References: phmartin@gu.edu.au (Jun 27, 2002)

Valid? (7806)

Not a formal representation, but an associative one (7813)

Associative structures used for analogical reasoning, not inferences.

References: upriss@indiana.edu (Jun 27, 2002)

How can they be integrated with formal structures? (7848)

Could ontologies and formal techniques be used to extract formal knowledge from associative representations?

References: upriss@indiana.edu (Jun 27, 2002)

More problems than even natural languages (7861)

References: phmartin@gu.edu.au (Jun 28, 2002)

Constraints? (7869)

Concept nodes must have known quantifier with explicit scope (7877)

References: phmartin@gu.edu.au (Jun 28, 2002)

Relation types must be declared and have known signature (7886)

References: phmartin@gu.edu.au (Jun 28, 2002)

Martin represents divergent view from La Barre/Dent (7482)

References: cdent@burningchrome.com (Jun 23, 2002)

Formal approach impedes collaboration (7508)

References: cdent@burningchrome.com (Jun 23, 2002)

Ref to need for "precise, flexible" approach (7514)

Collaboration would benefit from more precision (7620)

References: phmartin@gu.edu.au (Jun 26, 2002)

WebKB interesting way of representing knowledge (7520)

References: cdent@burningchrome.com (Jun 23, 2002)

Manual construction of formalisms (7543)

Connecting statements most difficult step for users (7494)

Difficult for user (7553)

Valid? (7560)

For most representations, formalisms are not an obstacle (7566)

References: phmartin@gu.edu.au (Jun 26, 2002)

Some representations are difficult (7575)

References: phmartin@gu.edu.au (Jun 26, 2002)

Examples (7582)