it.unibz.inf.ontop.spec.ontology

Class NamedAssertion

java.lang.Object

it.unibz.inf.ontop.spec.ontology.NamedAssertion

All Implemented Interfaces:

Assertion

public class NamedAssertion
extends Object
implements Assertion

Author:

Davide Lanti

Field Summary

Fields

Modifier and Type	Field and Description
Assertion	assertion
ObjectConstant	graph

Method Summary

Modifier and Type	Method and Description
Assertion	getAssertion()
ObjectConstant	getGraph()
static NamedAssertion	of(Assertion assertion, ObjectConstant graph)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

assertion

public Assertion assertion

graph

public ObjectConstant graph

Method Detail

of

public static NamedAssertion of(Assertion assertion,
                                ObjectConstant graph)

getAssertion

public Assertion getAssertion()

getGraph

public ObjectConstant getGraph()

toString

public String toString()

Overrides:

toString in class Object