A C D E G I M O P S

A

AddDataFromCsvFile - Class in org.semanticweb.vlog4j.examples.core

This example shows how facts can be imported from files in the CSV format.

AddDataFromCsvFile() - Constructor for class org.semanticweb.vlog4j.examples.core.AddDataFromCsvFile

AddDataFromDlgpFile - Class in org.semanticweb.vlog4j.examples.graal

This example shows how facts can be imported from files in the DLGP/DLP format.

AddDataFromDlgpFile() - Constructor for class org.semanticweb.vlog4j.examples.graal.AddDataFromDlgpFile

AddDataFromGraal - Class in org.semanticweb.vlog4j.examples.graal

This example shows how facts and rules can be imported from objects of the Graal library.

AddDataFromGraal() - Constructor for class org.semanticweb.vlog4j.examples.graal.AddDataFromGraal

AddDataFromRdfFile - Class in org.semanticweb.vlog4j.examples.core

This example shows how facts can be imported from files in the RDF N-Triples format.

AddDataFromRdfFile() - Constructor for class org.semanticweb.vlog4j.examples.core.AddDataFromRdfFile

AddDataFromRdfModel - Class in org.semanticweb.vlog4j.examples.rdf

This example shows how vlog4j-rdf library's utility class RdfModelConverter can be used to convert RDF Models from various types of RDF resources to vlog4j-core Atom sets.

AddDataFromRdfModel() - Constructor for class org.semanticweb.vlog4j.examples.rdf.AddDataFromRdfModel

AddDataFromSparqlQueryResults - Class in org.semanticweb.vlog4j.examples.core

This is a simple example of adding data from the result of a SPARQL query on a remote database endpoint, using SparqlQueryResultDataSource.

AddDataFromSparqlQueryResults() - Constructor for class org.semanticweb.vlog4j.examples.core.AddDataFromSparqlQueryResults

C

CompareWikidataDBpedia - Class in org.semanticweb.vlog4j.examples

This example shows how to integrate and compare the contents of two SPARQL endpoints, in this case for Wikidata and DBpedia.

CompareWikidataDBpedia() - Constructor for class org.semanticweb.vlog4j.examples.CompareWikidataDBpedia

configureLogging() - Static method in class org.semanticweb.vlog4j.examples.ExamplesUtils

Defines how messages should be logged.

ConfigureReasonerLogging - Class in org.semanticweb.vlog4j.examples.core

This class exemplifies setting a log file and log level for VLog reasoner logging information (like materialisation duration, number of iterations, number of derivations).

ConfigureReasonerLogging() - Constructor for class org.semanticweb.vlog4j.examples.core.ConfigureReasonerLogging

CountingTriangles - Class in org.semanticweb.vlog4j.examples

In this example we count the number of triangles in the reflexive sharingBorderWith relation from Wikidata.

CountingTriangles() - Constructor for class org.semanticweb.vlog4j.examples.CountingTriangles

D

DoidExample - Class in org.semanticweb.vlog4j.examples

This example reasons about human diseases, based on information from the Disease Ontology (DOID) and Wikidata.

DoidExample() - Constructor for class org.semanticweb.vlog4j.examples.DoidExample

DoidExampleGraal - Class in org.semanticweb.vlog4j.examples.graal

This example is a variant of DoidExample using Graal.

DoidExampleGraal() - Constructor for class org.semanticweb.vlog4j.examples.graal.DoidExampleGraal

E

ExamplesUtils - Class in org.semanticweb.vlog4j.examples

exportQueryAnswersToCSV(Reasoner, String, int) - Static method in class org.semanticweb.vlog4j.examples.ExamplesUtils

Exports the extension of the Atom with name @predicateName

G

getQueryAnswerCount(String, Reasoner) - Static method in class org.semanticweb.vlog4j.examples.ExamplesUtils

Returns the number of answers returned by reasoner to the query (queryAtom).

I

InMemoryGraphAnalysisExample - Class in org.semanticweb.vlog4j.examples

This example shows how to reason efficiently with data sets generated in Java.

InMemoryGraphAnalysisExample() - Constructor for class org.semanticweb.vlog4j.examples.InMemoryGraphAnalysisExample

INPUT_FOLDER - Static variable in class org.semanticweb.vlog4j.examples.ExamplesUtils

iteratorSize(Iterator<T>) - Static method in class org.semanticweb.vlog4j.examples.ExamplesUtils

Returns the size of an iterator.

M

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.CompareWikidataDBpedia

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.core.AddDataFromCsvFile

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.core.AddDataFromRdfFile

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.core.AddDataFromSparqlQueryResults

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.core.ConfigureReasonerLogging

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.core.SkolemVsRestrictedChaseTermination

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.CountingTriangles

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.DoidExample

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.graal.AddDataFromDlgpFile

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.graal.AddDataFromGraal

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.graal.DoidExampleGraal

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.InMemoryGraphAnalysisExample

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.owlapi.OwlOntologyToRulesAndFacts

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.rdf.AddDataFromRdfModel

main(String[]) - Static method in class org.semanticweb.vlog4j.examples.SimpleReasoningExample

O

org.semanticweb.vlog4j.examples - package org.semanticweb.vlog4j.examples

org.semanticweb.vlog4j.examples.core - package org.semanticweb.vlog4j.examples.core

org.semanticweb.vlog4j.examples.graal - package org.semanticweb.vlog4j.examples.graal

org.semanticweb.vlog4j.examples.owlapi - package org.semanticweb.vlog4j.examples.owlapi

org.semanticweb.vlog4j.examples.rdf - package org.semanticweb.vlog4j.examples.rdf

OUTPUT_FOLDER - Static variable in class org.semanticweb.vlog4j.examples.ExamplesUtils

OwlOntologyToRulesAndFacts - Class in org.semanticweb.vlog4j.examples.owlapi

This example shows how vlog4j-owlapi library (class OwlToRulesConverter) can be used to transform an OWL ontology into vlog4j-core Rules and Atoms.

OwlOntologyToRulesAndFacts() - Constructor for class org.semanticweb.vlog4j.examples.owlapi.OwlOntologyToRulesAndFacts

P

printOutQueryAnswers(PositiveLiteral, Reasoner) - Static method in class org.semanticweb.vlog4j.examples.ExamplesUtils

Prints out the answers given by reasoner to the query (queryAtom).

printOutQueryAnswers(String, Reasoner) - Static method in class org.semanticweb.vlog4j.examples.ExamplesUtils

Prints out the answers given by reasoner to the query (queryAtom).

S

SimpleReasoningExample - Class in org.semanticweb.vlog4j.examples

This example demonstrates the basic usage of VLog4j for rule reasoning.

SimpleReasoningExample() - Constructor for class org.semanticweb.vlog4j.examples.SimpleReasoningExample

SkolemVsRestrictedChaseTermination - Class in org.semanticweb.vlog4j.examples.core

This example shows non-termination of the Skolem Chase, versus termination of the Restricted Chase on the same set of rules and facts.

SkolemVsRestrictedChaseTermination() - Constructor for class org.semanticweb.vlog4j.examples.core.SkolemVsRestrictedChaseTermination

A C D E G I M O P S