1 / 2

What We’d Want a Good Host to Provide

What We’d Want a Good Host to Provide. Doug Lenat Cycorp Doug@cyc.com. A commitment to use – to have contributors all provide content under – some Creative Commons license, as opposed to e.g. a GNU license Retention of the provenance/lineage of contributed ontological content

misu
Download Presentation

What We’d Want a Good Host to Provide

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. What We’d Want a Good Host to Provide Doug Lenat Cycorp Doug@cyc.com • A commitment to use – to have contributors all provide content under – some Creative Commons license, as opposed to e.g. a GNU license • Retention of the provenance/lineage of contributed ontological content • Agreement on some of the most fundamental ontological relations • Agreement on a small set of inter-ontology alignment relations Content that Cycorp could provide to be be hosted: * OpenCyc (www.opencyc.org) 100% free even for commercial purposes * ResearchCyc (researchcyc.cyc.com) free for R&D purposes In both cases, there are ontologies plus inference engines and API-level and graphical interface tools Meta-level message: Look at OKKAM, LarKC, etc., and decide what role, if any, OOR can/should play, and how it should tie in with those other efforts.

  2. What’s in OpenCyc Explicitly: 300k terms; 14k predicates; 57k classes; 2 million assertions Implicitly: There are infinitely more nonatomic terms and inferred assertions More subtle but crucial point: There are infinitely many contexts (microtheories) defined compositionally rather than having only explicitly reified contexts • (#$isa 596215) • (#$genls 99198) • (#$disjointWith 6114) • (#$resultIsa 4277) • (#$resultGenl 1206) • (#$argIsa 35617 • (#$argGenl 5398) • (#$arg1Isa 16748) • (#$arg1Genl 2354) • (#$arg2Isa 14114 • (#$arg2Genl 2283) • (#$arg3Isa 3486) • (#$argFormat 5493) • (#$arg2Format 3320) • (#$functionalInArgs 1427) • (#$arity 16416) • (#$arityMin 958) • (#$comment 57305) • (#$genlPreds 7440) • (#$negationInverse 990) • (#$genlMt 26078) • (#$denotationInEnglish 409745) • (#$synonymousExternalConcept13916) This means there are 596k “isa” assertions in OpenCyc E.g., mapping between a term in OpenCyc and a WordNet synset

More Related