Not logged in : Login
(Sponging disallowed)

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
is type of
Faceted Search & Find service v1.17_git122 as of Jan 03 2023


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Apr 5 2024, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (30 GB total memory, 26 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software