org.mindswap.pellet

Class Clash

java.lang.Object

org.mindswap.pellet.Clash

public class Clash
extends Object

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Clash.ClashType

Method Summary

Methods

Modifier and Type	Method and Description
static Clash	atomic(Node node, DependencySet depends)
static Clash	atomic(Node node, DependencySet depends, aterm.ATermAppl c)
String	atomicExplanation()
String	bottomExplanation()
static Clash	bottomProperty(Node node, DependencySet depends, aterm.ATermAppl p)
Clash	copyTo(ABox abox)
String	describeNode(Node node)
String	detailedString()
static Clash	disjointProps(Node node, DependencySet depends)
static Clash	disjointProps(Node node, DependencySet depends, aterm.ATermAppl p1, aterm.ATermAppl p2)
static Clash	emptyDatatype(Node node, DependencySet depends)
static Clash	emptyDatatype(Node node, DependencySet depends, aterm.ATermAppl[] datatypes)
String	emptyDatatypeExplanation()
static Clash	functionalCardinality(Node node, DependencySet depends)
static Clash	functionalCardinality(Node node, DependencySet depends, aterm.ATermAppl r)
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, aterm.ATermAppl value)
String	invalidLiteralExplanation()
static Clash	maxCardinality(Node node, DependencySet depends)
static Clash	maxCardinality(Node node, DependencySet depends, aterm.ATermAppl r, int n)
String	maxCardinalityExplanation()
static Clash	minMax(Node node, DependencySet depends)
static Clash	missingDatatype(Node node, DependencySet depends)
static Clash	missingDatatype(Node node, DependencySet depends, aterm.ATermAppl value, aterm.ATermAppl datatype)
String	missingDatatypeExplanation()
static Clash	nominal(Node node, DependencySet depends)
static Clash	nominal(Node node, DependencySet depends, aterm.ATermAppl other)
String	nominalExplanation()
void	setDepends(DependencySet depends)
void	setNode(Node node)
void	setType(Clash.ClashType type)
String	toString()
static Clash	unexplained(Node node, DependencySet depends)
static Clash	unexplained(Node node, DependencySet depends, String msg)
static Clash	valueDatatype(Node node, DependencySet depends)
static Clash	valueDatatype(Node node, DependencySet depends, aterm.ATermAppl value, aterm.ATermAppl datatype)
String	valueDatatypeExplanation()

Methods inherited from class java.lang.Object

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

Method Detail

copyTo

public Clash copyTo(ABox abox)

getClashType

public Clash.ClashType getClashType()

unexplained

public static Clash unexplained(Node node,
                DependencySet depends)

unexplained

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

atomic

public static Clash atomic(Node node,
           DependencySet depends)

atomic

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

bottomProperty

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

maxCardinality

public static Clash maxCardinality(Node node,
                   DependencySet depends)

maxCardinality

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

minMax

public static Clash minMax(Node node,
           DependencySet depends)

functionalCardinality

public static Clash functionalCardinality(Node node,
                          DependencySet depends)

functionalCardinality

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

missingDatatype

public static Clash missingDatatype(Node node,
                    DependencySet depends)

missingDatatype

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

nominal

public static Clash nominal(Node node,
            DependencySet depends)

nominal

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

valueDatatype

public static Clash valueDatatype(Node node,
                  DependencySet depends)

valueDatatype

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

emptyDatatype

public static Clash emptyDatatype(Node node,
                  DependencySet depends)

emptyDatatype

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

invalidLiteral

public static Clash invalidLiteral(Node node,
                   DependencySet depends)

invalidLiteral

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

disjointProps

public static Clash disjointProps(Node node,
                  DependencySet depends)

disjointProps

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

detailedString

public String detailedString()

describeNode

public String describeNode(Node node)

atomicExplanation

public String atomicExplanation()

bottomExplanation

public String bottomExplanation()

maxCardinalityExplanation

public String maxCardinalityExplanation()

functionalCardinalityExplanation

public String functionalCardinalityExplanation()

missingDatatypeExplanation

public String missingDatatypeExplanation()

nominalExplanation

public String nominalExplanation()

valueDatatypeExplanation

public String valueDatatypeExplanation()

emptyDatatypeExplanation

public String emptyDatatypeExplanation()

invalidLiteralExplanation

public String invalidLiteralExplanation()

toString

public String toString()

Overrides:

toString in class Object

setDepends

public void setDepends(DependencySet depends)

Parameters:

depends - the depends to set

getDepends

public DependencySet getDepends()

Returns:

the depends

setNode

public void setNode(Node node)

Parameters:

node - the node to set

getNode

public Node getNode()

Returns:

the node

setType

public void setType(Clash.ClashType type)

Parameters:

type - the type to set

getType

public Clash.ClashType getType()

Returns:

the type