Package openllet.core.boxes.abox

Class Clash

java.lang.Object

openllet.core.boxes.abox.Clash

public class Clash
extends java.lang.Object

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Clash.ClashType

Field Summary

Fields

Modifier and Type	Field	Description
openllet.aterm.ATerm[]	_args

Method Summary

Modifier and Type	Method	Description
static Clash	atomic(Node node, DependencySet depends)
static Clash	atomic(Node node, DependencySet depends, openllet.aterm.ATermAppl c)
java.lang.String	atomicExplanation()
java.lang.String	bottomExplanation()
static Clash	bottomProperty(Node node, DependencySet depends, openllet.aterm.ATermAppl p)
Clash	copyTo(ABoxImpl abox)
static java.lang.String	describeNode(Node node)
java.lang.String	detailedString()
static Clash	disjointProps(Node node, DependencySet depends, openllet.aterm.ATermAppl p1, openllet.aterm.ATermAppl p2)
static Clash	emptyDatatype(Node node, DependencySet depends)
static Clash	emptyDatatype(Node node, DependencySet depends, openllet.aterm.ATermAppl[] datatypes)
java.lang.String	emptyDatatypeExplanation()
static Clash	functionalCardinality(Node node, DependencySet depends, openllet.aterm.ATermAppl r)
java.lang.String	functionalCardinalityExplanation()
Clash.ClashType	getClashType()
DependencySet	getDepends()
Node	getNode()
Clash.ClashType	getType()
static Clash	invalidLiteral(Node node, DependencySet depends)
static Clash	invalidLiteral(Node node, DependencySet depends, openllet.aterm.ATermAppl value)
java.lang.String	invalidLiteralExplanation()
static Clash	maxCardinality(Node node, DependencySet depends)
static Clash	maxCardinality(Node node, DependencySet depends, openllet.aterm.ATermAppl r, int n)
java.lang.String	maxCardinalityExplanation()
static Clash	minMax(Node node, DependencySet depends)
java.lang.String	missingDatatypeExplanation()
static Clash	nominal(Node node, DependencySet depends)
static Clash	nominal(Node node, DependencySet depends, openllet.aterm.ATermAppl other)
java.lang.String	nominalExplanation()
void	setDepends(DependencySet depends)
java.lang.String	toString()
static Clash	unexplained(Node node, DependencySet depends)
static Clash	unexplained(Node node, DependencySet depends, java.lang.String msg)
static Clash	valueDatatype(Node node, DependencySet depends, openllet.aterm.ATermAppl value, openllet.aterm.ATermAppl datatype)
java.lang.String	valueDatatypeExplanation()

Methods inherited from class java.lang.Object

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

Field Detail

_args

public final openllet.aterm.ATerm[] _args

Method Detail

copyTo

public Clash copyTo(ABoxImpl abox)

getClashType

public Clash.ClashType getClashType()

unexplained

public static Clash unexplained(Node node,
                                DependencySet depends)

unexplained

public static Clash unexplained(Node node,
                                DependencySet depends,
                                java.lang.String msg)

atomic

public static Clash atomic(Node node,
                           DependencySet depends)

atomic

public static Clash atomic(Node node,
                           DependencySet depends,
                           openllet.aterm.ATermAppl c)

bottomProperty

public static Clash bottomProperty(Node node,
                                   DependencySet depends,
                                   openllet.aterm.ATermAppl p)

maxCardinality

public static Clash maxCardinality(Node node,
                                   DependencySet depends)

maxCardinality

public static Clash maxCardinality(Node node,
                                   DependencySet depends,
                                   openllet.aterm.ATermAppl r,
                                   int n)

minMax

public static Clash minMax(Node node,
                           DependencySet depends)

functionalCardinality

public static Clash functionalCardinality(Node node,
                                          DependencySet depends,
                                          openllet.aterm.ATermAppl r)

nominal

public static Clash nominal(Node node,
                            DependencySet depends)

nominal

public static Clash nominal(Node node,
                            DependencySet depends,
                            openllet.aterm.ATermAppl other)

valueDatatype

public static Clash valueDatatype(Node node,
                                  DependencySet depends,
                                  openllet.aterm.ATermAppl value,
                                  openllet.aterm.ATermAppl datatype)

emptyDatatype

public static Clash emptyDatatype(Node node,
                                  DependencySet depends)

emptyDatatype

public static Clash emptyDatatype(Node node,
                                  DependencySet depends,
                                  openllet.aterm.ATermAppl[] datatypes)

invalidLiteral

public static Clash invalidLiteral(Node node,
                                   DependencySet depends)

invalidLiteral

public static Clash invalidLiteral(Node node,
                                   DependencySet depends,
                                   openllet.aterm.ATermAppl value)

disjointProps

public static Clash disjointProps(Node node,
                                  DependencySet depends,
                                  openllet.aterm.ATermAppl p1,
                                  openllet.aterm.ATermAppl p2)

detailedString

public java.lang.String detailedString()

describeNode

public static java.lang.String describeNode(Node node)

atomicExplanation

public java.lang.String atomicExplanation()

bottomExplanation

public java.lang.String bottomExplanation()

maxCardinalityExplanation

public java.lang.String maxCardinalityExplanation()

functionalCardinalityExplanation

public java.lang.String functionalCardinalityExplanation()

missingDatatypeExplanation

public java.lang.String missingDatatypeExplanation()

nominalExplanation

public java.lang.String nominalExplanation()

valueDatatypeExplanation

public java.lang.String valueDatatypeExplanation()

emptyDatatypeExplanation

public java.lang.String emptyDatatypeExplanation()

invalidLiteralExplanation

public java.lang.String invalidLiteralExplanation()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setDepends

public void setDepends(DependencySet depends)

Parameters:

depends - the depends to set

getDepends

public DependencySet getDepends()

Returns:

the depends

getNode

public Node getNode()

Returns:

the node

getType

public Clash.ClashType getType()

Returns:

the type