org.dllearner.kb.sparql
Class SparqlQueryDescriptionConvertVisitor

java.lang.Object
  org.dllearner.kb.sparql.SparqlQueryDescriptionConvertVisitor

All Implemented Interfaces:

DescriptionVisitor

public class SparqlQueryDescriptionConvertVisitor
extends Object
implements DescriptionVisitor

Converter from DL-Learner descriptions to a corresponding SPARQL query to get all instances that are described by this description.

Author:

Sebastian Knappe, Sebastian Hellmann

Constructor Summary

SparqlQueryDescriptionConvertVisitor()

Method Summary

String	getSparqlQuery(Description description) takes a description and transforms it into SPARQL
static String	getSparqlQuery(Description description, int limit, boolean labels, boolean distinct)
String	getSparqlQuery(String descriptionKBSyntax)
static String	getSparqlQuery(String descriptionKBSyntax, int limit, boolean labels, boolean distinct)
static String	getSparqlQueryIncludingSubclasses(String descriptionKBSyntax, int resultLimit, SPARQLTasks st, int maxDepth) COMMENT: write some more includes subclasses, costly function, because subclasses have to be received first.
static void	main(String[] args) Used for testing the Sparql Query converter.
void	noLimit()
void	setCount(boolean count)
void	setCustomFilter(String customFilter)
void	setDistinct(boolean distinct) result is distinct
void	setLabels(boolean labels) also retrieve labels (untested)
void	setLimit(int limit)
void	setOffset(int offset)
void	setSubclassMap(Map<String,Set<String>> subclassMap) needed for expanding subclasses, if store does no reasoning
void	setTransitiveProperties(SortedSet<String> transitiveProperties) virtuoso optimisation for transitive properties
static void	testHasValue()
static void	testTrans()
void	visit(ADC description)
void	visit(DatatypeExactCardinalityRestriction description)
void	visit(DatatypeMaxCardinalityRestriction description)
void	visit(DatatypeMinCardinalityRestriction description)
void	visit(DatatypeSomeRestriction description)
void	visit(DatatypeValueRestriction description)
void	visit(Intersection description)
void	visit(NamedClass description)
void	visit(Negation description)
void	visit(Nothing description)
void	visit(ObjectAllRestriction description)
void	visit(ObjectExactCardinalityRestriction description)
void	visit(ObjectMaxCardinalityRestriction description)
void	visit(ObjectMinCardinalityRestriction description)
void	visit(ObjectOneOf description)
void	visit(ObjectSomeRestriction description)
void	visit(ObjectValueRestriction description)
void	visit(Thing description)
void	visit(Union description)

Methods inherited from class java.lang.Object

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

Constructor Detail

SparqlQueryDescriptionConvertVisitor

public SparqlQueryDescriptionConvertVisitor()

Method Detail

getSparqlQuery

public String getSparqlQuery(String descriptionKBSyntax)
                      throws ParseException

Parameters:

descriptionKBSyntax - description which is parsed and passed to getSparqlQuery( Description description)

Returns:

Throws:

ParseException

getSparqlQuery

public String getSparqlQuery(Description description)

takes a description and transforms it into SPARQL

Parameters:

description -

Returns:

setLimit

public void setLimit(int limit)

Parameters:

limit - <= 0 means no limit

noLimit

public void noLimit()

setLabels

public void setLabels(boolean labels)

also retrieve labels (untested)

Parameters:

labels -

setDistinct

public void setDistinct(boolean distinct)

result is distinct

Parameters:

distinct -

setTransitiveProperties

public void setTransitiveProperties(SortedSet<String> transitiveProperties)

virtuoso optimisation for transitive properties

Parameters:

transitiveProperties -

setSubclassMap

public void setSubclassMap(Map<String,Set<String>> subclassMap)

needed for expanding subclasses, if store does no reasoning

Parameters:

subclassMap -

setCount

public void setCount(boolean count)

setOffset

public void setOffset(int offset)

setCustomFilter

public void setCustomFilter(String customFilter)

getSparqlQuery

public static String getSparqlQuery(String descriptionKBSyntax,
                                    int limit,
                                    boolean labels,
                                    boolean distinct)
                             throws ParseException

Throws:

ParseException

getSparqlQuery

public static String getSparqlQuery(Description description,
                                    int limit,
                                    boolean labels,
                                    boolean distinct)

getSparqlQueryIncludingSubclasses

public static String getSparqlQueryIncludingSubclasses(String descriptionKBSyntax,
                                                       int resultLimit,
                                                       SPARQLTasks st,
                                                       int maxDepth)
                                                throws ParseException

COMMENT: write some more includes subclasses, costly function, because subclasses have to be received first. TODO mentioned method cannot be found by Javadoc tool conceptRewrite(String descriptionKBSyntax, SparqlEndpoint se, Cache c, boolean simple)

Parameters:

descriptionKBSyntax -

resultLimit -

maxDepth -

Throws:

ParseException

See Also:

#getSparqlQuery(Description description, int limit), #getSparqlQuery(Description description, int limit)

testHasValue

public static void testHasValue()
                         throws Exception

Throws:

Exception

testTrans

public static void testTrans()
                      throws Exception

Throws:

Exception

main

public static void main(String[] args)
                 throws Exception

Used for testing the Sparql Query converter.

Parameters:

args -

Throws:

Exception

visit

public void visit(Negation description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ObjectAllRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ObjectSomeRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(Nothing description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(Thing description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(Intersection description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(Union description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ObjectMinCardinalityRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ObjectExactCardinalityRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ObjectMaxCardinalityRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ObjectValueRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(DatatypeValueRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(NamedClass description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ADC description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(DatatypeMinCardinalityRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(DatatypeExactCardinalityRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(DatatypeMaxCardinalityRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(DatatypeSomeRestriction description)

Specified by:

visit in interface DescriptionVisitor

visit

public void visit(ObjectOneOf description)

Specified by:

visit in interface DescriptionVisitor