| Package | Description |
|---|---|
| org.aksw.sparqlify.restriction.experiment |
| Modifier and Type | Method and Description |
|---|---|
static RestrictionManager2 |
RestrictionManager2.createUnion(Collection<RestrictionManager2> rms)
How to create unions of CNFs?
(a AND (b OR c)) OR (A AND (b OR c))
The good thing: It should be easy to figure out whether a clause already exists in the CNF
Actually: Can we even separate the restrictions from the CNF? I guess so.
|
| Modifier and Type | Method and Description |
|---|---|
static RestrictionManager2 |
RestrictionManager2.createUnion(Collection<RestrictionManager2> rms)
How to create unions of CNFs?
(a AND (b OR c)) OR (A AND (b OR c))
The good thing: It should be easy to figure out whether a clause already exists in the CNF
Actually: Can we even separate the restrictions from the CNF? I guess so.
|
| Constructor and Description |
|---|
RestrictionManager2(RestrictionManager2 parent) |
Copyright © 2014. All rights reserved.