Warning:
This wiki has been archived and is now read-only.
TC4
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 |
| ||||
| Conclusion |
|