Warning:
This wiki has been archived and is now read-only.
TestCase:Experiment3a
From OWL
Author | BijanParsia |
---|---|
Description | This tests existential generalization from BNodes. This should hold under both variable and skolem semantics. |
Status | SUBMITTED |
Contribution syntax | Functional |
Source | http://www.w3.org/mid/617ADB0B-C189-4559-A53C-728BE0878654@cs.man.ac.uk |
Level | OWLDL |
Premise | ObjectPropertyAssertion(:p :x _:y) |
Conclusion | ClassAssertion(:x ObjectSomeValuesFrom(:p Thing)) |