de.up.ling.irtg.util

Class FirstOrderModel

java.lang.Object

de.up.ling.irtg.util.FirstOrderModel

public class FirstOrderModel
extends Object

Author:

koller

Field Summary

Fields

Modifier and Type	Field and Description
static String	TOP

Constructor Summary

Constructors

Constructor and Description
FirstOrderModel()

Method Summary

Modifier and Type	Method and Description
Map<String,Set<List<String>>>	getAtomicInterpretations()
Set<List<String>>	getInterpretation(String predicate)
int	getMaxArity()
Set<String>	getUniverse()
Set<List<String>>	getUniverseAsTuples()
static FirstOrderModel	read(Reader optionReader) Reads the options from a Json string representation.
void	setAtomicInterpretations(Map<String,Set<List<String>>> atomicInterpretations)
void	setInterpretation(String predicate, Set<List<String>> interpretation)

Methods inherited from class java.lang.Object

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

Field Detail

TOP

public static final String TOP

See Also:

Constant Field Values

Constructor Detail

FirstOrderModel

public FirstOrderModel()

Method Detail

getMaxArity

public int getMaxArity()

getUniverse

public Set<String> getUniverse()

getUniverseAsTuples

public Set<List<String>> getUniverseAsTuples()

getInterpretation

public Set<List<String>> getInterpretation(String predicate)

setInterpretation

public void setInterpretation(String predicate,
                              Set<List<String>> interpretation)

read

public static FirstOrderModel read(Reader optionReader)
                            throws Exception

Reads the options from a Json string representation. The options for the SetAlgebra consist in a specification of the universe and the interpretations of the atomic concepts. For instance, the following string says that "sleep" is a binary relation with the single element (e,r1), whereas "rabbit" is a unary relation containing the elements r1 and r2.

{"sleep": [["e", "r1"]], "rabbit": [["r1"], ["r2"]], "white": [["r1"], ["b"]], "in": [["r1","h"], ["f","h2"]], "hat": [["h"], ["h2"]] }

Parameters:

optionReader -

Throws:

Exception

setAtomicInterpretations

public final void setAtomicInterpretations(Map<String,Set<List<String>>> atomicInterpretations)

getAtomicInterpretations

public Map<String,Set<List<String>>> getAtomicInterpretations()

Returns:

the atomicInterpretations