TC4

From OWL
Revision as of 15:07, 22 February 2008 by Sandro Hawke (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


AuthorBijanParsia
DescriptionThis tests existential generalization from BNodes. This should hold under both variable and skolem semantics.
StatusSUBMITTED
Contribution syntaxFunctional
Sourcehttp://www.w3.org/mid/617ADB0B-C189-4559-A53C-728BE0878654@cs.man.ac.uk
LevelOWLDL
Premise
FormatPresentation Syntax
TextObjectPropertyAssertion(:p :x _:y)
Conclusion
FormatPresentation Syntax
TextClassAssertion(:x ObjectSomeValuesFrom(:p Thing))