Warning:
This wiki has been archived and is now read-only.

TestCase:Experiment3a

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
PremiseObjectPropertyAssertion(:p :x _:y)
ConclusionClassAssertion(:x ObjectSomeValuesFrom(:p Thing))