org.topbraid.core.inference
Class Inferences

java.lang.Object
  org.topbraid.core.inference.Inferences

public class Inferences
extends java.lang.Object

Field Summary

static java.lang.String

INF_GRAPH_FILE_SUFFIX

Constructor Summary

Inferences()

Method Summary

static void	changeOperationPerformed(TripleChangeRecord[] records, org.eclipse.core.runtime.IProgressMonitor monitor)
static void	deleteInfGraphFile(org.eclipse.core.resources.IFile file)
static java.lang.String	getDefaultInfGraphFileName(java.lang.String owlName)
static java.lang.String	getInfGraphBaseURI(java.net.URI baseURI2)
static boolean	init(com.hp.hpl.jena.ontology.OntModel ontModel, com.hp.hpl.jena.rdf.model.Model baseModel, com.hp.hpl.jena.rdf.model.Model infModel, org.eclipse.core.runtime.IProgressMonitor monitor)
static void	initFull(com.hp.hpl.jena.ontology.OntModel ontModel, com.hp.hpl.jena.rdf.model.Model infModel, org.eclipse.core.runtime.IProgressMonitor monitor)
static boolean	isUnSatisfiable(com.hp.hpl.jena.rdf.model.Statement statement)
static void	reset(com.hp.hpl.jena.ontology.OntModel ontModel, com.hp.hpl.jena.rdf.model.Model infModel, org.eclipse.core.runtime.IProgressMonitor monitor)
static void	saveDefaultInfGraphFile(com.hp.hpl.jena.ontology.OntModel ontModel)
static boolean	update(com.hp.hpl.jena.ontology.OntModel ontModel, com.hp.hpl.jena.rdf.model.Model inferenceModel, org.eclipse.core.runtime.IProgressMonitor monitor)

Methods inherited from class java.lang.Object

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

Field Detail

INF_GRAPH_FILE_SUFFIX

public static final java.lang.String INF_GRAPH_FILE_SUFFIX

See Also:

Constant Field Values

Constructor Detail

Inferences

public Inferences()

Method Detail

changeOperationPerformed

public static void changeOperationPerformed(TripleChangeRecord[] records,
                                            org.eclipse.core.runtime.IProgressMonitor monitor)

deleteInfGraphFile

public static void deleteInfGraphFile(org.eclipse.core.resources.IFile file)

getDefaultInfGraphFileName

public static java.lang.String getDefaultInfGraphFileName(java.lang.String owlName)

getInfGraphBaseURI

public static java.lang.String getInfGraphBaseURI(java.net.URI baseURI2)

init

public static boolean init(com.hp.hpl.jena.ontology.OntModel ontModel,
                           com.hp.hpl.jena.rdf.model.Model baseModel,
                           com.hp.hpl.jena.rdf.model.Model infModel,
                           org.eclipse.core.runtime.IProgressMonitor monitor)

initFull

public static void initFull(com.hp.hpl.jena.ontology.OntModel ontModel,
                            com.hp.hpl.jena.rdf.model.Model infModel,
                            org.eclipse.core.runtime.IProgressMonitor monitor)

isUnSatisfiable

public static boolean isUnSatisfiable(com.hp.hpl.jena.rdf.model.Statement statement)

reset

public static void reset(com.hp.hpl.jena.ontology.OntModel ontModel,
                         com.hp.hpl.jena.rdf.model.Model infModel,
                         org.eclipse.core.runtime.IProgressMonitor monitor)

saveDefaultInfGraphFile

public static void saveDefaultInfGraphFile(com.hp.hpl.jena.ontology.OntModel ontModel)

update

public static boolean update(com.hp.hpl.jena.ontology.OntModel ontModel,
                             com.hp.hpl.jena.rdf.model.Model inferenceModel,
                             org.eclipse.core.runtime.IProgressMonitor monitor)