org.mindswap.pellet
Class Clash

java.lang.Object
  extended by org.mindswap.pellet.Clash

public class Clash
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Nested Class Summary
static class Clash.ClashType
           
 
Method Summary
static Clash atomic(Node node, DependencySet depends)
           
static Clash atomic(Node node, DependencySet depends, aterm.ATermAppl c)
           
 java.lang.String atomicExplanation()
           
 java.lang.String bottomExplanation()
           
static Clash bottomProperty(Node node, DependencySet depends, aterm.ATermAppl p)
           
 Clash copyTo(ABox abox)
           
 java.lang.String describeNode(Node node)
           
 java.lang.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)
           
 java.lang.String emptyDatatypeExplanation()
           
static Clash functionalCardinality(Node node, DependencySet depends)
           
static Clash functionalCardinality(Node node, DependencySet depends, 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, aterm.ATermAppl value)
           
 java.lang.String invalidLiteralExplanation()
           
static Clash maxCardinality(Node node, DependencySet depends)
           
static Clash maxCardinality(Node node, DependencySet depends, aterm.ATermAppl r, int n)
           
 java.lang.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)
           
 java.lang.String missingDatatypeExplanation()
           
static Clash nominal(Node node, DependencySet depends)
           
static Clash nominal(Node node, DependencySet depends, aterm.ATermAppl other)
           
 java.lang.String nominalExplanation()
           
 void setDepends(DependencySet depends)
           
 void setNode(Node node)
           
 void setType(Clash.ClashType type)
           
 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)
           
static Clash valueDatatype(Node node, DependencySet depends, aterm.ATermAppl value, aterm.ATermAppl datatype)
           
 java.lang.String valueDatatypeExplanation()
           
 
Methods inherited from class java.lang.Object
equals, 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,
                                java.lang.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 java.lang.String detailedString()

describeNode

public 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

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


Copyright © 2004 Evren Sirin. All Rights Reserved.