Not logged in : Login

About: http://www.w3.org/2000/10/swap/log#includes     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : rdf:Property, within Data Space : vos.openlinksw.com associated with source document(s)

The subject formula includes the object formula. Formula A includes formula B if there exists some substitution which when applied to B creates a formula B' such that for every statement in B' is also in A, every variable universally (or existentially) quantified in B' is quantified in the same way in A. Variable substitution is applied recursively to nested compound terms such as formulae, lists and sets. (Understood natively by cwm when in in the antecedent of a rule. You can use this to peer inside nested formulae.)

AttributesValues
type
range
isDefinedBy
comment
  • The subject formula includes the object formula. Formula A includes formula B if there exists some substitution which when applied to B creates a formula B' such that for every statement in B' is also in A, every variable universally (or existentially) quantified in B' is quantified in the same way in A. Variable substitution is applied recursively to nested compound terms such as formulae, lists and sets. (Understood natively by cwm when in in the antecedent of a rule. You can use this to peer inside nested formulae.)
Faceted Search & Find service v1.17_git150 as of Jan 20 2025


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.3332 as of Sep 11 2024, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (15 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software