TC4

From OWL
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))