org.aksw.sparqlify.restriction.experiment

Class PrefixSet

java.lang.Object

org.aksw.sparqlify.restriction.experiment.PrefixSet

public class PrefixSet
extends Object

A class which denotes a set of strings with common prefix. Exceptions may pertain to the set, with following rules: - The exception must be part of the set - The polarity of the exception is opposite of that of the base

Author:

raven

Constructor Summary

Constructors

Constructor and Description
PrefixSet(Prefix value)
PrefixSet(Prefix value, Polarity polarity)
PrefixSet(Prefix value, Polarity polarity, Set<PrefixSet> exceptions)

Method Summary

Methods

Modifier and Type	Method and Description
PrefixSet	addException(Prefix exception) Adds an exception to the current set.
void	addException(PrefixSet that) Adds an exception: Example: prefix = {owl} addException(owla) addException(owlab)
boolean	contains(Prefix that)
boolean	contains(String str)
PrefixSet	getExceptionFor(Prefix prefix)
Set<PrefixSet>	getExceptions()
Set<PrefixSet>	getExceptions(String prefix) Returns the set of exceptions with the given prefix
Polarity	getPolarity()
Set<PrefixSet>	getSuffixExceptions(Prefix prefix)
Prefix	getValue()
static Prefix	intersect(Prefix a, Prefix b)
static String	intersect(String a, String b)
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)
boolean	isPrefixOf(String str)
PrefixSet	negate()
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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrefixSet

public PrefixSet(Prefix value)

PrefixSet

public PrefixSet(Prefix value,
         Polarity polarity)

PrefixSet

public PrefixSet(Prefix value,
         Polarity polarity,
         Set<PrefixSet> exceptions)

Method Detail

getPolarity

public Polarity getPolarity()

getValue

public Prefix getValue()

getExceptions

public Set<PrefixSet> getExceptions()

isPrefixOf

public boolean isPrefixOf(String str)

contains

public boolean contains(String str)

contains

public boolean contains(Prefix that)

getExceptionFor

public PrefixSet getExceptionFor(Prefix prefix)

getSuffixExceptions

public Set<PrefixSet> getSuffixExceptions(Prefix prefix)

addException

public PrefixSet addException(Prefix exception)

Adds an exception to the current set. Note that if {owla} is added, but {owl} is already an exception, then the exception is subsumed (i.e. not added) On the other hand, if {owl} is added, but {owla, ..., owlz} exists, then all their exceptions are added to owl

Parameters:

exception -

Returns:

addException

public void addException(PrefixSet that)

Adds an exception: Example: prefix = {owl} addException(owla) addException(owlab)

Parameters:

exception -

getExceptions

public Set<PrefixSet> getExceptions(String prefix)

Returns the set of exceptions with the given prefix

Parameters:

prefix -

intersect

public static Prefix intersect(Prefix a,
               Prefix b)

intersect

public static String intersect(String a,
               String b)

intersects

public 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)

union

public 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)

Parameters:

that -

Returns:

negate

public PrefixSet negate()