| Package | Description |
|---|---|
| org.aksw.sparqlify.restriction.experiment |
| Modifier and Type | Method and Description |
|---|---|
PrefixSet |
PrefixSet.addException(Prefix exception)
Adds an exception to the current set.
|
PrefixSet |
PrefixSet.getExceptionFor(Prefix prefix) |
PrefixSet |
PrefixSet.intersects(PrefixSet that)
How to deal with exceptions:
- This is not owl, except for owl:Class
- This is rdf, except for rdf:type
case: positive - positive
Create the intersection:
{owl} and {rdf} -> {}
{owl} and {owla} -> {owla} (owla is more specific)
case: positive - negative
{owl} and not{owla, rdf} -> {owl} except {owla} (positive prevails)
{owl} and not{owla} -> {owl[except owla]} (exception)}
not{owla} and {owl} -> same as above
not{owl} and {owla} -> {} (owl namespace was excluded)
case: negative - negative
Create the union:
not{owl} and not{rdf} -> not{rdf, owl}
not(owl} and not{owla} -> not{owl} (owla subsumed by the shorter prefix)
|
PrefixSet |
PrefixSet.negate() |
PrefixSet |
PrefixSet.union(PrefixSet that)
Rule of thumb: Shorter prefixes subsume longer ones
{owl} union {owla} -> {owl}
The exceptions are then also unioned:
for each exception it is checked, whether there is a shorter exception
case: positive - positive
{owl} union {rdf} -> {} except {owl, rdf}
{owl} union {owla} -> {owl}
case: positive - negative
{owl} union not{owla, rdf} -> {} except {owl, rdf}
{owl} union not{owla} -> {owl[except owla]} (exception)}
not{owla} and {owl} -> same as above
not{owl} and {owla} -> {} (owl namespace was excluded)
case: negative - negative
Create the union:
not{owl} union not{rdf} -> not{rdf, owl}
not(owl} and not{owla} -> not{owl} (owla subsumed by the shorter prefix)
|
| Modifier and Type | Method and Description |
|---|---|
Set<PrefixSet> |
PrefixSet.getExceptions() |
Set<PrefixSet> |
PrefixSet.getExceptions(String prefix)
Returns the set of exceptions with the given prefix
|
Set<PrefixSet> |
PrefixSet.getSuffixExceptions(Prefix prefix) |
| Modifier and Type | Method and Description |
|---|---|
void |
PrefixSet.addException(PrefixSet that)
Adds an exception:
Example:
prefix = {owl}
addException(owla)
addException(owlab)
|
PrefixSet |
PrefixSet.intersects(PrefixSet that)
How to deal with exceptions:
- This is not owl, except for owl:Class
- This is rdf, except for rdf:type
case: positive - positive
Create the intersection:
{owl} and {rdf} -> {}
{owl} and {owla} -> {owla} (owla is more specific)
case: positive - negative
{owl} and not{owla, rdf} -> {owl} except {owla} (positive prevails)
{owl} and not{owla} -> {owl[except owla]} (exception)}
not{owla} and {owl} -> same as above
not{owl} and {owla} -> {} (owl namespace was excluded)
case: negative - negative
Create the union:
not{owl} and not{rdf} -> not{rdf, owl}
not(owl} and not{owla} -> not{owl} (owla subsumed by the shorter prefix)
|
PrefixSet |
PrefixSet.union(PrefixSet that)
Rule of thumb: Shorter prefixes subsume longer ones
{owl} union {owla} -> {owl}
The exceptions are then also unioned:
for each exception it is checked, whether there is a shorter exception
case: positive - positive
{owl} union {rdf} -> {} except {owl, rdf}
{owl} union {owla} -> {owl}
case: positive - negative
{owl} union not{owla, rdf} -> {} except {owl, rdf}
{owl} union not{owla} -> {owl[except owla]} (exception)}
not{owla} and {owl} -> same as above
not{owl} and {owla} -> {} (owl namespace was excluded)
case: negative - negative
Create the union:
not{owl} union not{rdf} -> not{rdf, owl}
not(owl} and not{owla} -> not{owl} (owla subsumed by the shorter prefix)
|
| Constructor and Description |
|---|
PrefixSet(Prefix value,
Polarity polarity,
Set<PrefixSet> exceptions) |
Copyright © 2014. All rights reserved.