Not logged in : Login

About: KB dependent collection     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Class, within Data Space : www.openlinksw.com associated with source document(s)
QRcode icon
http://www.openlinksw.com/describe/?url=http%3A%2F%2Fsw.opencyc.org%2Fconcept%2FMx4rtGXkHpNaEdqAAAACs0uFOQ

A specialization of TimeDependentCollection (q.v.). This is the collection of all and only those collections COL such that any thing's being an instance of COL depends on the current state of the CycKB. Such a COL corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, CycLAssertion is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. CycLSentence is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of CycLReifiedDenotationalTerms (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, Sentence is not a KB-dependent collection. See also KBDependentRelation.

AttributesValues
primary topic
comment
  • A specialization of TimeDependentCollection (q.v.). This is the collection of all and only those collections COL such that any thing's being an instance of COL depends on the current state of the CycKB. Such a COL corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world.

    For example, CycLAssertion is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. CycLSentence is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of CycLReifiedDenotationalTerms (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, Sentence is not a KB-dependent collection.

    See also KBDependentRelation.

label
  • KBDependentCollection
label
  • KB dependent collection
  • RDF Description of performance #5644
type
Faceted Search & Find service v1.17_git63 as of Apr 23 2021


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3320 as of Mar 14 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (30 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software